Olivier Maffeïs

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
The Synchronous Approach to Designing Reactive Systems.
Formal Methods Syst. Des., 1998

1995
Systematic testing and formal verification to validate reactive programs.
Softw. Qual. J., 1995

1994
From SIGNAL to fine-grain parallel implementations.
Proceedings of the Parallel Architectures and Compilation Techniques, 1994

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.
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.
Proceedings of the Static Analysis, Third International Workshop, 1993


  Loading...