| 2025 |
— |
conf |
ICINCO (2)
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Shoubin Chen, David Filliat
|
| 2025 |
J |
jnl |
CoRR
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Shoubin Chen, David Filait
|
| 2025 |
A |
conf |
IROS
Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet
|
| 2025 |
J |
jnl |
ACM Commun. Comput. Algebra
Julien Alexandre Dit Sandretto
|
| 2025 |
— |
conf |
CDC
Antoine Besset, Joris Tillet, Julien Alexandre Dit Sandretto
|
| 2025 |
J |
jnl |
CoRR
Antoine Besset, Joris Tillet, Julien Alexandre Dit Sandretto
|
| 2024 |
J |
jnl |
Acta Cybern.
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux
|
| 2024 |
C |
conf |
ICARCV
Lucas Si Larbi, Eric Lucet, Julien Alexandre Dit Sandretto
|
| 2024 |
J |
jnl |
Numer. Algorithms
Julien Alexandre Dit Sandretto
|
| 2024 |
C |
conf |
ICINCO (1)
Charlotte Govignon, Elliot Brendel, Julien Alexandre Dit Sandretto
|
| 2023 |
— |
conf |
ARCH
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
|
| 2023 |
A |
conf |
IROS
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
|
| 2022 |
— |
conf |
ARCH@SAFECOMP
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
|
| 2022 |
J |
jnl |
Algorithms
Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
|
| 2022 |
C |
conf |
ICINCO
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
|
| 2021 |
— |
conf |
ARCH@ADHS
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
|
| 2021 |
J |
jnl |
Acta Cybern.
Julien Alexandre Dit Sandretto
|
| 2021 |
— |
conf |
CDC
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
|
| 2021 |
J |
jnl |
Algorithms
Mohamed Fnadi, Julien Alexandre Dit Sandretto
|
| 2021 |
C |
conf |
ACC
Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Fribourg
|
| 2021 |
J |
jnl |
Softw. Syst. Model.
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
|
| 2021 |
J |
jnl |
Acta Cybern.
Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot
|
| 2021 |
J |
jnl |
Acta Cybern.
Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
|
| 2021 |
— |
conf |
CDC
Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
|
| 2021 |
J |
jnl |
Acta Cybern.
Olivier Mullier, Julien Alexandre Dit Sandretto
|
| 2020 |
— |
conf |
ARCH
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
|
| 2020 |
— |
conf |
NSAD@SAS
Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
|
| 2020 |
B |
conf |
SEFM
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
|
| 2020 |
J |
jnl |
Acta Cybern.
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
|
| 2019 |
— |
conf |
CyPhy/WESE
Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
|
| 2019 |
— |
conf |
IFSA/NAFIPS
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
|
| 2019 |
J |
jnl |
CoRR
Julien Alexandre Dit Sandretto
|
| 2019 |
— |
conf |
NUMTA (2)
Olivier Mullier, Julien Alexandre Dit Sandretto
|
| 2018 |
— |
conf |
ADHS
Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
|
| 2018 |
J |
jnl |
Formal Methods Syst. Des.
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
|
| 2018 |
— |
ch. |
Cyber-Physical Systems Security
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
|
| 2018 |
— |
conf |
RP
Julien Alexandre Dit Sandretto, Jian Wan
|
| 2018 |
C |
conf |
ACC
Julien Alexandre Dit Sandretto
|
| 2018 |
J |
jnl |
CoRR
Julien Alexandre Dit Sandretto
|
| 2018 |
J |
jnl |
Optim. Methods Softw.
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
|
| 2017 |
— |
conf |
RP
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
|
| 2017 |
— |
conf |
IRC
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
|
| 2017 |
J |
jnl |
Appl. Math. Comput.
Julien Alexandre Dit Sandretto, Milan Hladík
|
| 2016 |
— |
conf |
MORSE@RoboCup
Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot
|
| 2016 |
J |
jnl |
CoRR
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
|
| 2016 |
— |
conf |
NSV@CAV
Alexandre Chapoutot, Julien Alexandre Dit Sandretto
|
| 2015 |
— |
conf |
SynCoP
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
|
| 2014 |
J |
jnl |
Math. Comput. Sci.
Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
|
| 2013 |
J |
jnl |
CoRR
Julien Alexandre Dit Sandretto, Cyprien Nicolas
|
| 2013 |
— |
— |
Julien Alexandre Dit Sandretto
|