Publications
Articles in international journals
- É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
- 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.
- É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.
- É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.
- É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.
- É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
- Parametric Model Checking Timed Automata Under non-Zenoness Assumption (short version). École d'Été Temps Réel - ETR 2017, Paris, France.
Theses
- Master thesis: Distributed Verification of Real-Time Systems.
- PhD thesis: Efficient Parametric Verification of Parametric Timed Automata.