Pierre Azéma

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

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
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

1999
Layered -net Specification of a Workshop.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1996
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

1995
A Communication Protocol for Conflict Resolution.
Proceedings of the First International Conference on Multiagent Systems, 1995

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

1993
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

1992
Characterizing and Ordering Errors Detected by Conformance Testing.
Proceedings of the Protocol Test Systems, V, 1992

1990
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

1989
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

1986
On a Prolog Environment for Protocol Analysis.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985
Protocol analysis by using predicate nets.
Proceedings of the Protocol Specification, 1985

1984
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

1981
Towards Fault Tolerant Real Time Systems by Using Petri Nets.
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.
IFIP Congress, 1980

1979
Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.
IEEE Trans. Computers, 1979

1978
Design and Verification of Communication Procedures: A Bottom-Up Approach.
Proceedings of the 3rd International Conference on Software Engineering, 1978

1976
Petri nets as a common tool for design verification and hardware simulation.
Proceedings of the 13th Design Automation Conference, 1976


  Loading...