I am happy to announce RV 2016 which I will be PC chairing with César Sanchez (IMDEA Madrid, Spain). This year, RV will be supported by a strong program committee and will take place in a wonderful venue. RV will feature 3 keynote talks from world-class researchers, a summer school on Runtime Verification, a competition […]
The paper Monitoring Electronic Exams has been accepted for publication in the proceedings of RV 2015, the 15th international conference on Runtime Verification. Here is the abstract of the paper: Universities and other educational organizations are adopting com- puter-based assessment tools (herein called e-exams) to reach larger and ubiquitous audiences. While this makes examination tests more […]
This week I am attending RV 2014, the 14th International Conference on Runtime Verification, September 22 – September 25, 2014 Toronto, Canada. In addition to enjoying the nice talks from the RV community, I will present the current status of CSRV 2014, the first international Competition on Software for Runtime Verification that I am co-chairing with […]
NFM 2015 April 27-29, 2015, Pasadena, California, USA Submission deadline: November 10, 2014 The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals […]
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.
This week I am attending SAC 2014, the 29th Symposium On Applied Computing, Gyeongju, Korea. I am also presenting our work with Inria Rennes on Runtime Enforcement of Regular Timed Properties. edit: Here are the slides I have presented.
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 […]
We are happy to release the first version of ETAPS 2014 poster. A new version will follow in April with workshop information. Please feel free to broadcast. The pdf of the high-resolution version can be downloaded: here.