Alain Kerbrat

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Iulian Ober, Alain Kerbrat
Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum (2001)
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) (2000)
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
SDL for Real-Time: What is Missing? SAM (2000)
Iulian Ober, Alain Kerbrat
Specification and execution of tests using tMsc. FORTE (1999)
Alain Kerbrat, Thierry Jéron, Roland Groz
Automated test generation from SDL specifications. SDL Forum (1999)
Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
Data-Structures for the Verification of Timed Automata. HART (1997)
Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. SDL Forum (1997)
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. CAV (1996)
Luc Bellissard, Slim Ben Atallah, Alain Kerbrat, Michel Riveill
Component-Based Programming and Application Management with Olan. OBPDC (1995)
Alain Kerbrat, Slim Ben Atallah
Formal Specification of a Framework for Groupware Development. FORTE (1995)
Alain Kerbrat
Reachable state space analysis of LOTOS specifications. FORTE (1994)
Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Symbolic Equivalence Checking. CAV (1993)

Alain Kerbrat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Alain Kerbrat