Michel Bidoit

According to our database, Michel Bidoit authored at least 66 papers between 1979 and 2018.

Collaborative distances:

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

2018

Compatibility Properties of Synchronously and Asynchronously Communicating Components.

Rolf Hennicker, Michel Bidoit

Log. Methods Comput. Sci., 2018

2016

On Synchronous and Asynchronous Compatibility of Communicating Components.

Rolf Hennicker, Michel Bidoit, Thanh-Son Dang

Proceedings of the Coordination Models and Languages, 2016

2010

A Modal Interface Theory with Data Constraints.

Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit

Proceedings of the Formal Methods: Foundations and Applications, 2010

2008

Observational interpretation of Casl specifications.

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Math. Struct. Comput. Sci., 2008

An Algebraic Semantics for Contract-Based Software Components.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic Methodology and Software Technology, 2008

2006

Constructor-based observational logic.

Michel Bidoit, Rolf Hennicker

J. Log. Algebraic Methods Program., 2006

Proving Behavioral Refinements of COL-specifications.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Externalized and Internalized Notions of Behavioral Refinement.

Michel Bidoit, Rolf Hennicker

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Glass-Box and Black-Box Views on Object-Oriented Specifications.

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Glass Box and Black Box Views of State-Based System Specifications..

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic Methodology and Software Technology, 2004

Casl User Manual - Introduction to Using the Common Algebraic Specification Language

Michel Bidoit, Peter D. Mosses

Lecture Notes in Computer Science 2900, Springer, ISBN: 3-540-20766-X, 2004

2003

Observational logic, constructor-based logic, and their duality.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Theor. Comput. Sci., 2003

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

Architectural Specifications in CASL.

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Formal Aspects Comput., 2002

Toward Component-Oriented Formal Software Development: An Algebraic Approach.

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

On the Precise Meaning of OCL Constraints.

Rolf Hennicker, Heinrich Hußmann, Michel Bidoit

Proceedings of the Object Modeling with the OCL, 2002

Global Development via Local Observational Construction Steps.

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

On the Integration of Observability and Reachability Concepts.

Michel Bidoit, Rolf Hennicker

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Algebraic Abstractions.

Michel Bidoit, Alexandre Boisseau

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

On the Duality between Observability and Reachability.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Systems and Software Verification, Model-Checking Techniques and Tools.

Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie

Springer, ISBN: 9783540415237, 2001

1999

Proof Systems for Structured Specifications and Their Refinements.

Michel Bidoit, María Victoria Cengarle, Rolf Hennicker

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Correct Realization of Interface Constraints with OCL.

Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1998

Modular Correctness Proofs of Behavioural Implementations.

Michel Bidoit, Rolf Hennicker

Acta Informatica, 1998

Observational Logic.

Rolf Hennicker, Michel Bidoit

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Proof Systems for Structured Specifications with Observability Operators.

Rolf Hennicker, Martin Wirsing, Michel Bidoit

Theor. Comput. Sci., 1997

1996

Behavioural Theories and the Proof of Behavioural Properties.

Michel Bidoit, Rolf Hennicker

Theor. Comput. Sci., 1996

Behavioural Satisfaction and Equivalence in Concrete Model Categories.

Michel Bidoit, Andrzej Tarlecki

Proceedings of the Trees in Algebra and Programming, 1996

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Observational Specifications and the Indistinguishability Assumption.

Gilles Bernot, Michel Bidoit, Teodor Knapik

Theor. Comput. Sci., 1995

Behavioural and Abstractor Specifications.

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Sci. Comput. Program., 1995

An Algebraic Specification of the Steam-Boiler Control System.

Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch

Proceedings of the Formal Methods for Industrial Applications, 1995

Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.

Frédéric Voisin, Michel Bidoit

Proceedings of the Recent Trends in Data Type Specification, 1995

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU⁺/LP Experience.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Recent Trends in Data Type Specification, 1995

Proving the Correctness of Behavioural Implementations.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Behavioural Approaches to Algebraic Specifications: A Comparative Study.

Gilles Bernot, Michel Bidoit, Teodor Knapik

Acta Informatica, 1994

Characterizing Behavioural Semantics and Abstractor Semantics.

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Proceedings of the Programming Languages and Systems, 1994

Behavioural Theories.

Michel Bidoit, Rolf Hennicker

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

Proving Behavioural Theorems with Standard First-Order Logic.

Michel Bidoit, Rolf Hennicker

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

A General Framework for Modular Implementations of Modular System Specifications.

Michel Bidoit, Rolf Hennicker

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Integrating ASSPEGIQUE and LP.

Christine Choppy, Michel Bidoit

Proceedings of the First International Workshop on Larch, 1992

How to Prove Observational Theorems with LP.

Michel Bidoit, Rolf Hennicker

Proceedings of the First International Workshop on Larch, 1992

Towards an Adequate Notion of Observation.

Gilles Bernot, Michel Bidoit, Teodor Knapik

Proceedings of the ESOP '92, 1992

1991

Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.

Gilles Bernot, Michel Bidoit

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

The design and specification of the ASSPEGIQUE database.

Michel Bidoit, Francis Capy, Christine Choppy

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

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

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.

Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein

Proceedings of the Algebraic Methods II: Theory, 1989

1988

Recent Development of the PLUSS Specification Language.

Michel Bidoit

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

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

Proceedings of the STACS 87, 1987

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the Conditional Term Rewriting Systems, 1987

How to Make Algebraic Specifications More Understandable?.

Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin

Proceedings of the Algebraic Methods: Theory, 1987

The Stratified Loose Approach: A Generalization of Initial and Loose Semantics.

Michel Bidoit

Proceedings of the Recent Trends in Data Type Specification, 1987

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

Abstract Implementations and Correctness Proofs.

Gilles Bernot, Michel Bidoit, Christine Choppy

Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.

Gilles Bernot, Michel Bidoit, Christine Choppy

Proceedings of the ESOP 86, 1986

The PLUSS Specification Language.

Michel Bidoit

Proceedings of the 4st Workshop on Abstract Data Type, 1986

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

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications.

Michel Bidoit, Christine Choppy

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.

Michel Bidoit

Proceedings of the Automata, 1984

The ASSPEGIQUE Specification Environment - Motivations and Design.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

A Rehabilitation of Robinson's Unification Algorithm.

Jacques Corbin, Michel Bidoit

Proceedings of the Information Processing 83, 1983

Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types.

Michel Bidoit

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Proofs by Induction in "Fairly" Specified Equational Theories.

Michel Bidoit

Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982

Automatic Transformation of Abstract Data Types "FAIR" Presentations.

Michel Bidoit

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1979

A System which Synthesizes Array-Manipulating Programs from Specifications.

Michel Bidoit, Christian Gresse, Gérard D. Guiho

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979