Pierre Azéma

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

Coauthor Index

1	Jean Luc Albacete	[20]
2	Jean-Michel Ayache	[2] [3] [5]
3	Gianfranco Balbo	[23]
4	Bernard Berthomieu	[2] [4]
5	A. M. Chemali	[14] [15] [17]
6	Paul Decitre	[4]
7	Michel Diaz	[1] [3] [5] [7]
8	Khalil Drira	[12] [14] [15] [16] [17] [18] [19] [25]
9	P. Gradit	[24]
10	G. Juandle	[6]
11	Jean Christophe Lloret	[10] [11] [13]
12	François Michel	[21] [22]
13	M. Montbernard	[6]
14	Giorgos Papapanagiotakis	[8] [9]
15	Brigitte Pradin-Chezalviel	[9]
16	E. Sanchis	[6]
17	Pierre de Saqui-Sannes	[25]
18	B. Soulas	[14] [15] [17]
19	Robert Valette	[1]
20	François Vernadat	[10] [11] [12] [13] [16] [19] [20] [21] [22] [24] [26]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page