Publications (selection)


Books

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.