Pierre Azéma

Publication Activity (10 Years)

Years Active: 1976-2001
Publications (10 Years): 0

Publications

Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes
Testability analysis in communicating systems. Comput. Networks 36 (5/6) (2001)
François Vernadat, Pierre Azéma
High Level Transition Systems for Communicating Agents. Concurrent Object-Oriented Programming and Petri Nets (2001)
Pierre Gradit, François Vernadat, Pierre Azéma
Layered -net Specification of a Workshop. PDPTA (1999)
François Michel, Pierre Azéma, François Vernadat
Permutable Agents in Process Algebras. TACAS (1996)
François Vernadat, Pierre Azéma, François Michel
Covering Step Graph. Application and Theory of Petri Nets (1996)
Pierre Azéma, François Vernadat, Jean Luc Albacete
A Communication Protocol for Conflict Resolution. ICMAS (1995)
François Vernadat, Pierre Azéma, Khalil Drira
Distributed Coin Tossing. ICDCS (1994)
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
Testability of a Communicating System Through an Environment. TAPSOFT (1993)
Khalil Drira, Pierre Azéma, François Vernadat
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV (1993)
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
A Formal Assessment of Synchronous Testability for Communicating Systems. ICDCS (1993)
Khalil Drira, Pierre Azéma
Verifying Communication Protocols Via Testing-Projection. AMAST (1993)
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
Characterizing and Ordering Errors Detected by Conformance Testing. Protocol Test Systems (1992)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. CAV (1990)
Pierre Azéma, Khalil Drira, François Vernadat
A Bus Instrumentation Protocol Specified in LOTOS. FORTE (1990)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets. CAV (DIMACS/AMS volume) (1990)
Pierre Azéma, François Vernadat, Jean Christophe Lloret
Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems (1989)
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)
Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel
On a Prolog Environment for Protocol Analysis. ICDCS (1986)
Pierre Azéma, Giorgos Papapanagiotakis
Protocol analysis by using predicate nets. PSTV (1985)
Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. ICSE (1984)
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)
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)
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)
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) (1979)
Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu
Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE (1978)
Pierre Azéma, Robert Valette, Michel Diaz
Petri nets as a common tool for design verification and hardware simulation. DAC (1976)