| 2016 | Coordination | On Synchronous and Asynchronous Compatibility of Communicating Components. | Rolf Hennicker, Michel Bidoit, Thanh-Son Dang |
| 2005 | ICTAC | Externalized and Internalized Notions of Behavioral Refinement. | Michel Bidoit, Rolf Hennicker |
| 2004 | SEFM | Glass-Box and Black-Box Views on Object-Oriented Specifications. | Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister |
| 2002 | FOSSACS | On the Integration of Observability and Reachability Concepts. | Michel Bidoit, Rolf Hennicker |
| 2002 | MFCS | Global Development via Local Observational Construction Steps. | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
| 2001 | FOSSACS | On the Duality between Observability and Reachability. | Michel Bidoit, Rolf Hennicker, Alexander Kurz |
| 1995 | COMPASS | Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU | Michel Bidoit, Christine Choppy, Frdric Voisin |
| 1995 | COMPASS | Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. | Frdric Voisin, Michel Bidoit |
| 1994 | COMPASS | Behavioural Theories. | Michel Bidoit, Rolf Hennicker |
| 1994 | ESOP | Characterizing Behavioural Semantics and Abstractor Semantics. | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
| 1992 | ESOP | Towards an Adequate Notion of Observation. | Gilles Bernot, Michel Bidoit, Teodor Knapik |
| 1987 | STACS | Asspegique: An Integrated Specification Environment. | Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stphane Kaplan, Franoise Schlienger, Frdric Voisin |
| 1986 | ESOP | Algebraic Semantics of Exception Handling. | Gilles Bernot, Michel Bidoit, Christine Choppy |
| 1986 | STACS | Abstract Implementations and Correctness Proofs. | Gilles Bernot, Michel Bidoit, Christine Choppy |
| 1984 | ICALP | Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. | Michel Bidoit |
| 1984 | ICSE | Exception Handling: Formal Specification and Systematic Program Construction. | Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Grard D. Guiho |
| 1982 | ECAI | Automatic Transformation of Abstract Data Types "FAIR" Presentations. | Michel Bidoit |
| 1982 | KI | Proofs by Induction in "Fairly" Specified Equational Theories. | Michel Bidoit |
| 1979 | IJCAI | A System which Synthesizes Array-Manipulating Programs from Specifications. | Michel Bidoit, Christian Gresse, Grard D. Guiho |