Publications (selection)


Introductory papers

Model-driven engineering

Architecture and OS modeling, Avionics applications

System design

Synchrony/Asynchrony, Distribution

Compilation techniques (Clock Calculus...), Transformation of programs (profiling...)

Formal Verification, Contracts

Architecture design, GALS

Plug-in of languages and formalisms into Signal/Polychrony

Controller Synthesis

Formal semantics

Some other applications

For other publications:

Copyright Notice: Files available from this page are generally preprints of published material. Permissions to reprint, republish, reuse any copyrighted component of this material must be obtained from the referenced Publishers.