by Védrine, Franck, Jacquemin, Maxime, Kosmatov, Nikolai, Signoles, Julien
Published in Verification, Model Checking, and Abstract Interpretation (01.01.2021)

by Goubault, Eric, Putot, Sylvie, Védrine, Franck
Published in Static Analysis

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 Jacquemin, Maxime, Putot, Sylvie, Védrine, Franck
Published in Static Analysis (2018)

by Sotin, Pascal, Jeannet, Bertrand, Védrine, Franck, Goubault, Eric
Published in Automated Technology for Verification and Analysis

by Defour, David, Vedrine, Franck
Published in 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) (04.09.2023)

by Bardin, Sébastien, Herrmann, Philippe, Védrine, Franck
Published in Verification, Model Checking, and Abstract Interpretation

by Jacquemin, Maxime, Maurica, Fonenantsoa, Kosmatov, Nikolai, Signoles, Julien, Védrine, Franck
Year of Publication 25.11.2019

by Jacquemin, Maxime, Fonenantsoa Maurica, Kosmatov, Nikolai, Signoles, Julien, Védrine, Franck
Published in arXiv.org (25.11.2019)

by Duboc, L, Flanc, S, Kirchner, F, Marteau, H, Prevosto, V, Sadmi, F, Ve´drine, F
Published in IET Conference Proceedings (11.10.2016)

by Loupos, Konstantinos, Caglayan, Bora, Papageorgiou, Alexandros, Starynkevitch, Basile, Vedrine, Franck, Skoufis, Christos, Christofi, Stelios, Karakostas, Bill, Mygiakis, Antonis, Theofilis, George, Chiappetta, Andrea, Avgoustidis, Harris, Boulougouris, George
Published in 2019 IEEE 24th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD) (01.09.2019)

Published in Security Risk Management for the Internet of Things (2020)