Login / Signup
Luka Leroux
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 2
Top Topics
Reachability Analysis
Asynchronous Circuits
Reactive Systems
Temporal Properties
Top Venues
Softw. Test. Verification Reliab.
Int. J. Softw. Tools Technol. Transf.
Adv. Softw. Eng.
MEDI
</>
Publications
</>
Ciprian Teodorov
,
Philippe Dhaussy
,
Luka Leroux
Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system.
Int. J. Softw. Tools Technol. Transf.
19 (2) (2017)
Ciprian Teodorov
,
Luka Leroux
,
Zoé Drey
,
Philippe Dhaussy
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis.
Softw. Test. Verification Reliab.
26 (7) (2016)
Ciprian Teodorov
,
Luka Leroux
,
Philippe Dhaussy
Context-Aware Verification of a Cruise-Control System.
MEDI
(2014)
Philippe Dhaussy
,
Frédéric Boniol
,
Jean-Charles Roger
,
Luka Leroux
Improving Model Checking with Context Modelling.
Adv. Softw. Eng.
2012 (2012)