| 2002 |
|---|
| 8 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.
COMPSAC 2002: 385-392 |
| 7 | EE | Michel Allemand,
Jean-Claude Royer:
Mixed Formal Specifications with PVS.
IPDPS 2002 |
| 6 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Specification of an Access Control System with a Formalism Combining CCS and CASL.
IPDPS 2002 |
| 5 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 2001 |
|---|
| 4 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.
APSEC 2001: 299- |
| 1994 |
|---|
| 3 | | Michel Allemand,
Felix Nicoli,
Laurence Pierre:
Formal Verification of Hardware using LP and Comparison with Nqthm.
Applied Informatics 1994: 150-153 |
| 2 | | Michel Allemand:
Formal Verification of Characteristic Properties.
TPCD 1994: 292-297 |
| 1993 |
|---|
| 1 | | Michel Allemand:
A Rewriting Based Method for the Formal Verification of Microprocessors.
CHDL 1993: 115-122 |
