| 2008 |
|---|
| 65 | EE | Michel Bidoit,
Rolf Hennicker:
An Algebraic Semantics for Contract-Based Software Components.
AMAST 2008: 216-231 |
| 64 | EE | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Observational interpretation of Casl specifications.
Mathematical Structures in Computer Science 18(2): 325-371 (2008) |
| 2006 |
|---|
| 63 | EE | Michel Bidoit,
Rolf Hennicker:
Proving Behavioral Refinements of COL-specifications.
Essays Dedicated to Joseph A. Goguen 2006: 333-354 |
| 62 | EE | Michel Bidoit,
Rolf Hennicker:
Constructor-based observational logic.
J. Log. Algebr. Program. 67(1-2): 3-51 (2006) |
| 2005 |
|---|
| 61 | EE | Michel Bidoit,
Rolf Hennicker:
Externalized and Internalized Notions of Behavioral Refinement.
ICTAC 2005: 334-350 |
| 2004 |
|---|
| 60 | | Michel Bidoit,
Peter D. Mosses:
Casl User Manual - Introduction to Using the Common Algebraic Specification Language
Springer 2004 |
| 59 | EE | Michel Bidoit,
Rolf Hennicker:
Glass Box and Black Box Views of State-Based System Specifications..
AMAST 2004: 19 |
| 58 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications.
SEFM 2004: 208-217 |
| 2003 |
|---|
| 57 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Kurz:
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci. 3(298): 471-510 (2003) |
| 2002 |
|---|
| 56 | EE | Michel Bidoit,
Rolf Hennicker:
On the Integration of Observability and Reachability Concepts.
FoSSaCS 2002: 21-36 |
| 55 | EE | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Global Development via Local Observational Construction Steps.
MFCS 2002: 1-24 |
| 54 | EE | Rolf Hennicker,
Heinrich Hußmann,
Michel Bidoit:
On the Precise Meaning of OCL Constraints.
Object Modeling with the OCL 2002: 69-84 |
| 53 | EE | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach.
RISSEF 2002: 75-90 |
| 52 | EE | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Architectural Specifications in CASL.
Formal Asp. Comput. 13(3-5): 252-273 (2002) |
| 51 | | 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): 153-196 (2002) |
| 2001 |
|---|
| 50 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Kurz:
On the Duality between Observability and Reachability.
FoSSaCS 2001: 72-87 |
| 49 | EE | Michel Bidoit,
Alexandre Boisseau:
Algebraic Abstractions.
WADT 2001: 21-47 |
| 1999 |
|---|
| 48 | | Françoise Tort,
Michel Bidoit,
Rolf Hennicker,
Martin Wirsing:
Correct Realization of Interface Constraints with OCL.
UML 1999: 399-415 |
| 1998 |
|---|
| 47 | EE | Rolf Hennicker,
Michel Bidoit:
Observational Logic.
AMAST 1998: 263-277 |
| 46 | EE | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Architectural Specifications in CASL.
AMAST 1998: 341-357 |
| 45 | EE | Michel Bidoit,
Rolf Hennicker:
Modular Correctness Proofs of Behavioural Implementations.
Acta Inf. 35(11): 951-1005 (1998) |
| 1997 |
|---|
| 44 | | Michel Bidoit,
Max Dauchet:
TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
Springer 1997 |
| 43 | EE | Rolf Hennicker,
Martin Wirsing,
Michel Bidoit:
Proof Systems for Structured Specifications with Observability Operators.
Theor. Comput. Sci. 173(2): 393-443 (1997) |
| 1996 |
|---|
| 42 | | Michel Bidoit,
Christine Choppy,
Frédéric Voisin:
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.
AMAST 1996: 555-558 |
| 41 | | Michel Bidoit,
Andrzej Tarlecki:
Behavioural Satisfaction and Equivalence in Concrete Model Categories.
CAAP 1996: 241-256 |
| 40 | EE | Michel Bidoit,
Rolf Hennicker:
Behavioural Theories and the Proof of Behavioural Properties.
Theor. Comput. Sci. 165(1): 3-55 (1996) |
| 1995 |
|---|
| 39 | | Michel Bidoit,
Rolf Hennicker:
Proving the Correctness of Behavioural Implementations.
AMAST 1995: 152-168 |
| 38 | | Michel Bidoit,
Christine Choppy,
Frédéric Voisin:
Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience.
COMPASS/ADT 1995: 102-124 |
| 37 | | Frédéric Voisin,
Michel Bidoit:
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.
COMPASS/ADT 1995: 503-521 |
| 36 | | 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: 79-108 |
| 35 | | Michel Bidoit,
Rolf Hennicker,
Martin Wirsing:
Behavioural and Abstractor Specifications.
Sci. Comput. Program. 25(2-3): 149-186 (1995) |
| 34 | EE | Gilles Bernot,
Michel Bidoit,
Teodor Knapik:
Observational Specifications and the Indistinguishability Assumption.
Theor. Comput. Sci. 139(1&2): 275-314 (1995) |
| 1994 |
|---|
| 33 | | Michel Bidoit,
Rolf Hennicker:
Proving Behavioural Theorems with Standard First-Order Logic.
ALP 1994: 41-58 |
| 32 | | Michel Bidoit,
Rolf Hennicker:
Behavioural Theories.
COMPASS/ADT 1994: 153-169 |
| 31 | | Michel Bidoit,
Rolf Hennicker,
Martin Wirsing:
Characterizing Behavioural Semantics and Abstractor Semantics.
ESOP 1994: 105-119 |
| 30 | | Gilles Bernot,
Michel Bidoit,
Teodor Knapik:
Behavioural Approaches to Algebraic Specifications: A Comparative Study.
Acta Inf. 31(7): 651-671 (1994) |
| 1993 |
|---|
| 29 | | Michel Bidoit,
Christine Choppy:
Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers
Springer 1993 |
| 28 | | Michel Bidoit,
Rolf Hennicker:
A General Framework for Modular Implementations of Modular System Specifications.
TAPSOFT 1993: 199-214 |
| 1992 |
|---|
| 27 | | Gilles Bernot,
Michel Bidoit,
Teodor Knapik:
Towards an Adequate Notion of Observation.
ESOP 1992: 39-55 |
| 26 | | Michel Bidoit,
Rolf Hennicker:
How to Prove Observational Theorems with LP.
Larch 1992: 18-35 |
| 25 | | Christine Choppy,
Michel Bidoit:
Integrating ASSPEGIQUE and LP.
Larch 1992: 69-85 |
| 1991 |
|---|
| 24 | | Michel Bidoit,
Hans-Jörg Kreowski,
Pierre Lescanne,
Fernando Orejas,
Donald Sannella:
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Springer 1991 |
| 23 | | Gilles Bernot,
Michel Bidoit:
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.
AMAST 1991: 216-239 |
| 1990 |
|---|
| 22 | | Michel Bidoit,
Francis Capy,
Christine Choppy:
The design and specification of the ASSPEGIQUE database.
DISCO 1990: 205-214 |
| 1989 |
|---|
| 21 | | 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: 395-431 |
| 20 | | Michel Bidoit,
Francis Capy,
Christine Choppy:
ASSPEGIQUE: An Integrated Specification Environment.
RTA 1989: 547 |
| 19 | | 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): 1-38 (1989) |
| 1988 |
|---|
| 18 | | Michel Bidoit:
Recent Development of the PLUSS Specification Language.
ADT 1988 |
| 1987 |
|---|
| 17 | | Michel Bidoit:
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics.
ADT 1987: 1-22 |
| 16 | | Michel Bidoit,
Marie-Claude Gaudel,
A. Mauboussin:
How to Make Algebraic Specifications More Understandable?.
Algebraic Methods 1987: 31-67 |
| 15 | | Michel Bidoit,
Francis Capy,
Christine Choppy,
Stéphane Kaplan,
Françoise Schlienger,
Frédéric Voisin:
ASSPEGIQUE: An Integrated Specification Environment.
CTRS 1987: 251-252 |
| 14 | | 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: 471 |
| 1986 |
|---|
| 13 | | Michel Bidoit:
The PLUSS Specification Language.
ADT 1986 |
| 12 | | Gilles Bernot,
Michel Bidoit,
Christine Choppy:
Algebraic Semantics of Exception Handling.
ESOP 1986: 173-186 |
| 11 | | Gilles Bernot,
Michel Bidoit,
Christine Choppy:
Abstract Implementations and Correctness Proofs.
STACS 1986: 236-251 |
| 10 | | 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): 13-45 (1986) |
| 1985 |
|---|
| 9 | | Michel Bidoit,
Christine Choppy:
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications.
TAPSOFT, Vol.2 1985: 246-260 |
| 8 | | 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): 242-252 (1985) |
| 1984 |
|---|
| 7 | | Michel Bidoit,
Christine Choppy,
Frédéric Voisin:
The ASSPEGIQUE Specification Environment - Motivations and Design.
ADT 1984: 54-72 |
| 6 | | Michel Bidoit:
Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.
ICALP 1984: 95-108 |
| 5 | | Michel Bidoit,
Brigitte Biebow,
Marie-Claude Gaudel,
Christian Gresse,
Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction.
ICSE 1984: 18-29 |
| 1983 |
|---|
| 4 | | Michel Bidoit:
Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types.
ADT 1983 |
| 3 | | Jacques Corbin,
Michel Bidoit:
A Rehabilitation of Robinson's Unification Algorithm.
IFIP Congress 1983: 909-914 |
| 1982 |
|---|
| 2 | | Michel Bidoit:
Automatic Transformation of Abstract Data Types ``FAIR'' Presentations.
ECAI 1982: 91-95 |
| 1 | | Michel Bidoit:
Proofs by Induction in "Fairly" Specified Equational Theories.
GWAI 1982: 154-166 |
