Romain Testylier

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Reachability Analysis

Nonlinear Dynamical Systems

Surgical Planning

Top Venues

Reliab. Comput.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Arnaud Mazier, Sophie Ribes, Romain Testylier, Frédéric Van Meer, Benjamin Gilles, François Faure, Stéphane P. A. Bordas
A rigged model of the breast for preoperative surgical planning. CoRR (2021)
Romain Testylier, Thao Dang
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. ATVA (2013)
Thao Dang, Bertrand Jeannet, Romain Testylier
Verification of embedded control programs. ECC (2013)
Thao Dang, Romain Testylier
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion. Reliab. Comput. 17 (2012)
Romain Testylier, Thao Dang
Analysis of parametric biological models with non-linear dynamics HSB (2012)
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. ATVA (2012)
Thao Dang, Romain Testylier
Hybridization domain construction using curvature estimation. HSCC (2011)
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
Using Redundant Constraints for Refinement. ATVA (2010)
Thao Dang, Oded Maler, Romain Testylier
Accurate hybridization of nonlinear systems. HSCC (2010)