Concepedia

Michel Bidoit

MB

17

Publications

737

Citations

14

H-Index

1983

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Ludwig-Maximilians-Universität München

École Normale Supérieure - PSL

Laboratoire Spécification et Vérification

Université Paris-Sud

Michel Bidoit is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSoftware AnalysisFormal SpecificationProgram AnalysisVerificationSoftware Design

Publications per year

1983–2008

17

Publications

17

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Specification Language, Formal Specification, Engineering +8

Behavioural and abstractor specifications

Michel Bidoit, Rolf Hennicker, Martin Wirsing · Science of Computer Programming · 1995 · 80 citations

Formal Specification, Engineering, Operational Semantics +6

A Rehabilitation of Robinson's Unification Algorithm.

Jacques Corbin, Michel Bidoit · IFIP Congress · 1983 · 78 citations

Computational Logic, Engineering, Automated Reasoning +5

Behavioural theories and the proof of behavioural properties

Michel Bidoit, Rolf Hennicker · Theoretical Computer Science · 1996 · 65 citations

Behavioral Sciences, Behaviorism, Social Behavior +3

How to make algebraic specifications more understandable: An experiment with the pluss specification language

Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin · Science of Computer Programming · 1989 · 37 citations

Specification Language, Formal Specification, Engineering +13

Rows per page

1–5 of 17