Pierre Azéma

27 papers A* 4A 4C 1Misc 1Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2001 — conf
High Level Transition Systems for Communicating Agents.
Concurrent Object-Oriented Programming and Petri Nets
François Vernadat, Pierre Azéma
2001 J jnl
Testability analysis in communicating systems.
Comput. Networks
Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes
1999 Misc conf
Layered -net Specification of a Workshop.
PDPTA
Pierre Gradit, François Vernadat, Pierre Azéma
1997 — ed.
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings
ICATPN
Pierre Azéma, Gianfranco Balbo
1996 — conf
Covering Step Graph.
Application and Theory of Petri Nets
François Vernadat, Pierre Azéma, François Michel
1996 A conf
Permutable Agents in Process Algebras.
TACAS
François Michel, Pierre Azéma, François Vernadat
1995 — conf
A Communication Protocol for Conflict Resolution.
ICMAS
Pierre Azéma, François Vernadat, Jean Luc Albacete
1994 A conf
Distributed Coin Tossing.
ICDCS
François Vernadat, Pierre Azéma, Khalil Drira
1993 A conf
A Formal Assessment of Synchronous Testability for Communicating Systems.
ICDCS
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
1993 — conf
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.
PSTV
Khalil Drira, Pierre Azéma, François Vernadat
1993 — conf
Testability of a Communicating System Through an Environment.
TAPSOFT
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
1993 — conf
Verifying Communication Protocols Via Testing-Projection.
AMAST
Khalil Drira, Pierre Azéma
1992 — conf
Characterizing and Ordering Errors Detected by Conformance Testing.
Protocol Test Systems
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
1990 C conf
A Bus Instrumentation Protocol Specified in LOTOS.
FORTE
Pierre Azéma, Khalil Drira, François Vernadat
1990 — conf
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets.
CAV (DIMACS/AMS volume)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
1990 A* conf
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.
CAV
Jean Christophe Lloret, Pierre Azéma, François Vernadat
1989 — conf
Requirement Analysis for Communication Protocols.
Automatic Verification Methods for Finite State Systems
Pierre Azéma, François Vernadat, Jean Christophe Lloret
1989 — conf
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés.
SPLT
Pierre Azéma, François Vernadat, Jean Christophe Lloret
1986 A conf
On a Prolog Environment for Protocol Analysis.
ICDCS
Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel
1985 — conf
Protocol analysis by using predicate nets.
PSTV
Pierre Azéma, Giorgos Papapanagiotakis
1984 — conf
Petri net based models for the specification and validation of protocols.
European Workshop on Applications and Theory in Petri Nets
Michel Diaz, Pierre Azéma
1984 A* conf
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.
ICSE
Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard
1981 — conf
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
Jean-Michel Ayache, Pierre Azéma, Michel Diaz
1980 — conf
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
IFIP Congress
Pierre Azéma, Bernard Berthomieu, Paul Decitre
1979 J jnl
Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.
IEEE Trans. Computers
Michel Diaz, Pierre Azéma, Jean-Michel Ayache
1978 A* conf
Design and Verification of Communication Procedures: A Bottom-Up Approach.
ICSE
Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu
1976 A* conf
Petri nets as a common tool for design verification and hardware simulation.
DAC
Pierre Azéma, Robert Valette, Michel Diaz