Travelled to:1 × Cyprus
1 × France
1 × USA
Collaborated with:A.Girard S.Cotton O.Maler J.Legriel R.Grosu G.Batt F.H.Fenton J.Glimm S.A.Smolka E.Bartocci G.Frehse A.Donzé R.Ray O.Lebeltel R.Ripado T.Dang
Talks about:system (2) hybrid (2) regulatori (1) reachabl (1) function (1) criteria (1) approxim (1) support (1) scalabl (1) problem (1)
Person: Colas Le Guernic
DBLP: Guernic:Colas_Le
Contributed to:
2011
20102009Wrote 4 papers:
- CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
- SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
- CAV-2011-GrosuBFGGSB #network #search-based
- From Cardiac Cells to Genetic Regulatory Networks (RG, GB, FHF, JG, CLG, SAS, EB), pp. 396–411.
- TACAS-2010-LegrielGCM #approximate #multi #optimisation #problem
- Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
- CAV-2009-GuernicG #analysis #hybrid #reachability #using
- Reachability Analysis of Hybrid Systems Using Support Functions (CLG, AG), pp. 540–554.