The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alain Kerbrat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.012secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002