Romain Testylier

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
A rigged model of the breast for preoperative surgical planning.
CoRR, 2021

2013
Verification of embedded control programs.
Proceedings of the 12th European Control Conference, 2013

NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.
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).
PhD thesis, 2012

Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.
Reliab. Comput., 2012

Analysis of parametric biological models with non-linear dynamics
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Hybridization domain construction using curvature estimation.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010
Accurate hybridization of nonlinear systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Using Redundant Constraints for Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2010


  Loading...