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

(Invited Lecture at) TAROT 2019

November 3, 2018December 3, 2018 Ylies conferences, Event, Research, Teaching

I am glad to have been invited to lecture at TAROT 2019, the 15th TAROT Summer School 2019 on Software Testing, Verification & Validation which will be held in Clermont-Ferrand, France, in July 1-5th, 2019.

Many thanks to the Organizing Committee!

Tweet

Post navigation

In the Programme Committee of TASE 2019
Defense of Antoine El-Hokayem Ph.D. thesis

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