According to our database1, Pierre Azéma authored at least 26 papers between 1976 and 2001.
Collaborative distances :
Collaborative distances :
Legend:Book In proceedings Article PhD thesis Other
Testability analysis in communicating systems.
Computer Networks, 2001
High Level Transition Systems for Communicating Agents.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
Layered -net Specification of a Workshop.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Permutable Agents in Process Algebras.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Covering Step Graph.
Proceedings of the Application and Theory of Petri Nets 1996, 1996
A Communication Protocol for Conflict Resolution.
Proceedings of the First International Conference on Multiagent Systems, 1995
Distributed Coin Tossing.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994
Testability of a Communicating System Through an Environment.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.
Proceedings of the Protocol Specification, 1993
A Formal Assessment of Synchronous Testability for Communicating Systems.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993
Verifying Communication Protocols Via Testing-Projection.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
Characterizing and Ordering Errors Detected by Conformance Testing.
Proceedings of the Protocol Test Systems, V, 1992
A Bus Instrumentation Protocol Specified in LOTOS.
Proceedings of the Formal Description Techniques, 1990
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets.
Proceedings of the Computer-Aided Verification, 1990
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés.
Proceedings of the SPLT'89, 1989
Requirement Analysis for Communication Protocols.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
On a Prolog Environment for Protocol Analysis.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986
Protocol analysis by using predicate nets.
Proceedings of the Protocol Specification, 1985
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.
Proceedings of the Proceedings, 1984
Petri net based models for the specification and validation of protocols.
Proceedings of the Advances in Petri Nets 1984, 1984
Towards Fault Tolerant Real Time Systems by Using Petri Nets.
Proceedings of the Application and Theory of Petri Nets, 1981
The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.
IFIP Congress, 1980
Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.
IEEE Trans. Computers, 1979
Design and Verification of Communication Procedures: A Bottom-Up Approach.
Proceedings of the 3rd International Conference on Software Engineering, 1978
Petri nets as a common tool for design verification and hardware simulation.
Proceedings of the 13th Design Automation Conference, 1976