Design
For Testability/ Testabilite des logiciels
Testing
based on Timed Automata/ Le test fonde sur les automates temporises
Testing
based on FSM and EFSM models/ Le test fonde sur les modeles FSM et EFSM.
Reactive Systems Requirement Engineering based on Timed Scenarios
QoS Mangement and Adaptation/Multimedia Applications
Diagnostic based on FSM and EFSM models
Conversion and synthesis of controllers