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

Highlights

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.
Paper Modularizing behavioral and architectural crosscutting concerns in formal component-based systems accepted in JLAMP.
Special issue in Formal Methods in System Design on Runtime Verification.
Yliès Falcone professional Website using Theme by Colorlib Powered by WordPress