The paper Runtime Enforcement of Regular Timed Properties is accepted to the ACM Symposium on Applied Computing, Software Verification and Testing Track, Gyeongju, Korea, March 24 – 28, 2014. Runtime enforcement is a verification/validation technique aiming at correcting (possibly incorrect) executions of a system of interest. In this paper, we consider enforcement monitoring for systems with timing specifications (modeled […]
News
1st Intl. Competition of Software for Runtime Verification
CSRV-2014 is the 1st International Software Runtime Verification Competition as a part of the 14th International Conference on Runtime Verification. The event will be held in September 2014, in Toronto, Canada. CSRV-2014 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated […]
Fault Localization in Embedded Software based on a Single Cyclic Trace
The paper Fault Localization in Embedded Software based on a Single Cyclic Trace has been accepted to ISSRE 2013, the 24th IEEE International Symposium on Software Reliability Engineering, Pasadena, CA. Locating faults in embedded software, especially in microcontroller context, is still difficult. Quite recently, it became possible to recover execution traces from microcontrollers using specific hardware probes. However, […]
Runtime Enforcement of K-step Opacity
The paper Runtime Enforcement of K-step Opacity has been accepted to CDC, 52nd IEEE Conference on Decision and Control that will be held Tuesday through Friday, December 10-13, 2013 at Palazzo dei Congressi, Florence, Italy. We study the enforcement of K-step opacity at runtime. In K-step opacity, the knowledge of the secret is of interest to the attacker within K […]
Open Ph.D. fellowship at Grenoble University, FRANCE
Grenoble University recruits motivated candidates for a Ph.D. fellowship. The position is for 3 year starting in September or October 2013. The (net) salary is approximately 1600 Euros per month, medical insurance included. – = = – Context – = = – The purpose of the Ph.D. is to develop new monitoring techniques for component-based […]
Summer School on Cyber-Physical Systems: poster
We are happy to release the poster of the CPS Summer School. Please feel free to broadcast. The pdf of the high-resolution version can be downloaded here.
Summer School on Cyber-Physical Systems
Summer School on Cyber-Physical Systems July 8-12, 2013 Grenoble, France EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summer School. The CPS Summer School will explore the manifold relationship between networked embedded systems and humans as their creators, users, and subjects. The format of the Summer School will be a five days […]
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.