dblp.uni-trier.dewww.uni-trier.de

Michel Bidoit Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
65EEMichel Bidoit, Rolf Hennicker: An Algebraic Semantics for Contract-Based Software Components. AMAST 2008: 216-231
64EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Observational interpretation of Casl specifications. Mathematical Structures in Computer Science 18(2): 325-371 (2008)
2006
63EEMichel Bidoit, Rolf Hennicker: Proving Behavioral Refinements of COL-specifications. Essays Dedicated to Joseph A. Goguen 2006: 333-354
62EEMichel Bidoit, Rolf Hennicker: Constructor-based observational logic. J. Log. Algebr. Program. 67(1-2): 3-51 (2006)
2005
61EEMichel 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
59EEMichel Bidoit, Rolf Hennicker: Glass Box and Black Box Views of State-Based System Specifications.. AMAST 2004: 19
58EEMichel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217
2003
57EEMichel Bidoit, Rolf Hennicker, Alexander Kurz: Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 3(298): 471-510 (2003)
2002
56EEMichel Bidoit, Rolf Hennicker: On the Integration of Observability and Reachability Concepts. FoSSaCS 2002: 21-36
55EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Global Development via Local Observational Construction Steps. MFCS 2002: 1-24
54EERolf Hennicker, Heinrich Hußmann, Michel Bidoit: On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84
53EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90
52EEMichel 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
50EEMichel Bidoit, Rolf Hennicker, Alexander Kurz: On the Duality between Observability and Reachability. FoSSaCS 2001: 72-87
49EEMichel 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
47EERolf Hennicker, Michel Bidoit: Observational Logic. AMAST 1998: 263-277
46EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Architectural Specifications in CASL. AMAST 1998: 341-357
45EEMichel 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
43EERolf 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
41EEMichel Bidoit, Andrzej Tarlecki: Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP 1996: 241-256
40EEMichel 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)
34EEGilles Bernot, Michel Bidoit, Teodor Knapik: Observational Specifications and the Indistinguishability Assumption. Theor. Comput. Sci. 139(1&2): 275-314 (1995)
1994
33EEMichel 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
31EEMichel 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
28EEMichel Bidoit, Rolf Hennicker: A General Framework for Modular Implementations of Modular System Specifications. TAPSOFT 1993: 199-214
1992
27EEGilles 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
22EEMichel Bidoit, Francis Capy, Christine Choppy: The design and specification of the ASSPEGIQUE database. DISCO 1990: 205-214
1989
21EEA. 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
20EEMichel 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
16EEMichel 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
12EEGilles Bernot, Michel Bidoit, Christine Choppy: Algebraic Semantics of Exception Handling. ESOP 1986: 173-186
11EEGilles 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
9EEMichel 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
6EEMichel 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

Coauthor Index

1Egidio Astesiano [51]
2Hubert Baumeister [58]
3Gilles Bernot [10] [11] [12] [23] [27] [30] [34]
4Brigitte Biebow [5] [8]
5Alexandre Boisseau [49]
6Francis Capy [14] [15] [20] [22]
7Claude Chevenier [36]
8Christine Choppy [7] [9] [10] [11] [12] [14] [15] [20] [22] [25] [29] [38] [42]
9M.-A. Choquer [14]
10Jacques Corbin [3]
11Max Dauchet [44]
12Marie-Claude Gaudel [5] [8] [16] [19] [21]
13Christian Gresse [5] [8]
14Gérard D. Guiho [5] [8]
15Jacques Hagelstein [21]
16Rolf Hennicker [26] [28] [31] [32] [33] [35] [39] [40] [43] [45] [47] [48] [50] [54] [56] [57] [58] [59] [61] [62] [63] [65]
17Heinrich Hußmann (Heinrich Hussmann) [54]
18Stéphane Kaplan [14] [15]
19Hélène Kirchner [51]
20Teodor Knapik [27] [30] [34]
21Alexander Knapp [58]
22Hans-Jörg Kreowski [24]
23Bernd Krieg-Brückner [51]
24Alexander Kurz [50] [57]
25Pierre Lescanne [24]
26A. Mauboussin [16] [19] [21]
27Peter D. Mosses [51] [60]
28Fernando Orejas [24]
29Christine Pellen [36]
30H. Perdrix [21]
31Jérôme Ryckbosch [36]
32Donald Sannella [24] [46] [51] [52] [53] [55] [64]
33Françoise Schlienger [14] [15]
34Andrzej Tarlecki [41] [46] [51] [52] [53] [55] [64]
35Françoise Tort [48]
36Frédéric Voisin [7] [14] [15] [37] [38] [42]
37Martin Wirsing [31] [35] [43] [48]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)