Publications
Search

Publications :: Search

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.