 | 2011 |
|---|
| 9 |       | Goran Frehse,
Colas Le Guernic,
Alexandre Donzé,
Scott Cotton,
Rajarshi Ray,
Olivier Lebeltel,
Rodolfo Ripado,
Antoine Girard,
Thao Dang,
Oded Maler:
SpaceEx: Scalable Verification of Hybrid Systems.
CAV 2011: 379-395 |
| 8 | | Radu Grosu,
Grégory Batt,
Flavio H. Fenton,
James Glimm,
Colas Le Guernic,
Scott A. Smolka,
Ezio Bartocci:
From Cardiac Cells to Genetic Regulatory Networks.
CAV 2011: 396-411 |
| 7 | | Matthias Althoff,
Colas Le Guernic,
Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems.
HSCC 2011: 93-102 |
| 6 | | Thao Dang,
Colas Le Guernic,
Oded Maler:
Computing reachable states for nonlinear biological models.
Theor. Comput. Sci. 412(21): 2095-2107 (2011) |
| 2010 |
|---|
| 5 | | Julien Legriel,
Colas Le Guernic,
Scott Cotton,
Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems.
TACAS 2010: 69-83 |
| 2009 |
|---|
| 4 | | Colas Le Guernic,
Antoine Girard:
Reachability Analysis of Hybrid Systems Using Support Functions.
CAV 2009: 540-554 |
| 3 | | Thao Dang,
Colas Le Guernic,
Oded Maler:
Computing Reachable States for Nonlinear Biological Models.
CMSB 2009: 126-141 |
| 2008 |
|---|
| 2 | | Antoine Girard,
Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
HSCC 2008: 215-228 |
| 2006 |
|---|
| 1 | | Antoine Girard,
Colas Le Guernic,
Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC 2006: 257-271 |
Data released under the ODC-BY 1.0 license — See also our legal information page