The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Bidoit: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  60. An Algebraic Semantics for Contract-Based Software Components. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002