Pierre Azéma

According to our database, Pierre Azéma authored at least 25 papers between 1976 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Testability analysis in communicating systems.

Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes

Comput. Networks, 2001

High Level Transition Systems for Communicating Agents.

François Vernadat, Pierre Azéma

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1999

Layered -net Specification of a Workshop.

Pierre Gradit, François Vernadat, Pierre Azéma

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1996

Permutable Agents in Process Algebras.

François Michel, Pierre Azéma, François Vernadat

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Covering Step Graph.

François Vernadat, Pierre Azéma, François Michel

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

A Communication Protocol for Conflict Resolution.

Pierre Azéma, François Vernadat, Jean Luc Albacete

Proceedings of the First International Conference on Multiagent Systems, 1995

1994

Distributed Coin Tossing.

François Vernadat, Pierre Azéma, Khalil Drira

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993

Testability of a Communicating System Through an Environment.

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.

Khalil Drira, Pierre Azéma, François Vernadat

Proceedings of the Protocol Specification, 1993

A Formal Assessment of Synchronous Testability for Communicating Systems.

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Verifying Communication Protocols Via Testing-Projection.

Khalil Drira, Pierre Azéma

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Characterizing and Ordering Errors Detected by Conformance Testing.

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali

Proceedings of the Protocol Test Systems, V, 1992

1990

A Bus Instrumentation Protocol Specified in LOTOS.

Pierre Azéma, Khalil Drira, François Vernadat

Proceedings of the Formal Description Techniques, 1990

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.

Jean Christophe Lloret, Pierre Azéma, François Vernadat

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés.

Pierre Azéma, François Vernadat, Jean Christophe Lloret

Proceedings of the SPLT'89, 1989

Requirement Analysis for Communication Protocols.

Pierre Azéma, François Vernadat, Jean Christophe Lloret

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1986

On a Prolog Environment for Protocol Analysis.

Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985

Protocol analysis by using predicate nets.

Pierre Azéma, Giorgos Papapanagiotakis

Proceedings of the Protocol Specification, 1985

1984

Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.

Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard

Proceedings of the Proceedings, 1984

Petri net based models for the specification and validation of protocols.

Michel Diaz, Pierre Azéma

Proceedings of the Advances in Petri Nets 1984, 1984

1981

Towards Fault Tolerant Real Time Systems by Using Petri Nets.

Jean-Michel Ayache, Pierre Azéma, Michel Diaz

Proceedings of the Application and Theory of Petri Nets, 1981

1980

The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.

Pierre Azéma, Bernard Berthomieu, Paul Decitre

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.

Michel Diaz, Pierre Azéma, Jean-Michel Ayache

IEEE Trans. Computers, 1979

1978

Design and Verification of Communication Procedures: A Bottom-Up Approach.

Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu

Proceedings of the 3rd International Conference on Software Engineering, 1978

1976

Petri nets as a common tool for design verification and hardware simulation.

Pierre Azéma, Robert Valette, Michel Diaz

Proceedings of the 13th Design Automation Conference, 1976