Skip to main content

Yliès Falcone, PhD

  • News
  • Publications
    • Selected Publications
    • Full list of publications
  • Research
    • Research Interests
    • Students
    • Collaborators & Colleagues
  • Soft
  • Teaching
    • To students
    • Languages and Automata
    • Programming Languages and Compiler Design
    • Previous Teaching Activities
  • Service
    • Administration-oriented Service
    • Teaching-oriented Service
    • Research-oriented Service
  • Bio

Service

  • Research-oriented service and responsibilities.
  • Teaching-oriented service and responsibilities.
  • Administration-oriented service and responsibilities.
Tweet

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

Paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation accepted in TOSEM.
Chairing the DATE 2020 Topic E3 on Model-Based Design, Verification and Security for Embedded Systems.
New tutorial book with Springer on Runtime Verification, introductory and advanced topics.
Paper A Taxonomy for Classifying Runtime Verification Tools accepted in RV 2018.
Special issue in Formal Methods in System Design on Runtime Verification.
Yliès Falcone professional Website using Theme by Colorlib Powered by WordPress