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 […]
Category: conferences
Monitoring Electronic Exams
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 […]
@ RV 2014 this week
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 […]
7th NASA Formal Methods Symposium
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 […]
CPS 2014 starts
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.
@ SAC’14 this week
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.
Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014
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 […]
ETAPS 2014: information on the venue
We have prepared a preliminary document with information on ETAPS 2014 venues. The document can be downloaded here.
ETAPS 2014: booklet version 1
We are happy to release the first version of ETAPS 2014 booklet! A new version will follow in April with workshop information. ETAPS_booklet_v1
ETAPS 2014: poster version 1
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.