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

In the Programme Committee of TASE 2019

October 7, 2018December 3, 2018 Ylies conferences, Event, Research

I have been invited to be a member of the Programme Committee of TASE 2019, the 13th International Symposium on Theoretical Aspects of Software Engineering
which will be held on July 29-31, 2019 in Guilin, China.

Tweet

Post navigation

Tracing Distributed Component-Based Systems, a Brief Overview
(Invited Lecture at) TAROT 2019

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.
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.
Special issue in Formal Methods in System Design on Runtime Verification.
Paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation accepted in TOSEM.
Yliès Falcone professional Website using Theme by Colorlib Powered by WordPress