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 […]
News
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 […]
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 […]
HOWARD-60: Higher Workshop on Automatated Runtime Verification and Debugging
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 […]
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 […]
Research internships available at LIG laboratory!
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.
Back to Grenoble!
After almost two great years as a postdoc fellow at INRIA (now Inria) Rennes – Bretagne Atlantique (located in the beautiful French Britanny) within the VerTeCs team, I have moved back to Grenoble. I get an associate professor position at Grenoble University (University Joseph Fourier) and I am doing my research at LIG – Laboratoire […]