Romain Testylier

According to our database, Romain Testylier authored at least 10 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2013

Verification of embedded control programs.

Thao Dang, Bertrand Jeannet, Romain Testylier

Proceedings of the 12th European Control Conference, 2013

NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.

Romain Testylier, Thao Dang

Proceedings of the Automated Technology for Verification and Analysis, 2013

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

PhD thesis, 2012

Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.

Thao Dang, Romain Testylier

Reliab. Comput., 2012

Analysis of parametric biological models with non-linear dynamics

Romain Testylier, Thao Dang

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.

Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Hybridization domain construction using curvature estimation.

Thao Dang, Romain Testylier

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Accurate hybridization of nonlinear systems.

Thao Dang, Oded Maler, Romain Testylier

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Using Redundant Constraints for Refinement.

Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier

Proceedings of the Automated Technology for Verification and Analysis, 2010