Michel Bidoit

Publication Activity (10 Years)

Years Active: 1979-2018
Publications (10 Years): 3

Top Topics

Computational Complexity

Building Blocks

Top Venues

Log. Methods Comput. Sci.

Publications

Rolf Hennicker, Michel Bidoit
Compatibility Properties of Synchronously and Asynchronously Communicating Components. Log. Methods Comput. Sci. 14 (1) (2018)
Rolf Hennicker, Michel Bidoit, Thanh-Son Dang
On Synchronous and Asynchronous Compatibility of Communicating Components. COORDINATION (2016)
Rolf Hennicker, Michel Bidoit
Compatibility Properties of Synchronously and Asynchronously Communicating Components. CoRR (2016)
Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
A Modal Interface Theory with Data Constraints. SBMF (2010)
Michel Bidoit, Rolf Hennicker
An Algebraic Semantics for Contract-Based Software Components. AMAST (2008)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Observational interpretation of Casl specifications. Math. Struct. Comput. Sci. 18 (2) (2008)
Michel Bidoit, Rolf Hennicker
Proving Behavioral Refinements of COL-specifications. Essays Dedicated to Joseph A. Goguen (2006)
Michel Bidoit, Rolf Hennicker
Constructor-based observational logic. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Michel Bidoit, Rolf Hennicker
Externalized and Internalized Notions of Behavioral Refinement. ICTAC (2005)
Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM (2004)
Michel Bidoit, Rolf Hennicker
Glass Box and Black Box Views of State-Based System Specifications.. AMAST (2004)
Michel Bidoit, Rolf Hennicker, Alexander Kurz
Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 298 (3) (2003)
Heinrich Hußmann, Michel Bidoit, Rolf Hennicker
On the Precise Meaning of OCL Constraints. Object Modeling with the OCL (2002)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Architectural Specifications in CASL. Formal Aspects Comput. 13 (3-5) (2002)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF (2002)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Global Development via Local Observational Construction Steps. MFCS (2002)
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286 (2) (2002)
Michel Bidoit, Rolf Hennicker
On the Integration of Observability and Reachability Concepts. FoSSaCS (2002)
Michel Bidoit, Alexandre Boisseau
Algebraic Abstractions. WADT (2001)
Michel Bidoit, Rolf Hennicker, Alexander Kurz
On the Duality between Observability and Reachability. FoSSaCS (2001)
Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing
Correct Realization of Interface Constraints with OCL. UML (1999)
Rolf Hennicker, Michel Bidoit
Observational Logic. AMAST (1998)
Michel Bidoit, Rolf Hennicker
Modular Correctness Proofs of Behavioural Implementations. Acta Informatica 35 (11) (1998)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Architectural Specifications in CASL. AMAST (1998)
Rolf Hennicker, Martin Wirsing, Michel Bidoit
Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173 (2) (1997)
Michel Bidoit, Andrzej Tarlecki
Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP (1996)
Michel Bidoit, Christine Choppy, Frédéric Voisin
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST (1996)
Michel Bidoit, Rolf Hennicker
Behavioural Theories and the Proof of Behavioural Properties. Theor. Comput. Sci. 165 (1) (1996)
Frédéric Voisin, Michel Bidoit
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. COMPASS/ADT (1995)
Michel Bidoit, Rolf Hennicker
Proving the Correctness of Behavioural Implementations. AMAST (1995)
Michel Bidoit, Christine Choppy, Frédéric Voisin
/LP Experience. COMPASS/ADT (1995)
Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch
An Algebraic Specification of the Steam-Boiler Control System. Formal Methods for Industrial Applications (1995)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Observational Specifications and the Indistinguishability Assumption. Theor. Comput. Sci. 139 (1&2) (1995)
Michel Bidoit, Rolf Hennicker, Martin Wirsing
Behavioural and Abstractor Specifications. Sci. Comput. Program. 25 (2-3) (1995)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Informatica 31 (7) (1994)
Michel Bidoit, Rolf Hennicker
Behavioural Theories. COMPASS/ADT (1994)
Michel Bidoit, Rolf Hennicker
Proving Behavioural Theorems with Standard First-Order Logic. ALP (1994)
Michel Bidoit, Rolf Hennicker, Martin Wirsing
Characterizing Behavioural Semantics and Abstractor Semantics. ESOP (1994)
Michel Bidoit, Rolf Hennicker
A General Framework for Modular Implementations of Modular System Specifications. TAPSOFT (1993)
Michel Bidoit, Rolf Hennicker
How to Prove Observational Theorems with LP. Larch (1992)
Christine Choppy, Michel Bidoit
Integrating ASSPEGIQUE and LP. Larch (1992)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Towards an Adequate Notion of Observation. ESOP (1992)
Gilles Bernot, Michel Bidoit
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. AMAST (1991)
Michel Bidoit, Francis Capy, Christine Choppy
The design and specification of the ASSPEGIQUE database. DISCO (1990)
Michel Bidoit, Francis Capy, Christine Choppy
ASSPEGIQUE: An Integrated Specification Environment. RTA (1989)
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. 12 (1) (1989)
A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods (1989)
Michel Bidoit
Recent Development of the PLUSS Specification Language. ADT (1988)
Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
ASSPEGIQUE: An Integrated Specification Environment. CTRS (1987)
Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
Asspegique: An Integrated Specification Environment. STACS (1987)
Michel Bidoit
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. ADT (1987)
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable?. Algebraic Methods (1987)
Michel Bidoit
The PLUSS Specification Language. ADT (1986)
Gilles Bernot, Michel Bidoit, Christine Choppy
Algebraic Semantics of Exception Handling. ESOP (1986)
Gilles Bernot, Michel Bidoit, Christine Choppy
Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. Theor. Comput. Sci. 46 (3) (1986)
Gilles Bernot, Michel Bidoit, Christine Choppy
Abstract Implementations and Correctness Proofs. STACS (1986)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11 (3) (1985)
Michel Bidoit, Christine Choppy
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. TAPSOFT, Vol.2 (1985)
Michel Bidoit, Christine Choppy, Frédéric Voisin
The ASSPEGIQUE Specification Environment - Motivations and Design. ADT (1984)
Michel Bidoit
Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. ICALP (1984)
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
Exception Handling: Formal Specification and Systematic Program Construction. ICSE (1984)
Michel Bidoit
Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. ADT (1983)
Jacques Corbin, Michel Bidoit
A Rehabilitation of Robinson's Unification Algorithm. IFIP Congress (1983)
Michel Bidoit
Proofs by Induction in "Fairly" Specified Equational Theories. GWAI (1982)
Michel Bidoit
Automatic Transformation of Abstract Data Types "FAIR" Presentations. ECAI (1982)
Michel Bidoit, Christian Gresse, Gérard D. Guiho
A System which Synthesizes Array-Manipulating Programs from Specifications. IJCAI (1979)