Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

4 Results
authFullName_s : M. Lemerre

Gamifying program analysis

D. Fava , J. Signoles , M. Lemerre , M. Schäf , A. Tiwari
Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science, Nov 2015, Suva, Fiji. pp.591-605, ⟨10.1007/978-3-662-48899-7_41⟩
Conference papers cea-01834979v1
Image document

State space reduction strategies for model checking concurrent C programs

A. Methni , B. Ben Hedia , M. Lemerre , S. Haddad , K. Barkaoui
9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Sep 2015, Bucharest, Romania. pp.65-75
Conference papers cea-01844041v1
Image document

A Toolchain For Designing And Implementing Efficient, Flexible And Safety-Critical Applications

J S Camier , C Aussagues , M. Lemerre , V David
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270093v1
Image document

A case study on formal verification of the anaxagoros hypervisor paging system with frama-C

Allan Blanchard , N. Kosmatov , M. Lemerre , Frédéric Loulergue
FMICS 2015 - Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩
Conference papers cea-01834977v1