Olivier Maffeïs

According to our database, Olivier Maffeïs authored at least 5 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

The Synchronous Approach to Designing Reactive Systems.

Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde

Formal Methods Syst. Des., 1998

1995

Systematic testing and formal verification to validate reactive programs.

Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley

Softw. Qual. J., 1995

1994

From SIGNAL to fine-grain parallel implementations.

Olivier Maffeïs, Paul Le Guernic

Proceedings of the Parallel Architectures and Compilation Techniques, 1994

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.

Olivier Maffeïs, Paul Le Guernic

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Combining Dependability with Architectural Adatability by Means of the SIGNAL Language.

Olivier Maffeïs, Paul Le Guernic

Proceedings of the Static Analysis, Third International Workshop, 1993