Publicity chair of SPIN 2017

I will be the publicity chair of SPIN 2017, the 24th International Symposium on Model Checking of Software; this year collocated with ISSTA.

Checkout the SPIN 2017 Website at

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.

Parution de notre livre introductif sur le thème des automates à états finis et des langages réguliers.

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.

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

Deprecated: Directive 'allow_url_include' is deprecated in Unknown on line 0