News

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

Read More

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

Read More

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

Read More

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

Read More

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

Read More

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

Read More

SecTest’12: deadline approaching

The deadline to submit to The Third International Workshop on Security Testing, SECTEST’12, is approaching (30 January). Here is a reminder about SECTEST’s background and objectives: To improve software security, several techniques, including vulnerability modelling and security testing, have been developed but the problem remains unsolved. On one hand, the workshop tries to answer how […]

Read More

More Testable Properties

The journal paper More Testable Properties has been recently accepted for publication in the journal Software Tools for Technology Transfer. This paper is joint work with my friends and colleagues from Verimag (Jean-Claude Fernandez and Laurent Mounier) and from Inria Rennes – Bretagne Atlantique (Thierry Jéron and Hervé Marchand). The paper shall appear in STTT […]

Read More