A System which Synthesizes Array-Manipulating Programs from Specifications. - Michel Bidoit; Christian Gresse; Gérard D. Guiho (IJCAI, 1979)

Automatic Transformation of Abstract Data Types "FAIR" Presentations. - Michel Bidoit (ECAI, 1982)

Proofs by Induction in "Fairly" Specified Equational Theories. - Michel Bidoit (GWAI, 1982)

Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. - Michel Bidoit (ADT, 1983)

A Rehabilitation of Robinson's Unification Algorithm. - Jacques Corbin; Michel Bidoit (IFIP Congress, 1983)

The ASSPEGIQUE Specification Environment - Motivations and Design. - Michel Bidoit; Christine Choppy; Frédéric Voisin (ADT, 1984)

Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. - Michel Bidoit (ICALP, 1984)

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. - Michel Bidoit; Christine Choppy (TAPSOFT, Vol.2, 1985)

Exception Handling: Formal Specification and Systematic Program Construction. - Michel Bidoit; Brigitte Biebow; Marie-Claude Gaudel; Christian Gresse; Gérard D. Guiho (IEEE Trans. Software Eng., 1985)

The PLUSS Specification Language. - Michel Bidoit (ADT, 1986)

Algebraic Semantics of Exception Handling. - Gilles Bernot; Michel Bidoit; Christine Choppy (ESOP, 1986)

Abstract Implementations and Correctness Proofs. - Gilles Bernot; Michel Bidoit; Christine Choppy (STACS, 1986)

Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. - Gilles Bernot; Michel Bidoit; Christine Choppy (Theor. Comput. Sci., 1986)

The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. - Michel Bidoit (ADT, 1987)

How to Make Algebraic Specifications More Understandable?. - Michel Bidoit; Marie-Claude Gaudel; Anne Mauboussin (Algebraic Methods, 1987)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (CTRS, 1987)

Asspegique: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; M.-A. Choquer; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (STACS, 1987)

Recent Development of the PLUSS Specification Language. - Michel Bidoit (ADT, 1988)

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. - Anne Mauboussin; H. Perdrix; Michel Bidoit; Marie-Claude Gaudel; Jacques Hagelstein (Algebraic Methods, 1989)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy (RTA, 1989)

How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. - Michel Bidoit; Marie-Claude Gaudel; Anne Mauboussin (Sci. Comput. Program., 1989)

The design and specification of the ASSPEGIQUE database. - Michel Bidoit; Francis Capy; Christine Choppy (DISCO, 1990)

Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. - Gilles Bernot; Michel Bidoit (AMAST, 1991)

Towards an Adequate Notion of Observation. - Gilles Bernot; Michel Bidoit; Teodor Knapik (ESOP, 1992)

How to Prove Observational Theorems with LP. - Michel Bidoit; Rolf Hennicker (Larch, 1992)

Integrating ASSPEGIQUE and LP. - Christine Choppy; Michel Bidoit (Larch, 1992)

A General Framework for Modular Implementations of Modular System Specifications. - Michel Bidoit; Rolf Hennicker (TAPSOFT, 1993)

Proving Behavioural Theorems with Standard First-Order Logic. - Michel Bidoit; Rolf Hennicker (ALP, 1994)

Behavioural Theories. - Michel Bidoit; Rolf Hennicker (COMPASS/ADT, 1994)

Characterizing Behavioural Semantics and Abstractor Semantics. - Michel Bidoit; Rolf Hennicker; Martin Wirsing (ESOP, 1994)

Behavioural Approaches to Algebraic Specifications: A Comparative Study. - Gilles Bernot; Michel Bidoit; Teodor Knapik (Acta Informatica, 1994)

Proving the Correctness of Behavioural Implementations. - Michel Bidoit; Rolf Hennicker (AMAST, 1995)

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. - Michel Bidoit; Christine Choppy; Frédéric Voisin (COMPASS/ADT, 1995)

Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. - Frédéric Voisin; Michel Bidoit (COMPASS/ADT, 1995)

An Algebraic Specification of the Steam-Boiler Control System. - Michel Bidoit; Claude Chevenier; Christine Pellen; Jérôme Ryckbosch (Formal Methods for Industrial Applications, 1995)

Behavioural and Abstractor Specifications. - Michel Bidoit; Rolf Hennicker; Martin Wirsing (Sci. Comput. Program., 1995)

