Talks

Posters

  1. Parametric Model Checking Timed Automata Under non-Zenoness Assumption. École d'Été Temps Réel - ETR 2017, Paris, France.
  2. 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.
  3. Towards Distributed Verification of Parametric Real-Time Systems. Journées nationales GDR Informatique Mathématique 2016, Université Paris 13, Villetaneuse, France.

Slides

  1. 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.
  2. Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 22nd International Conference on Engineering of Complex Computer Systems - ICECCS 2017, Fukuoka, Japan.
  3. Parametric Model Checking Timed Automata Under non-Zenoness Assumption. École d'Été Temps Réel - ETR 2017, Paris, France.
  4. Parametric Model Checking Timed Automata Under non-Zenoness Assumption. Nanyang Technological University - NTU 2017, Singapore.
  5. Parametric Model Checking Timed Automata Under non-Zenoness Assumption. 9th NASA Formal Methods Symposium - NFM 2017, California, USA.
  6. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 17th International Conference on Formal Engineering Methods - ICFEM 2015, Paris, France.
  7. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. Spécification et Vérification (Specification and Verification) - SpecifVerif 2015, Université Paris 13, Villetaneuse, France.
  8. 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.
  9. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 2nd International Workshop on Synthesis of Complex Parameters - SynCoP 2015, London, UK.
  10. Reachability Preservation Based Parameter Synthesis for Timed Automata. 7th NASA Formal Methods Symposium - NFM 2015, California, USA.