| 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 | 1102 | 2013 |
| 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 | 290 | 2002 |
| CASL User Manual: Introduction to Using the Common Algebraic Specification Language M Bidoit, PD Mosses Springer, 2003 | 281* | 2003 |
| Vérification de logiciels B Berard, M Bidoit, F Laroussinie, G Cécé, C Dufourd, P Schnoebelen Vuibert, 1999 | 146 | 1999 |
| 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 | 136 | 1983 |
| Behavioural and abstractor specifications M Bidoit, R Hennicker, M Wirsing Science of Computer Programming 25 (2-3), 149-186, 1995 | 131 | 1995 |
| Behavioural theories and the proof of behavioural properties M Bidoit, R Hennicker Theoretical Computer Science 165 (1), 3-55, 1996 | 114 | 1996 |
| Observational logic R Hennicker, M Bidoit International Conference on Algebraic Methodology and Software Technology …, 1999 | 111 | 1999 |
| 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 | 98 | 1991 |
| Pluss, un langage pour le développement de spécifications algébriques modulaires M Bidoit Paris 11, 1989 | 77 | 1989 |
| Proving the correctness of algebraically specified software: modularity and observability issues G Bernot, M Bidoit Ecole Normale Supérieure (Paris). Laboratoire d'Informatique, 1991 | 59 | 1991 |
| Architectural specifications in Casl M Bidoit, D Sannella, A Tarlecki International Conference on Algebraic Methodology and Software Technology …, 1999 | 54 | 1999 |
| Architectural specifications in Casl M Bidoit, D Sannella, A Tarlecki Formal Aspects of Computing 13 (3), 252-273, 2002 | 50 | 2002 |
| Proof systems for structured specifications with observability operators R Hennicker, M Wirsing, M Bidoit Theoretical Computer Science 173 (2), 393-443, 1997 | 50 | 1997 |
| ASSPEGIQUE: an integrated environment for algebraic specifications M Bidoit, C Choppy International Joint Conference on Theory and Practice of Software …, 1985 | 50 | 1985 |
| Observer complete definitions are behaviourally coherent M Bidoit, R Hennicker OBJ/CafeOBJ/Maude at Formal Methods 99, 83-94, 1999 | 49 | 1999 |
| 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 | 49 | 1986 |
| The stratified loose approach: A generalization of initial and loose semantics M Bidoit Workshop on the Specification of Abstract Data Types, 1-22, 1987 | 48 | 1987 |
| Constructor-based observational logic M Bidoit, R Hennicker The Journal of Logic and Algebraic Programming 67 (1-2), 3-51, 2006 | 47 | 2006 |
| 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 | 47 | 1989 |
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
