Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Luka Leroux

Luka Le Roux

> Home > Persons

Person information

affiliation: ENSTA Bretagne, Brest, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/TeodorovDL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/TeodorovDL17
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): 229-245 (2017)
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/TeodorovLDD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/TeodorovLDD16
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): 516-542 (2016)
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/advse/DhaussyBRL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/advse/DhaussyBRL12
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux:
Improving Model Checking with Context Modelling. Adv. Softw. Eng. 2012: 547157:1-547157:13 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/PasquierTJ0RL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/PasquierTJ0RL23
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec:
Temporal Breakpoints for Multiverse Debugging. SLE 2023: 125-137
2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PasquierTJ0RL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PasquierTJ0RL22
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec:
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS 2022: 87-97
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/HnainiRCT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/HnainiRCT21
Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov:
Security Property Modeling. ICISSP 2021: 694-701
2020
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icissp/SunDGCGRMTAL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icissp/SunDGCGRMTAL20
Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Joël Champeau, Sylvain Guérin, Luka Le Roux, Raúl Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis:
A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP 2020: 341-348
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SunTR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SunTR20
Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux:
Operational design for advanced persistent threats. MoDELS (Companion) 2020: 55:1-55:10
2019
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RouxT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RouxT19
Luka Le Roux, Ciprian Teodorov:
Partially Bounded Context-Aware Verification. SEFM 2019: 532-548
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/TeodorovLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/TeodorovLD14
Ciprian Teodorov, Luka Leroux, Philippe Dhaussy:
Context-Aware Verification of a Cruise-Control System. MEDI 2014: 53-64
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/BoichutGJR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BoichutGJR07
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux:
Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.