Alain Kerbrat

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
Verification of Quantitative Temporal Properties of SDL Specifications.
Proceedings of the SDL 2001: Meeting UML, 2001

2000
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program., 2000

SDL for Real-Time: What is Missing?
Proceedings of the SAM 2000, 2000

1999
Automated test generation from SDL specifications.
Proceedings of the SDL '99 The Next Millennium, 1999

Specification and execution of tests using tMsc.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1997
Protocol Verification with the ALDÉBARAN Toolset.
Int. J. Softw. Tools Technol. Transf., 1997

Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.
Proceedings of the SDL '97 Time for Testing, 1997

Data-Structures for the Verification of Timed Automata.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
CADP - A Protocol Validation and Verification Toolbox.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Component-Based Programming and Application Management with Olan.
Proceedings of the Object-Based Parallel and Distributed Computation, 1995

Formal Specification of a Framework for Groupware Development.
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).
PhD thesis, 1994

Reachable state space analysis of LOTOS specifications.
Proceedings of the Formal Description Techniques VII, 1994

1993
Symbolic Equivalence Checking.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993


  Loading...