Observational Specifications and the Indistinguishability Assumption. - Gilles Bernot; Michel Bidoit; Teodor Knapik (Theor. Comput. Sci., 1995)

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. - Michel Bidoit; Christine Choppy; Frédéric Voisin (AMAST, 1996)

Behavioural Satisfaction and Equivalence in Concrete Model Categories. - Michel Bidoit; Andrzej Tarlecki (CAAP, 1996)

Behavioural Theories and the Proof of Behavioural Properties. - Michel Bidoit; Rolf Hennicker (Theor. Comput. Sci., 1996)

Proof Systems for Structured Specifications with Observability Operators. - Rolf Hennicker; Martin Wirsing; Michel Bidoit (Theor. Comput. Sci., 1997)

Observational Logic. - Rolf Hennicker; Michel Bidoit (AMAST, 1998)

Modular Correctness Proofs of Behavioural Implementations. - Michel Bidoit; Rolf Hennicker (Acta Informatica, 1998)

Correct Realization of Interface Constraints with OCL. - Françoise Tort; Michel Bidoit; Rolf Hennicker; Martin Wirsing (UML, 1999)

Proof Systems for Structured Specifications and Their Refinements. - Michel Bidoit; María Victoria Cengarle; Rolf Hennicker (Algebraic Foundations of Systems Specification, 1999)

Systems and Software Verification, Model-Checking Techniques and Tools. - Béatrice Bérard; Michel Bidoit; Alain Finkel; François Laroussinie; Antoine Petit 001; Laure Petrucci; Philippe Schnoebelen; Pierre McKenzie (Springer, 2001)

On the Duality between Observability and Reachability. - Michel Bidoit; Rolf Hennicker; Alexander Kurz 001 (FoSSaCS, 2001)

Algebraic Abstractions. - Michel Bidoit; Alexandre Boisseau (WADT, 2001)

On the Integration of Observability and Reachability Concepts. - Michel Bidoit; Rolf Hennicker (FoSSaCS, 2002)

Global Development via Local Observational Construction Steps. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (MFCS, 2002)

On the Precise Meaning of OCL Constraints. - Rolf Hennicker; Heinrich Hußmann; Michel Bidoit (Object Modeling with the OCL, 2002)

Toward Component-Oriented Formal Software Development: An Algebraic Approach. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (RISSEF, 2002)

Architectural Specifications in CASL. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (Formal Aspects Comput., 2002)

CASL: the Common Algebraic Specification Language. - Egidio Astesiano; Michel Bidoit; Hélène Kirchner; Bernd Krieg-Brückner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 2002)

Observational logic, constructor-based logic, and their duality. - Michel Bidoit; Rolf Hennicker; Alexander Kurz 001 (Theor. Comput. Sci., 2003)

Casl User Manual - Introduction to Using the Common Algebraic Specification Language - Michel Bidoit; Peter D. Mosses (Springer, 2004)

Glass Box and Black Box Views of State-Based System Specifications.. - Michel Bidoit; Rolf Hennicker (AMAST, 2004)

Glass-Box and Black-Box Views on Object-Oriented Specifications. - Michel Bidoit; Rolf Hennicker; Alexander Knapp; Hubert Baumeister (SEFM, 2004)

Externalized and Internalized Notions of Behavioral Refinement. - Michel Bidoit; Rolf Hennicker (ICTAC, 2005)

Proving Behavioral Refinements of COL-specifications. - Michel Bidoit; Rolf Hennicker (Essays Dedicated to Joseph A. Goguen, 2006)

Constructor-based observational logic. - Michel Bidoit; Rolf Hennicker (J. Log. Algebraic Methods Program., 2006)

An Algebraic Semantics for Contract-Based Software Components. - Michel Bidoit; Rolf Hennicker (AMAST, 2008)

Observational interpretation of Casl specifications. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (Math. Struct. Comput. Sci., 2008)

A Modal Interface Theory with Data Constraints. - Sebastian S. Bauer; Rolf Hennicker; Michel Bidoit (SBMF, 2010)

On Synchronous and Asynchronous Compatibility of Communicating Components. - Rolf Hennicker; Michel Bidoit; Thanh-Son Dang (COORDINATION, 2016)

Compatibility Properties of Synchronously and Asynchronously Communicating Components. - Rolf Hennicker; Michel Bidoit (Log. Methods Comput. Sci., 2018)