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 […]
Category: Research
Post related to my research activities.
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 […]
@ 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.
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 […]
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 […]