Using Redundant Constraints for Refinement. - Eugene Asarin; Thao Dang 001; Oded Maler; Romain Testylier (ATVA, 2010)

Accurate hybridization of nonlinear systems. - Thao Dang 001; Oded Maler; Romain Testylier (HSCC, 2010)

Hybridization domain construction using curvature estimation. - Thao Dang 001; Romain Testylier (HSCC, 2011)

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. - Mohamed Amin Ben Sassi; Romain Testylier; Thao Dang 001; Antoine Girard (ATVA, 2012)

Analysis of parametric biological models with non-linear dynamics - Romain Testylier; Thao Dang 001 (HSB, 2012)

Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion. - Thao Dang 001; Romain Testylier (Reliab. Comput., 2012)

Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires. (Techniques for the formal analysis of non-linear dynamical systems). - Romain Testylier (2012)

NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. - Romain Testylier; Thao Dang 001 (ATVA, 2013)

Verification of embedded control programs. - Thao Dang 001; Bertrand Jeannet; Romain Testylier (ECC, 2013)

A rigged model of the breast for preoperative surgical planning. - Arnaud Mazier; Sophie Ribes; Romain Testylier; Frédéric Van Meer; Benjamin Gilles; François Faure; Stéphane P. A. Bordas (CoRR, 2021)