| 1999 | PDPTA | Layered -net Specification of a Workshop. | Pierre Gradit, Franois Vernadat, Pierre Azma |
| 1996 | TACAS | Permutable Agents in Process Algebras. | Franois Michel, Pierre Azma, Franois Vernadat |
| 1994 | ICDCS | Distributed Coin Tossing. | Franois Vernadat, Pierre Azma, Khalil Drira |
| 1993 | ICDCS | A Formal Assessment of Synchronous Testability for Communicating Systems. | Khalil Drira, Pierre Azma, B. Soulas, A. M. Chemali |
| 1990 | CAV | Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. | Jean Christophe Lloret, Pierre Azma, Franois Vernadat |
| 1990 | FORTE | A Bus Instrumentation Protocol Specified in LOTOS. | Pierre Azma, Khalil Drira, Franois Vernadat |
| 1986 | ICDCS | On a Prolog Environment for Protocol Analysis. | Giorgos Papapanagiotakis, Pierre Azma, Brigitte Pradin-Chezalviel |
| 1984 | ICSE | Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. | Pierre Azma, G. Juandle, E. Sanchis, M. Montbernard |
| 1978 | ICSE | Design and Verification of Communication Procedures: A Bottom-Up Approach. | Pierre Azma, Jean-Michel Ayache, Bernard Berthomieu |
| 1976 | DAC | Petri nets as a common tool for design verification and hardware simulation. | Pierre Azma, Robert Valette, Michel Diaz |