Travelled to:1 × France
1 × USA
Collaborated with:O.Maler J.Kempf G.Frehse C.L.Guernic A.Donzé S.Cotton R.Ray R.Ripado A.Girard T.Dang
Talks about:space (2) scalabl (1) system (1) method (1) inform (1) hybrid (1) formal (1) explor (1) design (1) verif (1)
Person: Olivier Lebeltel
DBLP: Lebeltel:Olivier
Contributed to:
2014
2011Wrote 2 papers:
- QAPL-2014-KempfLM #design #formal method #manycore
- Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
- 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.