Pierre Azéma

Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes: Testability analysis in communicating systems. Computer Networks 36(5/6): 671-693 (2001)

François Vernadat, Pierre Azéma: High Level Transition Systems for Communicating Agents. Concurrent Object-Oriented Programming and Petri Nets 2001: 473-492

P. Gradit, François Vernadat, Pierre Azéma: Layered -net Specification of a Workshop. PDPTA 1999: 2808-2814

Pierre Azéma, Gianfranco Balbo (Eds.): Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Lecture Notes in Computer Science 1248, Springer 1997, isbn 3-540-63139-9

François Vernadat, Pierre Azéma, François Michel: Covering Step Graph. Application and Theory of Petri Nets 1996: 516-535

François Michel, Pierre Azéma, François Vernadat: Permutable Agents in Process Algebras. TACAS 1996: 187-206

Pierre Azéma, François Vernadat, Jean Luc Albacete: A Communication Protocol for Conflict Resolution. ICMAS 1995: 437

François Vernadat, Pierre Azéma, Khalil Drira: Distributed Coin Tossing. ICDCS 1994: 244-249

Khalil Drira, Pierre Azéma: Verifying Communication Protocols Via Testing-Projection. AMAST 1993: 253-262

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: A Formal Assessment of Synchronous Testability for Communicating Systems. ICDCS 1993: 149-156

Khalil Drira, Pierre Azéma, François Vernadat: Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV 1993: 257-272

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: Testability of a Communicating System Through an Environment. TAPSOFT 1993: 529-543

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: Characterizing and Ordering Errors Detected by Conformance Testing. Protocol Test Systems 1992: 67-78

Jean Christophe Lloret, Pierre Azéma, François Vernadat: Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. CAV 1990: 96-105

Pierre Azéma, Khalil Drira, François Vernadat: A Bus Instrumentation Protocol Specified in LOTOS. FORTE 1990: 263-269

Pierre Azéma, François Vernadat, Jean Christophe Lloret: Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems 1989: 286-293

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. SPLT 1989: 187-212

Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel: On a Prolog Environment for Protocol Analysis. ICDCS 1986: 444-451

Pierre Azéma, Giorgos Papapanagiotakis: Protocol analysis by using predicate nets. PSTV 1985: 119-130

Michel Diaz, Pierre Azéma: Petri net based models for the specification and validation of protocols. European Workshop on Applications and Theory in Petri Nets 1984: 101-121

Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard: Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. ICSE 1984: 510-519

Jean-Michel Ayache, Pierre Azéma, Michel Diaz: Towards Fault Tolerant Real Time Systems by Using Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 228-233

Pierre Azéma, Bernard Berthomieu, Paul Decitre: The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers. IFIP Congress 1980: 599-604

Michel Diaz, Pierre Azéma, Jean-Michel Ayache: Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. IEEE Trans. Computers 28(3): 276-281 (1979)

Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu: Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE 1978: 168-174

Pierre Azéma, Robert Valette, Michel Diaz: Petri nets as a common tool for design verification and hardware simulation. DAC 1976: 109-116