Skip to main content

Yliès Falcone, Ph.D.

  • News
  • Publications
    • Selected Publications
    • Full list of publications
  • Research
    • Research Interests
    • Students
    • Collaborators & Colleagues
  • Soft
  • Teaching
    • To students
    • (in French) Automates à états finis et langages réguliers
    • Languages and Automata
    • Programming Languages and Compiler Design
    • Previous Teaching Activities
  • Service
    • Administration-oriented Service
    • Teaching-oriented Service
    • Research-oriented Service
  • Bio

CPS 2014 starts

July 7, 2014July 19, 2014 Ylies conferences, Event, Research, Teaching

The CPS 2014 summer school starts this week with a very exciting program.

All details can be found at:

https://persyval-lab.org/en/summer-school/cps14

The CPS summer-school is organized by Université Joseph Fourier, Persyval-Lab, and NASA JPL.

logoUJF                PERSYVAL-crop

We gratefully thank Laboratoire d’Informatique de Grenoble for its valuable support.

Logo LIG

Post navigation

Organising LTL Monitors over Distributed Systems with a Global Clock
7th NASA Formal Methods Symposium

Profiles

scholar
DBLP
OrcID

Contact Information

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

How to reach us

Highlights

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.
Univ. Grenoble Alpes Inria Grenoble LIG
Yliès Falcone professional Website using Theme by Colorlib Powered by WordPress

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