| 2001 |
|---|
| 25 | EE | François Vernadat,
Pierre Azéma:
High Level Transition Systems for Communicating Agents.
Concurrent Object-Oriented Programming and Petri Nets 2001: 473-492 |
| 24 | EE | Khalil Drira,
Pierre Azéma,
Pierre de Saqui-Sannes:
Testability analysis in communicating systems.
Computer Networks 36(5/6): 671-693 (2001) |
| 1999 |
|---|
| 23 | | P. Gradit,
François Vernadat,
Pierre Azéma:
Layered -net Specification of a Workshop.
PDPTA 1999: 2808-2814 |
| 1997 |
|---|
| 22 | | Pierre Azéma,
Gianfranco Balbo:
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings
Springer 1997 |
| 1996 |
|---|
| 21 | | François Vernadat,
Pierre Azéma,
François Michel:
Covering Step Graph.
Application and Theory of Petri Nets 1996: 516-535 |
| 20 | | François Michel,
Pierre Azéma,
François Vernadat:
Permutable Agents in Process Algebras.
TACAS 1996: 187-206 |
| 1995 |
|---|
| 19 | | Pierre Azéma,
François Vernadat,
Jean Luc Albacete:
A Communication Protocol for Conflict Resolution.
ICMAS 1995: 437 |
| 1994 |
|---|
| 18 | | François Vernadat,
Pierre Azéma,
Khalil Drira:
Distributed Coin Tossing.
ICDCS 1994: 244-249 |
| 1993 |
|---|
| 17 | | Khalil Drira,
Pierre Azéma:
Verifying Communication Protocols Via Testing-Projection.
AMAST 1993: 253-262 |
| 16 | | Khalil Drira,
Pierre Azéma,
B. Soulas,
A. M. Chemali:
A Formal Assessment of Synchronous Testability for Communicating Systems.
ICDCS 1993: 149-156 |
| 15 | | Khalil Drira,
Pierre Azéma,
François Vernadat:
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.
PSTV 1993: 257-272 |
| 14 | | Khalil Drira,
Pierre Azéma,
B. Soulas,
A. M. Chemali:
Testability of a Communicating System Through an Environment.
TAPSOFT 1993: 529-543 |
| 1992 |
|---|
| 13 | | Khalil Drira,
Pierre Azéma,
B. Soulas,
A. M. Chemali:
Characterizing and Ordering Errors Detected by Conformance Testing.
Protocol Test Systems 1992: 67-78 |
| 1990 |
|---|
| 12 | | Jean Christophe Lloret,
Pierre Azéma,
François Vernadat:
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.
CAV 1990: 96-105 |
| 11 | | Pierre Azéma,
Khalil Drira,
François Vernadat:
A Bus Instrumentation Protocol Specified in LOTOS.
FORTE 1990: 263-269 |
| 1989 |
|---|
| 10 | | Pierre Azéma,
François Vernadat,
Jean Christophe Lloret:
Requirement Analysis for Communication Protocols.
Automatic Verification Methods for Finite State Systems 1989: 286-293 |
| 9 | | 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 |
| 1986 |
|---|
| 8 | | Giorgos Papapanagiotakis,
Pierre Azéma,
Brigitte Pradin-Chezalviel:
On a Prolog Environment for Protocol Analysis.
ICDCS 1986: 444-451 |
| 1985 |
|---|
| 7 | | Pierre Azéma,
Giorgos Papapanagiotakis:
Protocol analysis by using predicate nets.
PSTV 1985: 119-130 |
| 1984 |
|---|
| 6 | | 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 |
| 5 | | Pierre Azéma,
G. Juandle,
E. Sanchis,
M. Montbernard:
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.
ICSE 1984: 510-519 |
| 1981 |
|---|
| 4 | | 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 |
| 1980 |
|---|
| 3 | | 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 |
| 1979 |
|---|
| 2 | | 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) |
| 1978 |
|---|
| 1 | | Pierre Azéma,
Jean-Michel Ayache,
Bernard Berthomieu:
Design and Verification of Communication Procedures: A Bottom-Up Approach.
ICSE 1978: 168-174 |
