Efficient and Generalized Decentralized Monitoring of Regular Languages

The paper Efficient and Generalized Decentralized Monitoring of Regular Languages has been accepted to FORTE’14, the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 3-6, 2014, Berlin, Germany. Below is the abstract of the paper. This paper proposes an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of […]

Read More

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 […]

Read More

Runtime Enforcement of Regular Timed Properties

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 […]

Read More