| 2024 |
B |
conf |
LPAR
Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant
|
| 2021 |
J |
jnl |
CoRR
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
|
| 2021 |
— |
conf |
ICETE (Selected Papers)
Jeffrey Todd McDonald, Ramya K. Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel, James Carambat
|
| 2021 |
A* |
conf |
ICSE
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
|
| 2021 |
J |
jnl |
CoRR
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
|
| 2021 |
C |
conf |
SECRYPT
Jeffrey Todd McDonald, Ramya Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel
|
| 2021 |
— |
conf |
ICSE (Companion Volume)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
|
| 2021 |
A* |
conf |
CCS
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
|
| 2021 |
A* |
conf |
CCS
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
|
| 2020 |
A |
conf |
RAID
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
|
| 2020 |
J |
jnl |
CoRR
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
|
| 2019 |
A* |
conf |
ASE
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
|
| 2019 |
J |
jnl |
CoRR
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
|
| 2019 |
J |
jnl |
CoRR
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
|
| 2019 |
A |
conf |
ACSAC
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
|
| 2018 |
— |
conf |
CAV (2)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
|
| 2018 |
J |
jnl |
CoRR
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
|
| 2015 |
J |
jnl |
CoRR
Richard Bonichon, Olivier Hermant
|
| 2014 |
— |
conf |
SMT
Richard Bonichon, David Déharbe, Cláudia Tavares
|
| 2014 |
— |
conf |
SBMF
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.
|
| 2011 |
J |
jnl |
Stud. Inform. Univ.
Richard Bonichon, Pascal Cuoq
|
| 2011 |
B |
conf |
SAFECOMP
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
|
| 2009 |
A |
conf |
ICFP
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
|
| 2007 |
B |
conf |
LPAR
Richard Bonichon, David Delahaye, Damien Doligez
|
| 2006 |
B |
conf |
LPAR
Richard Bonichon, Olivier Hermant
|
| 2006 |
— |
conf |
TYPES
Richard Bonichon, Olivier Hermant
|
| 2004 |
A |
conf |
IJCAR
Richard Bonichon
|