Talks
Slides
- Efficient Parameter Synthesis Using Optimized State Exploration Strategies. Groupe Méthodes Formelles pour les Systèmes Logiciels et Matériels - MeFoSyLoMa 2017, Créteil, France.
- Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 22nd International Conference on Engineering of Complex Computer Systems - ICECCS 2017, Fukuoka, Japan.
- Parametric Model Checking Timed Automata Under non-Zenoness Assumption. École d'Été Temps Réel - ETR 2017, Paris, France.
- Parametric Model Checking Timed Automata Under non-Zenoness Assumption. Nanyang Technological University - NTU 2017, Singapore.
- Parametric Model Checking Timed Automata Under non-Zenoness Assumption. 9th NASA Formal Methods Symposium - NFM 2017, California, USA.
- Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 17th International Conference on Formal Engineering Methods - ICFEM 2015, Paris, France.
- Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. Spécification et Vérification (Specification and Verification) - SpecifVerif 2015, Université Paris 13, Villetaneuse, France.
- Applying Distributed Computing Techniques to The Parametric Verification of Real-Time Systems. Journée thématique MCS LAGA – MATHSTIC Calcul Haute Performance et Décomposition de Domaine - HPCDD 2016, Université Paris 13, Villetaneuse, France.
- Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 2nd International Workshop on Synthesis of Complex Parameters - SynCoP 2015, London, UK.
- Reachability Preservation Based Parameter Synthesis for Timed Automata. 7th NASA Formal Methods Symposium - NFM 2015, California, USA.