Michel Bidoit
Michel Bidoit
LSV, CNRS & ENS Cachan, France
E-mail megerősítve itt: lsv.ens-cachan.fr
Cím
Hivatkozott rá
Hivatkozott rá
Év
Systems and software verification: model-checking techniques and tools
B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ...
Springer Science & Business Media, 2013
10812013
CASL: the common algebraic specification language
E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ...
Theoretical Computer Science 286 (2), 153-196, 2002
2862002
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
M Bidoit, PD Mosses
Springer, 2003
267*2003
Vérification de logiciels
B Berard, M Bidoit, F Laroussinie, G Cécé, C Dufourd, P Schnoebelen
Vuibert, 1999
1381999
A REHABILITATION OF ROBINSON UNIFICATION ALGORITHM
J Corbin, M Bidoit
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE 296 (5), 279-282, 1983
1371983
Behavioural and abstractor specifications
M Bidoit, R Hennicker, M Wirsing
Science of Computer Programming 25 (2-3), 149-186, 1995
1351995
Observational logic
R Hennicker, M Bidoit
International Conference on Algebraic Methodology and Software Technology …, 1999
1121999
Behavioural theories and the proof of behavioural properties
M Bidoit, R Hennicker
Theoretical Computer Science 165 (1), 3-55, 1996
1101996
Algebraic System Specification and Development: A Survey and Annotated Bibliography
M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella
Springer Science & Business Media, 1991
1001991
Pluss, un langage pour le développement de spécifications algébriques modulaires
M Bidoit
Paris 11, 1989
821989
Proving the correctness of algebraically specified software: modularity and observability issues
G Bernot, M Bidoit
Ecole Normale Supérieure (Paris). Laboratoire d'Informatique, 1991
581991
Architectural specifications in Casl
M Bidoit, D Sannella, A Tarlecki
International Conference on Algebraic Methodology and Software Technology …, 1999
531999
Proof systems for structured specifications with observability operators
R Hennicker, M Wirsing, M Bidoit
Theoretical Computer Science 173 (2), 393-443, 1997
501997
Architectural specifications in Casl
M Bidoit, D Sannella, A Tarlecki
Formal Aspects of Computing 13 (3-5), 252-273, 2002
492002
Observer complete definitions are behaviourally coherent
M Bidoit, R Hennicker
OBJ/CafeOBJ/Maude at Formal Methods 99, 83-94, 1999
491999
ASSPEGIQUE: an integrated environment for algebraic specifications
M Bidoit, C Choppy
International Joint Conference on Theory and Practice of Software …, 1985
481985
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
M Bidoit, MC Gaudel, A Mauboussin
Science of Computer Programming 12 (1), 1-38, 1989
471989
The stratified loose approach: A generalization of initial and loose semantics
M Bidoit
Workshop on the Specification of Abstract Data Types, 1-22, 1987
471987
Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors
G Bernot, M Bidoit, C Choppy
Theoretical Computer Science 46, 13-45, 1986
471986
Observational logic, constructor-based logic, and their duality
M Bidoit, R Hennicker, A Kurz
Theoretical Computer Science 298 (3), 471-510, 2003
462003
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20