Travelled to:1 × Canada
1 × Germany
4 × USA
Collaborated with:F.Vernadat K.Drira B.Soulas A.M.Chemali F.Michel J.C.Lloret J.Ayache B.Berthomieu R.Valette M.Diaz G.Juandle E.Sanchis M.Montbernard
Talks about:verif (4) communic (3) design (3) petri (3) net (3) system (2) use (2) interpred (1) distribut (1) character (1)
Person: Pierre Azéma
DBLP: Az=eacute=ma:Pierre
Contributed to:
1996
1992
1990
19841978
1976
1993Wrote 7 papers:
- TACAS-1996-MichelAV #algebra #process
- Permutable Agents in Process Algebras (FM, PA, FV), pp. 187–206.
- IWPTS-1992-DriraASC #consistency #detection #fault #testing
- Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.
- CAV-1990-LloretAV #communication #composition #design #petri net #protocol #using #verification
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.
- ICSE-1984-AzemaJSM #distributed #petri net #prolog #specification #using #verification
- Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets (PA, GJ, ES, MM), pp. 510–519.
- ICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification
- Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.
- DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification
- Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.
- TAPSOFT-1993-DriraASC #communication #testing
- Testability of a Communicating System Through an Environment (KD, PA, BS, AMC), pp. 529–543.