Évaluation de la sûreté de fonctionnement de systèmes en présence d'incertitudes (approches probabilistes, possibilistes, crédibilistes)
Sûreté de fonctionnement de systèmes ferroviaires (European Rail Traffic Management System: ERTMS) et normes de sécurité ferroviaires
Modèles graphiques pour l'évaluation des risques (Valuation Based Systems (VBS), Statecharts, Réseaux Bayésiens)
Facteurs d'importance et aide à la décision en maîtrise des risques
Allocations de sûreté de fonctionnement de problèmes d'optimisation
Méthodes formelles pour la vérification et la validation de logiciel
Évaluation de sûreté de fonctionnement de systèmes de systèmes