×

zbMATH — the first resource for mathematics

Bidoit, Michel

Compute Distance To:
Author ID: bidoit.michel Recent zbMATH articles by "Bidoit, Michel"
Published as: Bidoit, M.; Bidoit, Michel
External Links: MGP
Documents Indexed: 43 Publications since 1980, including 4 Books

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 256 times in 167 Documents Cited by Year
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Constructor-based observational logic. Zbl 1088.68112
Bidoit, Michel; Hennicker, Rolf
24
2006
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029
Bérard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, Ph.; McKenzie, P.
21
2001
CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. Zbl 1033.68025
Bidoit, Michel; Mosses, Peter D.
18
2004
Behavioural theories and the proof of behavioural properties. Zbl 0872.68167
Bidoit, Michel; Hennicker, Rolf
14
1996
Pour une rehabilitation de l’algorithme d’unification de Robinson. Zbl 0522.68043
Corbin, Jacques; Bidoit, Michel
12
1983
Observational logic, constructor-based logic, and their duality. Zbl 1038.68079
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
8
2003
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
On the integration of observability and reachability concepts. Zbl 1077.68709
Bidoit, Michel; Hennicker, Rolf
7
2002
Proof systems for structured specifications with observability operators. Zbl 0901.68116
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel
7
1997
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors. Zbl 0603.68015
Bernot, Gilles; Bidoit, Michel; Choppy, Christine
7
1986
Proving behavioural theorems with standard first-order logic. Zbl 0988.03525
Bidoit, M.; Hennicker, R.
6
1994
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Zbl 0678.68011
Bidoit, M.; Gaudel, M.-C.; Mauboussin, A.
6
1989
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
On the duality between observability and reachability. Zbl 0986.68018
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
5
2001
Algebraic system specification and development. A survey and annotated bibliography. Zbl 0875.68642
Bidoit, Michel (ed.); Kreowski, Hans-Jörg (ed.); Lescanne, Pierre (ed.); Sannella, Donald (ed.)
5
1991
Proof systems for structured specifications and their refinements. Zbl 0948.68118
Bidoit, Michel; Cengarle, María Victoria; Hennicker, Rolf
4
1999
Modular correctness proofs of behavioural implementations. Zbl 0910.68145
Bidoit, Michel; Hennicker, Rolf
4
1998
Abstract implementations and correctness proofs. Zbl 0585.68025
Bernot, Gilles; Bidoit, Michel; Choppy, Christine
4
1986
A modal interface theory with data constraints. Zbl 1325.68055
Bauer, Sebastian S.; Hennicker, Rolf; Bidoit, Michel
3
2011
Proving behavioral refinements of COL-specifications. Zbl 1132.68486
Bidoit, Michel; Hennicker, Rolf
3
2006
Behavioural approaches to algebraic specifications. A comparative study. Zbl 0818.68110
Bernot, Gilles; Bidoit, Michel; Knapik, Teodor
3
1994
Algebraic specification of exception handling and error recovery by means of declarations and equations. Zbl 0553.68013
Bidoit, Michel
3
1984
Exception handling: Formal specification and systematic program construction. Zbl 0547.68021
Bidoit, M.; Biebow, B.; Gaudel, M. C.; Gresse, C.; Guiho, G.
3
1984
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Observational specifications and the indistinguishability assumption. Zbl 0874.68194
Bernot, Gilles; Bidoit, Michel; Knapik, Teodor
2
1995
The ASSPEGIQUE specification environment. Motivations and design. Zbl 0584.68048
Bidoit, Michel; Choppy, Christine; Voisin, Frédéric
2
1985
Algebraic data types: Structured specifications and fair presentations. Zbl 0514.68025
Bidoit, Michel
2
1982
Compatibility properties of synchronously and asynchronously communicating components. Zbl 06825411
Hennicker, Rolf; Bidoit, Michel
1
2018
An algebraic semantics for contract-based software components. Zbl 1170.68427
Bidoit, Michel; Hennicker, Rolf
1
2008
Externalized and internalized notions of behavioral refinement. Zbl 1169.68525
Bidoit, Michel; Hennicker, Rolf
1
2005
Algebraic abstractions. Zbl 1043.68067
Bidoit, Michel; Boisseau, Alexandre
1
2001
The stratified loose approach: A generalization of initial and loose semantics. Zbl 0659.68019
Bidoit, Michel
1
1988
Algebraic semantics of exception handling. Zbl 0587.68017
Bernot, Gilles; Bidoit, Michel; Choppy, Christine
1
1986
Compatibility properties of synchronously and asynchronously communicating components. Zbl 06825411
Hennicker, Rolf; Bidoit, Michel
1
2018
A modal interface theory with data constraints. Zbl 1325.68055
Bauer, Sebastian S.; Hennicker, Rolf; Bidoit, Michel
3
2011
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
An algebraic semantics for contract-based software components. Zbl 1170.68427
Bidoit, Michel; Hennicker, Rolf
1
2008
Constructor-based observational logic. Zbl 1088.68112
Bidoit, Michel; Hennicker, Rolf
24
2006
Proving behavioral refinements of COL-specifications. Zbl 1132.68486
Bidoit, Michel; Hennicker, Rolf
3
2006
Externalized and internalized notions of behavioral refinement. Zbl 1169.68525
Bidoit, Michel; Hennicker, Rolf
1
2005
CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. Zbl 1033.68025
Bidoit, Michel; Mosses, Peter D.
18
2004
Observational logic, constructor-based logic, and their duality. Zbl 1038.68079
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
8
2003
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
On the integration of observability and reachability concepts. Zbl 1077.68709
Bidoit, Michel; Hennicker, Rolf
7
2002
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029
Bérard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, Ph.; McKenzie, P.
21
2001
On the duality between observability and reachability. Zbl 0986.68018
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
5
2001
Algebraic abstractions. Zbl 1043.68067
Bidoit, Michel; Boisseau, Alexandre
1
2001
Proof systems for structured specifications and their refinements. Zbl 0948.68118
Bidoit, Michel; Cengarle, María Victoria; Hennicker, Rolf
4
1999
Modular correctness proofs of behavioural implementations. Zbl 0910.68145
Bidoit, Michel; Hennicker, Rolf
4
1998
Proof systems for structured specifications with observability operators. Zbl 0901.68116
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel
7
1997
Behavioural theories and the proof of behavioural properties. Zbl 0872.68167
Bidoit, Michel; Hennicker, Rolf
14
1996
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
Observational specifications and the indistinguishability assumption. Zbl 0874.68194
Bernot, Gilles; Bidoit, Michel; Knapik, Teodor
2
1995
Proving behavioural theorems with standard first-order logic. Zbl 0988.03525
Bidoit, M.; Hennicker, R.
6
1994
Behavioural approaches to algebraic specifications. A comparative study. Zbl 0818.68110
Bernot, Gilles; Bidoit, Michel; Knapik, Teodor
3
1994
Algebraic system specification and development. A survey and annotated bibliography. Zbl 0875.68642
Bidoit, Michel (ed.); Kreowski, Hans-Jörg (ed.); Lescanne, Pierre (ed.); Sannella, Donald (ed.)
5
1991
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Zbl 0678.68011
Bidoit, M.; Gaudel, M.-C.; Mauboussin, A.
6
1989
The stratified loose approach: A generalization of initial and loose semantics. Zbl 0659.68019
Bidoit, Michel
1
1988
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors. Zbl 0603.68015
Bernot, Gilles; Bidoit, Michel; Choppy, Christine
7
1986
Abstract implementations and correctness proofs. Zbl 0585.68025
Bernot, Gilles; Bidoit, Michel; Choppy, Christine
4
1986
Algebraic semantics of exception handling. Zbl 0587.68017
Bernot, Gilles; Bidoit, Michel; Choppy, Christine
1
1986
The ASSPEGIQUE specification environment. Motivations and design. Zbl 0584.68048
Bidoit, Michel; Choppy, Christine; Voisin, Frédéric
2
1985
Algebraic specification of exception handling and error recovery by means of declarations and equations. Zbl 0553.68013
Bidoit, Michel
3
1984
Exception handling: Formal specification and systematic program construction. Zbl 0547.68021
Bidoit, M.; Biebow, B.; Gaudel, M. C.; Gresse, C.; Guiho, G.
3
1984
Pour une rehabilitation de l’algorithme d’unification de Robinson. Zbl 0522.68043
Corbin, Jacques; Bidoit, Michel
12
1983
Algebraic data types: Structured specifications and fair presentations. Zbl 0514.68025
Bidoit, Michel
2
1982
all top 5

