Publications : Michel BIDOIT

[BHB10]
S. S. Bauer, R. Hennicker, and M. Bidoit. A Modal Interface Theory with Data Constraints. In Revised Selected Papers of the 13th Brazilian Symposium on Formal Methods (SBMF'10), volume 6527 of Lecture Notes in Computer Science, pages 80--95. Springer, November 2010.
doi: 10.1007/978-3-642-19829-8_6.
BibTex | DOI | Web page | PDF ]
[BH08]
M. Bidoit and R. Hennicker. An Algebraic Semantics for Contract-Based Software Components. In Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), volume 5140 of Lecture Notes in Computer Science, pages 216--231, Urbana, Illinois, USA, July 2008. Springer.
doi: 10.1007/978-3-540-79980-1_17.
BibTex | DOI ]
[BST08]
M. Bidoit, D. Sannella, and A. Tarlecki. Observational Interpretation of Casl Specifications. Mathematical Structures in Computer Science, 18(2):325--371, April 2008.
doi: 10.1017/S0960129507006536.
BibTex | DOI | Web page | PDF ]
[BH06b]
M. Bidoit and R. Hennicker. Proving Behavioral Refinements of COL-Specifications. In Algebra, Meaning and Computation --- Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 333--354, San Diego, California, USA, June 2006. Springer.
doi: 10.1007/11780274_18.
BibTex | DOI | Web page | PDF ]
[BH06a]
M. Bidoit and R. Hennicker. Constructor-Based Observational Logic. Journal of Logic and Algebraic Programming, 67(1-2):3--51, April-May 2006.
doi: 10.1016/j.jlap.2005.09.002.
BibTex | DOI | Web page | PDF ]
[BH05]
M. Bidoit and R. Hennicker. Externalized and Internalized Notions of Behavioral Refinement. In Proceedings of the 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC'05), volume 3722 of Lecture Notes in Computer Science, pages 334--350, Hanoi, Vietnam, October 2005. Springer.
doi: 10.1007/11560647_22.
BibTex | DOI | Web page | PDF ]
[BHKB04]
M. Bidoit, R. Hennicker, A. Knapp, and H. Baumeister. Glass-Box and Black-Box Views on Object-Oriented Specifications. In Proceedings of the 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM'04), pages 208--217, Beijing, China, September 2004. IEEE Computer Society Press.
doi: 10.1109/SEFM.2004.10014.
BibTex | DOI | Web page | PDF ]
[BH04]
M. Bidoit and R. Hennicker. Glass Box and Black Box Views of State-Based System Specifications. In Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of Lecture Notes in Computer Science, page 19, Stirling, UK, July 2004. Springer. Invited talk.
BibTex ]
[BM04]
M. Bidoit and P. D. Mosses. CASL User Manual --- Introduction to Using the Common Algebraic Specification Language, volume 2900 of Lecture Notes in Computer Science. Springer, 2004.
doi: 10.1007/b11968.
BibTex | DOI | Web page ]
[BST04]
M. Bidoit, D. Sannella, and A. Tarlecki. Toward Component-Oriented Formal Software Development: An Algebraic Approach. In Revised Papers of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future (RISSEF'02), volume 2941 of Lecture Notes in Computer Science, pages 75--90, Venice, Italy, 2004. Springer.
BibTex | Web page | PS | PDF ]
[BHK03]
M. Bidoit, R. Hennicker, and A. Kurz. Observational Logic, Constructor-Based Logic, and their Duality. Theoretical Computer Science, 298(3):471--510, April 2003.
BibTex | Web page | PS ]
[ABK+02]
E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. D. Mosses, D. Sannella, and A. Tarlecki. CASL: The Common Algebraic Specification Language. Theoretical Computer Science, 286(2):153--196, September 2002.
BibTex | Web page | PS ]
[BST02b]
M. Bidoit, D. Sannella, and A. Tarlecki. Global Development via Local Observational Construction Steps. In Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science (MFCS'02), volume 2420 of Lecture Notes in Computer Science, pages 1--24, Warsaw, Poland, August 2002. Springer. Invited paper.
BibTex | Web page | PS ]
[BST02a]
M. Bidoit, D. Sannella, and A. Tarlecki. Architectural Specifications in CASL. Formal Aspects of Computing, 13(3-5):252--273, July 2002.
doi: 10.1007/s001650200012.
BibTex | DOI | Web page | PS ]
[BH02]
M. Bidoit and R. Hennicker. On the Integration of Observability and Reachability Concepts. In Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'02), volume 2303 of Lecture Notes in Computer Science, pages 21--36, Grenoble, France, April 2002. Springer.
BibTex | Web page | PS ]
[HHB02]
R. Hennicker, H. Hußmann, and M. Bidoit. On the Precise Meaning of OCL Constraints. In Object Modeling with the OCL --- The Rationale behind the Object Constraint Language, volume 2263 of Lecture Notes in Computer Science, pages 69--84. Springer, 2002.
BibTex | Web page | PS ]
[BB01]
M. Bidoit and A. Boisseau. Algebraic Abstractions. In Recent Trends in Algebraic Development Techniques --- Selected Papers of the 15th International Workshop on Algebraic Development Techniques (WADT'01), volume 2267 of Lecture Notes in Computer Science, pages 21--47, Genova, Italy, April 2001. Springer.
BibTex | Web page | PS ]
[BM01]
M. Bidoit and P. D. Mosses. A Gentle Introduction to CASL v1.0.1. Invited tutorial, CoFI Workshop at the 4th European Joint Conferences on Theory and Practice of Software (ETAPS 2001), Genova, Italy, April 2001.
BibTex | Web page ]
[BHK01]
M. Bidoit, R. Hennicker, and A. Kurz. On the Duality between Observability and Reachability. In Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'01), volume 2030 of Lecture Notes in Computer Science, pages 72--87, Genova, Italy, April 2001. Springer.
BibTex | Web page | PS ]
[BBF+01]
B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.
BibTex | Web page ]
[BHTW99]
M. Bidoit, R. Hennicker, F. Tort, and M. Wirsing. Correct Realization of Interface Constraints with OCL. In Proceedings of the 2nd International Conference on the Unified Modeling Language (UML'99), volume 1723 of Lecture Notes in Computer Science, pages 399--415, Fort Collins, Colorado, USA, October 1999. Springer.
BibTex | Web page | PS ]
[BH99]
M. Bidoit and R. Hennicker. Observer Complete Definitions are Behaviourally Coherent. In Proceedings of the OBJ/CafeOBJ/Maude Workshop at Formal Methods (FM'99), pages 83--94, Toulouse, France, September 1999. Theta, Bucharest, Romania.
BibTex | Web page | PS ]
[SBB+99]
Ph. Schnoebelen, B. Bérard, M. Bidoit, F. Laroussinie, and A. Petit. Vérification de logiciels : techniques et outils du model-checking. Vuibert, April 1999.
BibTex | Web page ]
[BST99]
M. Bidoit, D. Sannella, and A. Tarlecki. Architectural Specifications in CASL. In Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of Lecture Notes in Computer Science, pages 341--357, Amazonia, Brasil, January 1999. Springer.
BibTex | Web page | PS | PDF ]
[HB99]
R. Hennicker and M. Bidoit. Observational Logic. In Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of Lecture Notes in Computer Science, pages 263--277, Amazonia, Brasil, January 1999. Springer.
BibTex | Web page | PS ]
[BCH99]
M. Bidoit, M. V. Cengarle, and R. Hennicker. Proof systems for structured specifications and their refinements. In Algebraic Foundations of Systems Specification, chapter 11, pages 385--433. Springer, 1999.
BibTex | Web page | PS ]
[BH98]
M. Bidoit and R. Hennicker. Modular Correctness Proofs of Behavioural Implementations. Acta Informatica, 35(11):951--1005, November 1998.
doi: 10.1007/s002360050149.
BibTex | DOI ]
[BBP98]
B. Bérard, M. Bidoit, and A. Petit. Recommandations sur le cahier des charges SRC. Contract report, EDF/DER/MOS - LSV, 1998.
BibTex ]
[BB97]
B. Bérard and M. Bidoit. Contribution du LSV à l'opération 2 << Étude de cas SRIC >>. Contract report, Action FORMA, October 1997. 29 pages.
BibTex ]
[BPR97]
M. Bidoit, Ch. Pellen, and J. Ryckbosch. Plan de Défense --- Formalisation du cahier des charges du Point Central à l'aide de spécifications algébriques. In Application des techniques formelles au logiciel, ARAGO 20, chapter 7, pages 123--132. Observatoire Français des Techniques Avancées, June 1997.
BibTex ]
[HWB97]
R. Hennicker, M. Wirsing, and M. Bidoit. Proof Systems for Structured Specifications with Observability Operators. Theoretical Computer Science, 173(2):393--443, February 1997.
BibTex ]
[BCPR96]
M. Bidoit, C. Chevenier, Ch. Pellen, and J. Ryckbosch. An Algebraic Specification of the Steam-Boiler Control System. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 79--108. Springer, October 1996.
BibTex | Web page | PS ]
[BH96]
M. Bidoit and R. Hennicker. Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science, 165(1):3--55, September 1996.
BibTex | Web page | PS ]
[BT96]
M. Bidoit and A. Tarlecki. Behavioural Satisfaction and Equivalence in Concrete Model Categories. In Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (CAAP'96), volume 1059 of Lecture Notes in Computer Science, pages 241--256, Linköping, Sweden, April 1996. Springer.
BibTex | Web page | PS ]
[VB96]
F. Voisin and M. Bidoit. Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. In Recent Trends in Data Type Specification --- Selected Papers of the 11th Workshop on Specification of Abstract Data Types (ADT'95), joint with the 8th COMPASS Workshop, volume 1130 of Lecture Notes in Computer Science, pages 503--521, Oslo, Norway, 1996. Springer.
BibTex | Web page | PS ]
[BCV96]
M. Bidoit, Ch. Choppy, and F. Voisin. Interchange Format for Inter-Operability of Tools and Translation, The SALSA and ASSPEGIQUE^+/LP Experience. In Recent Trends in Data Type Specification --- Selected Papers of the 11th Workshop on Specification of Abstract Data Types (ADT'95), joint with the 8th COMPASS Workshop, volume 1130 of Lecture Notes in Computer Science, pages 102--124, Oslo, Norway, 1996. Springer.
BibTex | Web page | PS ]
[BHW95]
M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25(2-3):149--186, December 1995.
BibTex ]
[BH95b]
M. Bidoit and R. Hennicker. Proving the Correctness of Behavioural Implementations. In Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST'95), volume 936 of Lecture Notes in Computer Science, pages 152--168, Montreal, Canada, July 1995. Springer.
BibTex ]
[BT95]
M. Bidoit and A. Tarlecki. Regular Algebras: A Framework for Observational Specifications with Recursive Definitions. Report LIENS-95-12, École Normale Supérieure, Paris, France, May 1995.
BibTex ]
[BBK95]
G. Bernot, M. Bidoit, and T. Knapik. Observational Specifications and the Indistinguishability Assumption. Theoretical Computer Science, 139(1-2):275--314, March 1995.
BibTex ]
[BH95a]
M. Bidoit and R. Hennicker. Behavioural Theories. In Recent Trends in Data Type Specification --- Selected Papers of the 10th Workshop on Specification of Abstract Data Types (ADT'94), joint with the 5th COMPASS Workshop, volume 906 of Lecture Notes in Computer Science, pages 153--169, Santa Margherita, Italy, 1995. Springer.
BibTex | Web page | PS ]
[BBK94]
G. Bernot, M. Bidoit, and T. Knapik. Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Informatica, 31(7):651--671, October 1994.
BibTex ]
[BH94]
M. Bidoit and R. Hennicker. Proving Behavioural Theorems with Standard First-Order Logic. In Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), volume 850 of Lecture Notes in Computer Science, pages 41--58, Madrid, Spain, September 1994. Springer.
BibTex ]
[BHW94]
M. Bidoit, R. Hennicker, and M. Wirsing. Characterizing Behavioural Semantics and Abstractor Semantics. In Proceedings of the 5th European Symposium on Programming (ESOP'94), volume 788 of Lecture Notes in Computer Science, pages 105--119, Edinburgh, Scotland, UK, April 1994. Springer.
BibTex ]
[BH93a]
M. Bidoit and R. Hennicker. A General Framework for Modular Implementations of Modular Systems. In Proceedings of the 5th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'93), volume 668 of Lecture Notes in Computer Science, pages 199--214, Orsay, France, April 1993. Springer.
BibTex ]
[BH93b]
M. Bidoit and R. Hennicker. How to Prove Observational Theorems with LP. In Proceedings of the 1st International Workshop on Larch, Workshops in Computing, pages 18--35, Dedham, Massachusetts, USA, 1993. Springer-Verlag.
BibTex ]
[CB93]
Ch. Choppy and M. Bidoit. Integrating ASSPEGIQUE and LP. In Proceedings of the 1st International Workshop on Larch, Workshops in Computing, pages 69--85, Dedham, Massachusetts, USA, 1993. Springer-Verlag.
BibTex ]
[BBK92]
G. Bernot, M. Bidoit, and T. Knapik. Towards an Adequate Notion of Observation. In Proceedings of the 4th European Symposium on Programming (ESOP'92), volume 582 of Lecture Notes in Computer Science, pages 39--55, Rennes, France, February 1992. Springer.
BibTex ]
[BB92]
G. Bernot and M. Bidoit. Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. In Proceedings of the 2nd International Conference on Algebraic Methodology and Software Technology (AMAST'91), Workshops in Computing, pages 216--242, Iowa City, Iowa, USA, 1992. Springer-Verlag. Invited paper.
BibTex ]
[Bid92]
M. Bidoit. Development of Modular Specifications by Stepwise Refinements Using the PLUSS Specification Language. In Proceedings of the IMA Conference on the Unified Computation Laboratory, pages 171--192, Stirling, Scotland, UK, 1992. Oxford University Press. Invited paper.
BibTex ]

This file was generated by bibtex2html 1.98.

About LSV