Alain Kerbrat

According to our database, Alain Kerbrat authored at least 14 papers between 1993 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

Verification of Quantitative Temporal Properties of SDL Specifications.

Iulian Ober, Alain Kerbrat

Proceedings of the SDL 2001: Meeting UML, 2001

2000

Verification and test generation for the SSCOP protocol.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier

Sci. Comput. Program., 2000

SDL for Real-Time: What is Missing?

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent

Proceedings of the SAM 2000, 2000

1999

Automated test generation from SDL specifications.

Alain Kerbrat, Thierry Jéron, Roland Groz

Proceedings of the SDL '99 The Next Millennium, 1999

Specification and execution of tests using tMsc.

Iulian Ober, Alain Kerbrat

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1997

Protocol Verification with the ALDÉBARAN Toolset.

Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier

Int. J. Softw. Tools Technol. Transf., 1997

Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.

Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune

Proceedings of the SDL '97 Time for Testing, 1997

Data-Structures for the Verification of Timed Automata.

Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

CADP - A Protocol Validation and Verification Toolbox.

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Component-Based Programming and Application Management with Olan.

Luc Bellissard, Slim Ben Atallah, Alain Kerbrat, Michel Riveill

Proceedings of the Object-Based Parallel and Distributed Computation, 1995

Formal Specification of a Framework for Groupware Development.

Alain Kerbrat, Slim Ben Atallah

Proceedings of the Formal Description Techniques VIII, 1995

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

PhD thesis, 1994

Reachable state space analysis of LOTOS specifications.

Alain Kerbrat

Proceedings of the Formal Description Techniques VII, 1994

1993

Symbolic Equivalence Checking.

Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier

Proceedings of the Computer Aided Verification, 5th International Conference, 1993