Parution de notre livre introductif sur le thème des automates à états finis et des langages réguliers. Cet ouvrage est centré exercices, c’est-à-dire qu’il comporte, par chapitre, un rappel nécessaire des concepts utilisés dans les exercices ; une série d’exercices classés par difficulté ; une proposition de corrigé pour chacun des exercices. Un résumé du […]
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!
We are happy to announce our Springer LNCS tutorial book, Lectures on Runtime Verification – introductory and advanced topics, co-edited by Ezio Bartocci and myself. The book is available on Springer Website. The book contains introductory and advanced lectures on Runtime Verification authored by members of the COST Action IC 1402, ArVi, Runtime Verification beyond […]
Tomorrow, I wil start a 2-week series of lectures at CETIC (the African Center of Excellence in computer science), Yaounde, Cameroon. The subjects of the lecture are the semantics of programming languages and the design of compilers. It is based on the lecture given at Univ. Grenoble Alpes in the international master, but more practice […]
The CPS 2014 summer school starts this week with a very exciting program. All details can be found at: https://persyval-lab.org/en/summer-school/cps14 The CPS summer-school is organized by Université Joseph Fourier, Persyval-Lab, and NASA JPL. We gratefully thank Laboratoire d’Informatique de Grenoble for its valuable support.
PERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems (« the internet of things ») and humans as their creators, users, and subjects. The format of the Summer School is a five days meeting, organized around different aspects of rigorous engineering […]