The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre Azéma: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Khalil Drira, Pierre Azéma
    Verifying Communication Protocols Via Testing-Projection. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:253-262 [Conf]
  2. Jean-Michel Ayache, Pierre Azéma, Michel Diaz
    Towards Fault Tolerant Real Time Systems by Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:228-233 [Conf]
  3. Michel Diaz, Pierre Azéma
    Petri net based models for the specification and validation of protocols. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:101-121 [Conf]
  4. François Vernadat, Pierre Azéma, François Michel
    Covering Step Graph. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:516-535 [Conf]
  5. Pierre Azéma, François Vernadat, Jean Christophe Lloret
    Requirement Analysis for Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:286-293 [Conf]
  6. Jean Christophe Lloret, Pierre Azéma, François Vernadat
    Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:96-105 [Conf]
  7. François Vernadat, Pierre Azéma
    High Level Transition Systems for Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:473-492 [Conf]
  8. Pierre Azéma, Khalil Drira, François Vernadat
    A Bus Instrumentation Protocol Specified in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:263-269 [Conf]
  9. Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
    A Formal Assessment of Synchronous Testability for Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:149-156 [Conf]
  10. Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel
    On a Prolog Environment for Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1986, pp:444-451 [Conf]
  11. François Vernadat, Pierre Azéma, Khalil Drira
    Distributed Coin Tossing. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1994, pp:244-249 [Conf]
  12. Pierre Azéma, François Vernadat, Jean Luc Albacete
    A Communication Protocol for Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:437- [Conf]
  13. Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu
    Design and Verification of Communication Procedures: A Bottom-Up Approach. [Citation Graph (0, 0)][DBLP]
    ICSE, 1978, pp:168-174 [Conf]
  14. Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard
    Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICSE, 1984, pp:510-519 [Conf]
  15. Pierre Azéma, Bernard Berthomieu, Paul Decitre
    The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:599-604 [Conf]
  16. Pierre Azéma, François Vernadat, Jean Christophe Lloret
    Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:187-212 [Conf]
  17. P. Gradit, François Vernadat, Pierre Azéma
    Layered -net Specification of a Workshop. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:2808-2814 [Conf]
  18. Pierre Azéma, Giorgos Papapanagiotakis
    Protocol analysis by using predicate nets. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:119-130 [Conf]
  19. Khalil Drira, Pierre Azéma, François Vernadat
    Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:257-272 [Conf]
  20. Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
    Characterizing and Ordering Errors Detected by Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:67-78 [Conf]
  21. François Michel, Pierre Azéma, François Vernadat
    Permutable Agents in Process Algebras. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:187-206 [Conf]
  22. Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
    Testability of a Communicating System Through an Environment. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:529-543 [Conf]
  23. Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes
    Testability analysis in communicating systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:5/6, pp:671-693 [Journal]
  24. Michel Diaz, Pierre Azéma, Jean-Michel Ayache
    Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1979, v:28, n:3, pp:276-281 [Journal]

Search in 0.006secs, Finished in 0.007secs
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