by Giuffrida, Cristiano, Bardin, Sébastien, Blanc, Gregory
Year of Publication 2018

by Salwan, Jonathan, Bardin, Sébastien, Potet, Marie-Laure
Published in Detection of Intrusions and Malware, and Vulnerability Assessment

by Girol, Guillaume, Farinier, Benjamin, Bardin, Sébastien
Published in Formal methods in system design (2024)

by Vinçont, Yaëlle, Bardin, Sébastien, Marcozzi, Michaël
Published in Foundations and Practice of Security (01.01.2022)

by Girol, Guillaume, Lacombe, Guilhem, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (20.06.2024)

by Bardin, Sébastien, Kosmatov, Nikolai, Marcozzi, Michaël, Delahaye, Mickaël
Published in Science of computer programming (01.07.2021)

by Sellami, Yanis, Girol, Guillaume, Recoules, Frédéric, Couroussé, Damien, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (05.01.2024)

by Bardin, Sebastien, David, Robin, Marion, Jean-Yves
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)

by Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Mounier, Laurent, Potet, Marie-Laure
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)

by Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)

by Marcozzi, Michaël, Bardin, Sébastien, Kosmatov, Nikolai, Papadakis, Mike, Prevosto, Virgile, Correnson, Loïc
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)

by Bardin, Sébastien, Herrmann, Philippe
Published in Software testing, verification & reliability (01.03.2011)

by Bardin, Sébastien, Finkel, Alain, Leroux, Jérôme, Petrucci, Laure
Published in International journal on software tools for technology transfer (01.10.2008)

by Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)

by BARDIN, Sébastien, LEROUX, Jérome, POINT, Gérald
Published in Lecture notes in computer science (2006)

by Djoudi, Adel, Bardin, Sébastien, Goubault, Éric
Published in FM 2016: Formal Methods

by Bardin, Sébastien, Herrmann, Philippe, Védrine, Franck
Published in Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation (23.01.2011)

by Giuffrida, Cristiano, Bardin, Sébastien, Blanc, Gregory
Year of Publication 2018

Year of Publication 2018

by Ratynskaia, S., Tolias, P., Bykov, I., Rudakov, D., De Angeli, M., Vignitchouk, L., Ripamonti, D., Riva, G., Bardin, S., van der Meiden, H., Vernimmen, J., Bystrov, K., De Temmerman, G.
Published in Nuclear fusion (01.06.2016)