David Navarre -

Not registered as user

Name:David Navarre

Country:France

Affiliation:ICS-IRIT, Université Toulouse III Paul Sabatier

Personal website: https://www.irit.fr/recherches/ICS/people/navarre/index.html

Contributions

2026

HCSE

Author of A Formal Model-Based Framework for Engineering Reliable and Secure Interactive Applications: A Focus on Authentication within the Technical Papers-track

2020

INTUITESTBEDS

Author of Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets within the INTUITESTBEDS 2020-track