Skip to main content

Yliès Falcone, Ph.D.

Associate Professor at University Grenoble Alpes

  • News
  • Publications
    • Selected Publications
    • Full list of publications
  • Research
    • Research Interests
    • Students
    • Collaborators & Colleagues
  • Teaching
    • To students
    • Languages and Automata
    • Programming Languages and Compiler Design
    • Previous Teaching Activities
  • Service & Responsibilities
    • 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

Contact Information

Emails:

ylies (dot) falcone (at) univ-grenoble-alpes.fr

ylies (dot) falcone (at) inria.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

Paper A Taxonomy for Classifying Runtime Verification Tools accepted in RV 2018.
New tutorial book with Springer on Runtime Verification, introductory and advanced topics.
Paper Modularizing behavioral and architectural crosscutting concerns in formal component-based systems accepted in JLAMP.
The RV 2018 conference and RV-theTOP workshop affiliated with IsoLA 2018 in Cyprus.
Special issue in Formal Methods in System Design on Runtime Verification.
Chairing the DATE Track E3 on Model-Based Design, Verification and Security for Embedded Systems.
Yliès Falcone professional Website using Theme by Colorlib Powered by WordPress