Olivier Maffeïs

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde
The Synchronous Approach to Designing Reactive Systems. Formal Methods Syst. Des. 12 (2) (1998)
Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley
Systematic testing and formal verification to validate reactive programs. Softw. Qual. J. 4 (4) (1995)
Olivier Maffeïs, Paul Le Guernic
From SIGNAL to fine-grain parallel implementations. IFIP PACT (1994)
Olivier Maffeïs, Paul Le Guernic
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. FTRTFT (1994)
Olivier Maffeïs, Paul Le Guernic
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. WSA (1993)