Romain Testylier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2010–2013
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ATVA | NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. | Romain Testylier, Thao Dang |
| 2012 | ATVA | Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. | Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard |
| 2010 | ATVA | Using Redundant Constraints for Refinement. | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |