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 […]
Category: Research
Post related to my research activities.
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.