Formal Methods in Outer Space

Formal Method in Outer Space, the essays dedicated to Klaus Havelund’s 65th birthday are available in a dedicated book at Springer website.

Emails:

ylies(dot)falcone(at)univ-grenoble-alpes(dot)fr

ylies(dot)falcone(at)inria(dot)fr

Phone: +33 (0) 4 38 78 61 52

Surface mail:

Équipe CORSE – Antenne Inria Giant
Bat. 50C – Office C 344.
Minatec Campus
17 rue des Martyrs
38054 Grenoble Cedex, FRANCE

&amp;amp;amp;amp;lt;br /&amp;amp;amp;amp;gt;&amp;amp;amp;lt;br /&amp;amp;amp;gt;&amp;amp;lt;br /&amp;amp;gt;&amp;lt;br /&amp;gt;<br /><br />

Formal Methods in Outer Space - Essays dedicated to Klaus Havelund's 65th birthday.

Paper A Taxonomy for Classifying Runtime Verification Tools accepted in Software Tools for Technology Transfer

New tutorial book with Springer on Runtime Verification, introductory and advanced topics.

Special issue in Formal Methods in System Design on Runtime Verification.

Paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation accepted in TOSEM.

Yliès Falcone professional Website using Theme by Colorlib Powered by WordPress