Validation (model-based testing), test of an implementation with respect to its specification. This step is well known and used with critical systems for 30 years and is more and more considered in software development companies with the need of software quality and the introduction of quality models like CMMI.
Conformance and robustness testing of timed systems, tools for test case generation, test architecture for WAP-based devices.
Web service and service composition testing (conformance, robustness, security), in classical environments or partially open ones e.g., Clouds.
Security testing of Mobile applications,
Model generation of (formal) models from trace sets : combination of different approaches, Expert systems, Data mining, Machine Learning, Model transformations (collaboration with the industrial partner Michelin).
Model generation from Android applications : combination of a test engine for apps exploration with a model inference engine (industrial partner Openium).
Model generation of IOT systems to assess (audit) their security. See the project VASOC here.