 | 2004 |
|---|
| 6 |       | Sabine Moisan,
Annie Ressouche,
Jean-Paul Rigault:
Towards Formalizing Behavioral Substitutability in Component Frameworks.
SEFM 2004: 122-131 |
| 2002 |
|---|
| 5 | | Pascal Rapicault,
Jean-Paul Rigault,
Luc Bourlier:
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly.
Component Deployment 2002: 257-268 |
| 4 | | Charles André,
Marie-Agnès Peraldi-Frati,
Jean-Paul Rigault:
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.
UML 2002: 163-178 |
| 2001 |
|---|
| 3 | | Charles André,
Marie-Agnés Péraldi,
Jean-Paul Rigault:
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.
ISORC 2001: 438- |
| 2 | | Pascal Rapicault,
Jean-Paul Rigault:
Open Implementation of UML Meta-model(s).
Reflection 2001: 276-277 |
| 1 |  | Sabine Moisan,
Annie Ressouche,
Jean-Paul Rigault:
Blocks, a component framework with checking facilities for knowledge-based systems.
Informatica (Slovenia) 25(4): (2001) |
