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 […]
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 […]
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, 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 […]
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 […]
An upcoming exciting event. The Workshop HOWARD-60 dedicated to the anniversary of a good friend: Howard Barringer. This is a very exciting event and a tremendous honor to be an invited speaker. HOWARD-60 is bringing scientists from both academia and industry together to debate on how to monitor, analyse and guide the execution of programs […]
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 […]
Several research internships are available at LIG laboratory within the VASCO team. Topics of the internship include (but are not limited to): runtime verification and program monitoring testing Mobile applications (especially Android) web and e-commerce services home-automation Contact me for more details.