News

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

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

Read More