Cited by 220 Authors

15 Diaconescu, Răzvan
15 Hennicker, Rolf
12 Mossakowski, Till
10 Sannella, Donald T.
10 Tarlecki, Andrzej
9 Martins, Manuel António
8 Bidoit, Michel
8 Madeira, Alexandre
6 Gaĭnă, Daniel
5 Barbosa, Luís Soares
5 Meseguer Guaita, José
5 Mosses, Peter D.
5 Roşu, Grigore
5 Schröder, Lutz
5 Wirsing, Martin
4 Bauer, Sebastian S.
4 Futatsugi, Kokichi
4 Ogata, Kazuhiro
4 Roggenbach, Markus
3 Aiguier, Marc
3 Bernot, Gilles
3 Choppy, Christine
3 Codescu, Mihai
3 Kaplan, Stéphane
3 Krieg-Brückner, Bernd
3 Laroussinie, François
3 Lucanu, Dorel
3 Oriat, C.
2 Autexier, Serge
2 Brickenstein, Michael
2 Demri, Stéphane P.
2 Dreyer, Alexander
2 Kirchner, Hélène
2 Kurz, Alexander
2 Kutz, Oliver
2 Le Gall, Pascale
2 Martins Moreira, Anamaria
2 Padawitz, Peter
2 Petria, Marius
2 Rabe, Florian
2 Rusinowitch, Michaël
2 Rutten, Jan J. M. M.
2 Sojakova, Kristina
1 Aceto, Luca
1 Alonso, José-Antonio
1 Amadio, Roberto M.
1 Arkoudas, Konstantine
1 Arnould, Agnès
1 Astesiano, Egidio
1 Babenyshev, Sergey
1 Bakhshi, Rena
1 Ballester-Bolinches, Adolfo
1 Barbanera, Franco
1 Beauquier, Danièle
1 Bérard, Béatrice
1 Bergstra, Jan A.
1 Berthomieu, Bernard
1 Boin, Clément
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Borzyszkowski, Tomasz
1 Boudet, Alexandre
1 Boudriga, Noureddine A.
1 Bouhoula, Adel
1 Bouyer, Patricia
1 Bringsjord, Selmer
1 Caleiro, Carlos
1 Cerone, Antonio
1 Clarke, Edmund Melson jun.
1 Confalonieri, Roberto
1 Cosme-Llópez, Enric
1 De Nicola, Rocco
1 Déharbe, David
1 de’Liguoro, Ugo
1 Deters, Morgan
1 Domínguez, César
1 Dufourd, Jean-François
1 Durán, Francisco
1 Durieux, Jean-Louis
1 Ehrich, Hans-Dieter
1 Endrullis, Jörg
1 Enea, Constantin
1 Escalada-Imaz, Gonzalo
1 Ferreirim, Isabel M. A.
1 Gaudel, Marie-Claude
1 Gavryushkin, Alex
1 George, Chris W.
1 George, Laurent
1 Ghallab, Malik
1 Ghomsi Nokam, Sidoine
1 Goguen, Joseph Amadee
1 Gonçalves, Ricardo
1 Greuel, Gert-Martin
1 Habel, Annegret
1 Hansen, Helle Hvid
1 Hanus, Michael
1 Hanzálek, Zdeněk
1 Hasan, Osman
1 Hausmann, Daniel
1 Haxthausen, Anne Elisabeth
...and 120 more Authors

Citations by Year