Michel Allemand

According to our database, Michel Allemand authored at least 9 papers between 1993 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Foundations for a Combination of Heterogeneous Specification Components.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Specification of an Access Control System with a Formalism Combining CCS and CASL.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Mixed Formal Specifications with PVS.

Michel Allemand, Jean-Claude Royer

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.

Gwen Salaün, Michel Allemand, J. Christian Attiogbé

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1996

A System for Modelling and Proving Circuits.

Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet

Proceedings of the 1996 European Design and Test Conference, 1996

1994

Formal Verification of Characteristic Properties.

Michel Allemand

Proceedings of the Theorem Provers in Circuit Design, 1994

Formal Verification of Hardware using LP and Comparison with Nqthm.

Michel Allemand, Felix Nicoli, Laurence Pierre

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1993

A Rewriting Based Method for the Formal Verification of Microprocessors.

Michel Allemand

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993