Colas Le Guernic (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

6 Thao Dang, Colas Le Guernic, Oded Maler: Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011)

5 Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler: Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS 2010: 69-83

3 Thao Dang, Colas Le Guernic, Oded Maler: Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141

1 Antoine Girard, Colas Le Guernic, Oded Maler: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271

Selection of 5 from 9 records - Colas Le Guernic has 18 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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
6		Thao Dang, Colas Le Guernic, Oded Maler: Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011)
5		Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler: Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS 2010: 69-83
3		Thao Dang, Colas Le Guernic, Oded Maler: Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141
1		Antoine Girard, Colas Le Guernic, Oded Maler: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271