Publications

Articles in international journals

  1. Étienne André, Nguyễn Hoàng Gia, Laure Petrucci and Sun Jun. Parametric Model Checking Timed Automata Under non-Zenoness Assumption - Journal.

Articles in the proceedings of international conferences

  1. Nguyễn Hoàng Gia, Laure Petrucci and Jaco van de Pol. Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. 23nd International Conference on Engineering of Complex Computer Systems - ICECCS’18.
  2. Étienne André, Nguyễn Hoàng Gia and Laure Petrucci. Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 22nd International Conference on Engineering of Complex Computer Systems - ICECCS’17.
  3. Étienne André, Nguyễn Hoàng Gia, Laure Petrucci and Sun Jun. Parametric Model Checking Timed Automata Under non-Zenoness Assumption. 9th NASA Formal Methods Symposium - NFM’17.
  4. Étienne André, Camille Coti and Nguyễn Hoàng Gia. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. 17th International Conference on Formal Engineering Methods - ICFEM’15.
  5. Étienne André, Giuseppe Lipari, Nguyễn Hoàng Gia and Sun Youcheng (孙有程). Reachability Preservation Based Parameter Synthesis for Timed Automata. 7th NASA Formal Methods Symposium - NFM’15.

Other publications

  1. Parametric Model Checking Timed Automata Under non-Zenoness Assumption (short version). École d'Été Temps Réel - ETR 2017, Paris, France.

Theses

  1. Master thesis: Distributed Verification of Real-Time Systems.
  2. PhD thesis: Efficient Parametric Verification of Parametric Timed Automata.