Concepedia

Olivier Maffeïs

OM

Statistics

Publications

3

Citations

63

H-Index

3

Active since

1994

Affiliations

Gesellschaft Fur Mathematik Und Datenverarbeitung(Current)

Olivier Maffeïs is an author at Gesellschaft Fur Mathematik Und Datenverarbeitung specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

1994–1998

3

Publications

3

The Synchronous Approach to Designing Reactive Systems

Axel Poigné, Matthew Morley, Olivier Maffeïs et al. · Formal Methods in System Design · 1998 · 29 citations

Systematic testing and formal verification to validate reactive programs

Monika M�llerburg, Leszek Holenderski, Olivier Maffeïs et al. · Software Quality Journal · 1995 · 22 citations

, , +10

For a New Real-Time Methodology

Thierry Gautier, Paul Le Guernic, Olivier Maffeïs · OpenGrey (Institut de l'Information Scientifique et Technique) · 1994 · 12 citations · Full text

1–3 of 3