Alain Kerbrat

15 papers A* 2C 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development.
CoRR
Nidhal Selmi, Jean-Michel Bruel, Sébastien Mosser, Matthieu Crespo, Alain Kerbrat
2001 — conf
Verification of Quantitative Temporal Properties of SDL Specifications.
SDL Forum
Iulian Ober, Alain Kerbrat
2000 — conf
SDL for Real-Time: What is Missing?
SAM
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
2000 J jnl
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program.
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
1999 — conf
Automated test generation from SDL specifications.
SDL Forum
Alain Kerbrat, Thierry Jéron, Roland Groz
1999 C conf
Specification and execution of tests using tMsc.
FORTE
Iulian Ober, Alain Kerbrat
1997 — conf
Data-Structures for the Verification of Timed Automata.
HART
Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
1997 — conf
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.
SDL Forum
Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune
1997 J jnl
Protocol Verification with the ALDÉBARAN Toolset.
Int. J. Softw. Tools Technol. Transf.
Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
1996 A* conf
CADP - A Protocol Validation and Verification Toolbox.
CAV
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
1995 — conf
Component-Based Programming and Application Management with Olan.
OBPDC
Luc Bellissard, Slim Ben Atallah, Alain Kerbrat, Michel Riveill
1995 C conf
Formal Specification of a Framework for Groupware Development.
FORTE
Alain Kerbrat, Slim Ben Atallah
1994 — —
Methodes symboliques pour la verification de processus communicants : etude et mise en oeuvre. (Symbolic methods for the verification of communicating processes : study and implementation).
Alain Kerbrat
1994 C conf
Reachable state space analysis of LOTOS specifications.
FORTE
Alain Kerbrat
1993 A* conf
Symbolic Equivalence Checking.
CAV
Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier