Louis-Marie Givel

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Real Time Database Systems

Embedded Software

Architectural Model

Anytime Algorithms

Top Venues

Publications

Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel
Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test 35 (4) (2018)
Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux
Testing real-time embedded software using runtime enforcement. SIES (2016)
Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS (2015)