Michel Bidoit - RankMe

72 papers A* 3A 6B 4C 2Journal 16Unranked 34

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