| 2026 |
B |
conf |
CSL
Étienne André, Swen Jacobs, Engel Lefaucheux
|
| 2026 |
B |
conf |
VMCAI
Nathalie Bertrand, Loïc Hélouët, Engel Lefaucheux, Luca Paparazzo
|
| 2025 |
J |
jnl |
J. ACM
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
|
| 2025 |
J |
jnl |
CoRR
Étienne André, Swen Jacobs, Engel Lefaucheux
|
| 2024 |
— |
conf |
QEST+FORMATS
Marie Duflot, Engel Lefaucheux, Isaline Plaid
|
| 2024 |
B |
conf |
SEFM
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
|
| 2024 |
— |
conf |
FSTTCS
Étienne André, Johan Arcile, Engel Lefaucheux
|
| 2024 |
J |
jnl |
CoRR
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
|
| 2024 |
J |
jnl |
CoRR
Étienne André, Johan Arcile, Engel Lefaucheux
|
| 2024 |
J |
jnl |
CoRR
Étienne André, Engel Lefaucheux, Dylan Marinho
|
| 2024 |
J |
jnl |
Formal Methods Syst. Des.
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
|
| 2024 |
A* |
conf |
ICALP
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
|
| 2024 |
J |
jnl |
CoRR
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
|
| 2024 |
C |
conf |
ICFEM
Étienne André, Sarah Dépernet, Engel Lefaucheux
|
| 2024 |
J |
jnl |
CoRR
Étienne André, Sarah Dépernet, Engel Lefaucheux
|
| 2023 |
— |
conf |
TiCSA@ETAPS
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
|
| 2023 |
B |
conf |
ICECCS
Étienne André, Engel Lefaucheux, Dylan Marinho
|
| 2023 |
— |
conf |
TACAS (1)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
|
| 2022 |
B |
conf |
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
|
| 2022 |
J |
jnl |
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
|
| 2022 |
J |
jnl |
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
|
| 2022 |
J |
jnl |
Log. Methods Comput. Sci.
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
|
| 2022 |
B |
conf |
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
|
| 2022 |
A* |
conf |
LICS
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
|
| 2022 |
J |
jnl |
CoRR
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
|
| 2022 |
J |
jnl |
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
|
| 2022 |
— |
conf |
FTSCS
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
|
| 2022 |
J |
jnl |
CoRR
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
|
| 2021 |
— |
conf |
QEST
Engel Lefaucheux
|
| 2021 |
B |
conf |
MFCS
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
|
| 2021 |
B |
conf |
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
|
| 2021 |
J |
jnl |
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
|
| 2021 |
— |
conf |
CAV (2)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
|
| 2021 |
J |
jnl |
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
|
| 2021 |
B |
conf |
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
|
| 2021 |
J |
jnl |
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
|
| 2020 |
J |
jnl |
Discret. Event Dyn. Syst.
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
|
| 2020 |
A |
conf |
STACS
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
|
| 2020 |
J |
jnl |
CoRR
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
|
| 2020 |
J |
jnl |
CoRR
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
|
| 2020 |
— |
conf |
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
|
| 2020 |
J |
jnl |
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
|
| 2019 |
J |
jnl |
Inf. Comput.
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
|
| 2019 |
B |
conf |
SAS
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
|
| 2019 |
J |
jnl |
CoRR
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
|
| 2018 |
B |
conf |
Petri Nets
Engel Lefaucheux, Alessandro Giua, Carla Seatzu
|
| 2018 |
— |
— |
Engel Lefaucheux
|
| 2018 |
J |
jnl |
Discret. Event Dyn. Syst.
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
|
| 2017 |
— |
conf |
FSTTCS
Béatrice Bérard, Serge Haddad, Engel Lefaucheux
|
| 2016 |
C |
conf |
LATA
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
|
| 2016 |
— |
conf |
WODES
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
|
| 2016 |
B |
conf |
CONCUR
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
|
| 2015 |
J |
jnl |
CoRR
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
|
| 2015 |
— |
conf |
FSTTCS
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
|
| 2014 |
— |
conf |
FSTTCS
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
|