| 2026 |
— |
ed. |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
RSSRail
Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte
|
| 2025 |
— |
conf |
SBMF
Fagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte
|
| 2025 |
— |
conf |
SBMF
Thierry Lecomte
|
| 2025 |
J |
jnl |
Formal Aspects Comput.
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
|
| 2025 |
— |
conf |
TAROS
Thierry Lecomte
|
| 2025 |
C |
conf |
ABZ
Thierry Lecomte
|
| 2024 |
C |
conf |
FMICS
Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte
|
| 2024 |
— |
conf |
ISoLA (5)
Thierry Lecomte
|
| 2024 |
— |
conf |
The Application of Formal Methods
Thierry Lecomte
|
| 2023 |
— |
conf |
SBMF
P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
|
| 2023 |
— |
conf |
Applicable Formal Methods for Safe Industrial Products
Thierry Lecomte
|
| 2023 |
J |
jnl |
Formal Aspects Comput.
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
|
| 2023 |
— |
ed. |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
RSSRail
Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte
|
| 2023 |
— |
conf |
FMTea
Thierry Lecomte
|
| 2022 |
— |
ed. |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
RSSRail
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte
|
| 2022 |
— |
conf |
ISoLA (4)
Thierry Lecomte
|
| 2022 |
— |
conf |
ISoLA (4)
Jan Peleska, Anne E. Haxthausen, Thierry Lecomte
|
| 2020 |
C |
conf |
FMICS
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
|
| 2020 |
J |
jnl |
CoRR
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
|
| 2020 |
— |
conf |
ISoLA (4)
Thierry Lecomte
|
| 2020 |
— |
conf |
ISoLA (3)
Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier
|
| 2020 |
J |
jnl |
CoRR
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
|
| 2020 |
C |
conf |
ABZ
Thierry Lecomte
|
| 2020 |
J |
jnl |
CoRR
Thierry Lecomte
|
| 2020 |
J |
jnl |
CoRR
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
|
| 2020 |
J |
jnl |
Sci. Comput. Program.
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
|
| 2020 |
C |
conf |
FMICS
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
|
| 2019 |
— |
ed. |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
RSSRail
Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky
|
| 2019 |
— |
conf |
FM Workshops (1)
Thierry Lecomte
|
| 2018 |
B |
conf |
FM
Thierry Lecomte
|
| 2018 |
J |
jnl |
NII Shonan Meet. Rep.
Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte
|
| 2017 |
— |
conf |
SBMF
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
|
| 2017 |
— |
ed. |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
RSSRail
Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky
|
| 2016 |
— |
ed. |
SBMF
Leila Ribeiro, Thierry Lecomte
|
| 2016 |
— |
conf |
CPS Data
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
|
| 2016 |
— |
ed. |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
RSSRail
Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky
|
| 2015 |
B |
conf |
FM
Thierry Lecomte
|
| 2014 |
— |
conf |
SBMF
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.
|
| 2012 |
J |
jnl |
CoRR
Thierry Lecomte, Lilian Burdy, Michael Leuschel
|
| 2009 |
C |
conf |
FMICS
Thierry Lecomte
|
| 2008 |
B |
conf |
FM
Thierry Lecomte
|
| 2004 |
C |
conf |
FDL
Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte
|