Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
Show author
On this page you see the details of the selected author.
Author information
First name:
Olivier
Last name:
Maffeïs
DBLP:
13/5263
Rating:
(not rated yet)
Bookmark:
Below you find the publications which have been written by this author.
Show item
1
to
4
of
4
Select a publication
Show
Title
Venue
Rating
Date
Axel Poigné
,
Matthew Morley
,
Olivier Maffeïs
,
Leszek Holenderski
,
Reinhard Budde
.
The Synchronous Approach to Designing Reactive Systems.
Formal Methods in System Design 1998, Volume 12
(0)
1998
Olivier Maffeïs
,
Paul Le Guernic
.
Distributed Implementation of SIGNAL: Scheduling Graph Clustering.
Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings 1994
(0)
1994
Olivier Maffeïs
,
Paul Le Guernic
.
From SIGNAL to fine-grain parallel implementations.
Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montréal, Canada, 24-26 August, 1994 1994
(0)
1994
Olivier Maffeïs
,
Paul Le Guernic
.
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language.
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings 1993
(0)
1993
Your query returned
4
matches in the database.