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 Chihani, Zakaria, Marre, Bruno, Bobot, François, Bardin, Sébastien
Published in Integration of AI and OR Techniques in Constraint Programming

by Bardin, Sébastien, Herrmann, Philippe, Leroux, Jérôme, Ly, Olivier, Tabary, Renaud, Vincent, Aymeric
Published in Computer Aided Verification

by Benoit, Tristan, Marion, Jean-Yves, Bardin, Sebastien
Published in 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.03.2021)

by David, Robin, Bardin, Sebastien, Thanh Dinh Ta, Mounier, Laurent, Feist, Josselin, Potet, Marie-Laure, Marion, Jean-Yves
Published in 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) (01.03.2016)