Yliès Falcone, Ph.D.

Associate Professor at University of Grenoble I (UJF) – Researcher at LIG

Research

Posted by Ylies at 8:56 AM

Sorry, the comment form is closed at this time.

ETAPS 2014 @ Grenoble, 5-13 April 2014
ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France – ABOUT ETAPS – The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event [...]
RV 2013: Fourth International Conference on Runtime Verification
RV’13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013. About Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional [...]

ETAPS 2014 European Joint Conferences on Theory And Practice of Software, April 5th – 13th, 2014 Grenoble, France
MSR 2013 Modélisation des Systèmes Réactifs, Inria Rennes – Bretagne Atlantique, France, from the 13 to the 15 of November 2013
RV 2013 Fourth International Conference on Runtime Verification, Rennes, France, 24-27 September 2013
SECTEST 2013 The Fourth International Workshop on Security Testing, Luxembourg, March 22, 2013

AFADL 12 Approches Formelles dans l’Assistance au Développement de Logiciels, Grenoble, France, 11-13 Janvier 2012
ASE'12 The 27th IEEE/ACM International Conference on Automated Software Engineering
Consortium Galatasaray Consortium d’appui à l’Université de Galatasaray
FM 2012 18th international symposium on Formal Methods, 27 – 31 August, Paris, France
HOWARD-60 Higher Workshop on Automatated Runtime Verification and Debugging – 20,21 December, Manchester, UK
ICFEM'2012 14th International Conference on Formal Engineering Methods, Kyoto, Japan
IsoLA'12: Runtime Verification, the Application Perspective 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 15-18 October 2012 – Amirandes, Heraclion, Crete
RV 2012 3rd International Conference on Runtime Verification – September 25 – 28, 2012 Istanbul, Turkey
SECTEST 2012 The Third International Workshop on Security Testing, Affiliated with ICST 2012, Montreal, Quebec, Canada, April 21, 2012
SEFM'11 International Conference on Software Engineering and Formal Methods – November 14-18, 2011 Montevideo, Uruguay