The paper Organising LTL Monitors over Distributed Systems with a Global Clock has been accepted in RV 2014: the 14th International Conference on Runtime Verification, September 22 – September 25, 2014 Toronto, Canada. Here is the abstract of the paper: Users wanting to monitor distributed systems often prefer to abstract away the architecture of the […]
News
Enforcement and Validation (at runtime) of Various Notions of Opacity
The paper Enforcement and Validation (at runtime) of Various Notions of Opacity has been accepted to Discrete Event Dynamic Systems, a Springer journal. This is an extended version of our paper that appeared in CDC 2013. One of the new contributions of this paper is to introduce what we call K-step strong opacity. The abstract of the paper […]
ETAPS in a week
ETAPS 14 starts in a week. The ETAPS14-booklet for participants can be downloaded on ETAPS website.
@ 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.
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 […]
@ HUST this week
This week I am visiting HUST – Hanoi University of Sciences and Technology (aka IPH – Institut Polytechnique de Hanoi) to work with Thanh Hung Nguyen.
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 […]
@ Inria Rennes this week
This week I am visiting Inria, Rennes-Bretagne Atlantique to work with Thierry Jéron, Hervé Marchand, and Srinivas Pinisetty from the SUMO team.
@ LaBRI this week
This week I am visiting Laboratoire Bordelais de Recherche en Informatique (Bordeaux computer science research lab) to work with Antoine Rollet, Serge Chaumette, Hervé Marchand, and Srinivas Pinisetty. Thank you Antoine for the invitation.
RV’14 – poster available
The poster for RV’14, Runtime Verification 2014 is ready and can be downloaded in PDF using the following link: RV2014_poster. If you are interested in a high-resolution version, let me know.