| 2001 |
|---|
| 13 | EE | Iulian Ober,
Alain Kerbrat:
Verification of Quantitative Temporal Properties of SDL Specifications.
SDL Forum 2001: 182-202 |
| 2000 |
|---|
| 12 | | Marius Bozga,
Susanne Graf,
Alain Kerbrat,
Laurent Mounier,
Iulian Ober,
Daniel Vincent:
SDL for Real-Time: What is Missing?
SAM 2000: 108- |
| 11 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Claude Jard,
Thierry Jéron,
Alain Kerbrat,
Pierre Morel,
Laurent Mounier:
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program. 36(1): 27-52 (2000) |
| 1999 |
|---|
| 10 | | Iulian Ober,
Alain Kerbrat:
Specification and execution of tests using tMsc.
FORTE 1999: 453-468 |
| 9 | | Alain Kerbrat,
Thierry Jéron,
Roland Groz:
Automated test generation from SDL specifications.
SDL Forum 1999: 135-152 |
| 1997 |
|---|
| 8 | | Eugene Asarin,
Marius Bozga,
Alain Kerbrat,
Oded Maler,
Amir Pnueli,
Anne Rasse:
Data-Structures for the Verification of Timed Automata.
HART 1997: 346-360 |
| 7 | | Alain Kerbrat,
Carlos Rodriguez-Salazar,
Yves Lejeune:
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.
SDL Forum 1997: 475-490 |
| 6 | EE | Marius Bozga,
Jean-Claude Fernandez,
Alain Kerbrat,
Laurent Mounier:
Protocol Verification with the ALDÉBARAN Toolset.
STTT 1(1-2): 166-184 (1997) |
| 1996 |
|---|
| 5 | | Jean-Claude Fernandez,
Hubert Garavel,
Alain Kerbrat,
Laurent Mounier,
Radu Mateescu,
Mihaela Sighireanu:
CADP - A Protocol Validation and Verification Toolbox.
CAV 1996: 437-440 |
| 1995 |
|---|
| 4 | | Alain Kerbrat,
Slim Ben Atallah:
Formal Specification of a Framework for Groupware Development.
FORTE 1995: 303-310 |
| 3 | | Luc Bellissard,
Slim Ben Atallah,
Alain Kerbrat,
Michel Riveill:
Component-Based Programming and Application Management with Olan.
OBPDC 1995: 290-309 |
| 1994 |
|---|
| 2 | | Alain Kerbrat:
Reachable state space analysis of LOTOS specifications.
FORTE 1994: 181-196 |
| 1993 |
|---|
| 1 | | Jean-Claude Fernandez,
Alain Kerbrat,
Laurent Mounier:
Symbolic Equivalence Checking.
CAV 1993: 85-96 |
