Michel Bidoit

Affiliations:
  • ENS Cachan, Paris, France


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Compatibility Properties of Synchronously and Asynchronously Communicating Components.
Log. Methods Comput. Sci., 2018

2016
On Synchronous and Asynchronous Compatibility of Communicating Components.
Proceedings of the Coordination Models and Languages, 2016

2010
A Modal Interface Theory with Data Constraints.
Proceedings of the Formal Methods: Foundations and Applications, 2010

2008
Observational interpretation of Casl specifications.
Math. Struct. Comput. Sci., 2008

An Algebraic Semantics for Contract-Based Software Components.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2006
Constructor-based observational logic.
J. Log. Algebraic Methods Program., 2006

Proving Behavioral Refinements of COL-specifications.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Externalized and Internalized Notions of Behavioral Refinement.
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Glass-Box and Black-Box Views on Object-Oriented Specifications.
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..
Proceedings of the Algebraic Methodology and Software Technology, 2004

Casl User Manual - Introduction to Using the Common Algebraic Specification Language
Lecture Notes in Computer Science 2900, Springer, ISBN: 3-540-20766-X, 2004

2003
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci., 2003

2002
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci., 2002

Architectural Specifications in CASL.
Formal Aspects Comput., 2002

Toward Component-Oriented Formal Software Development: An Algebraic Approach.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

On the Precise Meaning of OCL Constraints.
Proceedings of the Object Modeling with the OCL, 2002

Global Development via Local Observational Construction Steps.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

On the Integration of Observability and Reachability Concepts.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Algebraic Abstractions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

On the Duality between Observability and Reachability.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

Systems and Software Verification, Model-Checking Techniques and Tools.
Springer, ISBN: 9783540415237, 2001

1999
Proof Systems for Structured Specifications and Their Refinements.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Correct Realization of Interface Constraints with OCL.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1998
Modular Correctness Proofs of Behavioural Implementations.
Acta Informatica, 1998

Observational Logic.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Proof Systems for Structured Specifications with Observability Operators.
Theor. Comput. Sci., 1997

1996
Behavioural Theories and the Proof of Behavioural Properties.
Theor. Comput. Sci., 1996

Behavioural Satisfaction and Equivalence in Concrete Model Categories.
Proceedings of the Trees in Algebra and Programming, 1996

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Observational Specifications and the Indistinguishability Assumption.
Theor. Comput. Sci., 1995

Behavioural and Abstractor Specifications.
Sci. Comput. Program., 1995

An Algebraic Specification of the Steam-Boiler Control System.
Proceedings of the Formal Methods for Industrial Applications, 1995

Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.
Proceedings of the Recent Trends in Data Type Specification, 1995

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU<sup>+</sup>/LP Experience.
Proceedings of the Recent Trends in Data Type Specification, 1995

Proving the Correctness of Behavioural Implementations.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Behavioural Approaches to Algebraic Specifications: A Comparative Study.
Acta Informatica, 1994

Characterizing Behavioural Semantics and Abstractor Semantics.
Proceedings of the Programming Languages and Systems, 1994

Behavioural Theories.
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.
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993
A General Framework for Modular Implementations of Modular System Specifications.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992
Integrating ASSPEGIQUE and LP.
Proceedings of the First International Workshop on Larch, 1992

How to Prove Observational Theorems with LP.
Proceedings of the First International Workshop on Larch, 1992

Towards an Adequate Notion of Observation.
Proceedings of the ESOP '92, 1992

1991
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
The design and specification of the ASSPEGIQUE database.
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.
Sci. Comput. Program., 1989

ASSPEGIQUE: An Integrated Specification Environment.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.
Proceedings of the Algebraic Methods II: Theory, 1989

1988
Recent Development of the PLUSS Specification Language.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987
Asspegique: An Integrated Specification Environment.
Proceedings of the STACS 87, 1987

ASSPEGIQUE: An Integrated Specification Environment.
Proceedings of the Conditional Term Rewriting Systems, 1987

How to Make Algebraic Specifications More Understandable?.
Proceedings of the Algebraic Methods: Theory, 1987

The Stratified Loose Approach: A Generalization of Initial and Loose Semantics.
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.
Theor. Comput. Sci., 1986

Abstract Implementations and Correctness Proofs.
Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.
Proceedings of the ESOP 86, 1986

The PLUSS Specification Language.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985
Exception Handling: Formal Specification and Systematic Program Construction.
IEEE Trans. Software Eng., 1985

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications.
Proceedings of the Mathematical Foundations of Software Development, 1985

1984
Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.
Proceedings of the Automata, 1984

The ASSPEGIQUE Specification Environment - Motivations and Design.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
A Rehabilitation of Robinson's Unification Algorithm.
Proceedings of the Information Processing 83, 1983

Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982
Proofs by Induction in "Fairly" Specified Equational Theories.
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.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1979
A System which Synthesizes Array-Manipulating Programs from Specifications.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979


  Loading...