The paper Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation has been accepted to the international journal SOSYM: SOftware and SYstem Modeling. Here is an abstract of the paper: Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact […]
Category: Research
Post related to my research activities.
MSR’13: Modélisation des Systèmes Réactifs (french workshop)
MSR’13 est un colloque en langue française qui se situe dans le cadre général de la modélisation, l’analyse et la commande des systèmes réactifs et temps réel. Plus particulièrement il concerne les chercheurs et industriels intéressés par la conception d’applications qui sont basées sur des systèmes de type soit continu, soit discret, soit hybride. MSR […]
RV 2013: Fourth International Conference on Runtime Verification
RV’13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013. About Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional […]
Best Paper Award at FM’12
On August 30, we have received the Best Paper Award from Formal Methods Europe and the PC of FM’2012, the 18th international symposium on Formal Methods. This award comes for our paper Decentralised LTL Monitoring.
Runtime Enforcement of Timed Properties
The paper Runtime Enforcement of Timed Properties has been accepted for publication at the conference RV’12: 3rd international conference on Runtime Verification, Istanbul, Turkey. Here is an abstract of this paper below: Runtime enforcement is a powerful technique to ensure that a running system respects some desired properties. Using an enforcement monitor, an (untrusted) input […]
Towards Certified Runtime Verification
The paper Towards Certified Runtime Verification has been accepted for publication to ICFEM’2012: 14th International Conference on Formal Engineering Methods. Here is an abstract below. Runtime verification (RV) is an important technique to monitor system behavior at runtime and potentially take compensating actions in case of deviation from a specification. For the usage in safety […]
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
The paper Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors has been accepted for publication at FM’2012 (the 18th international symposium on Formal Methods). Below is the abstract: Runtime verification is the process of checking a property on a trace of events produced by the execution of a computational system. Runtime verification techniques have recently […]
Decentralised LTL monitoring
The paper Decentralised LTL monitoring has been accepted for publication at FM’2012 (the 18th international symposium on Formal Methods). An early extended version of the paper is available here. Below is the abstract: Users wanting to monitor distributed or component-based systems often perceive them as monolithic systems which, seen from the outside, exhibit a uniform […]
IsoLA’12: Runtime Verification, the Application Perspective
With Lenore D. Zuck, we are organizing a track at IsoLA’12: Runtime Verification, the Application Perspective In the past decade Runtime Verification (RV) has gained much focus, from both research community and practitioners. Roughly speaking, RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems’ executions and guaranteeing their correctness […]
RV 2012: 3rd International Conference on Runtime Verification
RV’2012, September 25 – 28, will be located in the beautiful Istanbul, Turkey. Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime […]