Michel Allemand

Publication Activity (10 Years)

Years Active: 1993-2002
Publications (10 Years): 0

Publications

Gwen Salaün, Michel Allemand, J. Christian Attiogbé
Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS (2002)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
Foundations for a Combination of Heterogeneous Specification Components. Electron. Notes Theor. Comput. Sci. 66 (4) (2002)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC (2002)
Michel Allemand, Jean-Claude Royer
Mixed Formal Specifications with PVS. IPDPS (2002)
Gwen Salaün, Michel Allemand, J. Christian Attiogbé
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC (2001)
Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet
A System for Modelling and Proving Circuits. ED&TC (1996)
Michel Allemand
Formal Verification of Characteristic Properties. TPCD (1994)
Michel Allemand, Felix Nicoli, Laurence Pierre
Formal Verification of Hardware using LP and Comparison with Nqthm. Applied Informatics (1994)
Michel Allemand
A Rewriting Based Method for the Formal Verification of Microprocessors. CHDL (1993)