×
Author ID: bardin.sebastien Recent zbMATH articles by "Bardin, Sébastien"
Published as: Bardin, Sébastien
Documents Indexed: 10 Publications since 2004
Co-Authors: 18 Co-Authors with 10 Joint Publications
233 Co-Co-Authors

Serials

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 43 times in 37 Documents Cited by Year
Flat acceleration in symbolic model checking. Zbl 1170.68507
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Schnoebelen, Philippe
19
2005
Refinement-based CFG reconstruction from unstructured programs. Zbl 1317.68028
Bardin, Sébastien; Herrmann, Philippe; Védrine, Franck
5
2011
An automated deductive verification framework for circuit-building quantum programs. Zbl 1473.68106
Chareton, Christophe; Bardin, Sébastien; Bobot, François; Perrelle, Valentin; Valiron, Benoît
5
2021
Faster acceleration of counter automata in practice. Zbl 1126.68452
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme
4
2004
Sharpening constraint programming approaches for bit-vector theory. Zbl 1489.68249
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien
4
2017
An alternative to SAT-based approaches for bit-vectors. Zbl 1284.68379
Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian
4
2010
Model generation for quantified formulas: a taint-based approach. Zbl 1511.68247
Farinier, Benjamin; Bardin, Sébastien; Bonichon, Richard; Potet, Marie-Laure
1
2018
Arrays made simpler: an efficient, scalable and thorough preprocessing. Zbl 1415.68145
Farinier, Benjamin; David, Robin; Bardin, Sébastien; Lemerre, Matthieu
1
2018
An automated deductive verification framework for circuit-building quantum programs. Zbl 1473.68106
Chareton, Christophe; Bardin, Sébastien; Bobot, François; Perrelle, Valentin; Valiron, Benoît
5
2021
Model generation for quantified formulas: a taint-based approach. Zbl 1511.68247
Farinier, Benjamin; Bardin, Sébastien; Bonichon, Richard; Potet, Marie-Laure
1
2018
Arrays made simpler: an efficient, scalable and thorough preprocessing. Zbl 1415.68145
Farinier, Benjamin; David, Robin; Bardin, Sébastien; Lemerre, Matthieu
1
2018
Sharpening constraint programming approaches for bit-vector theory. Zbl 1489.68249
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien
4
2017
Refinement-based CFG reconstruction from unstructured programs. Zbl 1317.68028
Bardin, Sébastien; Herrmann, Philippe; Védrine, Franck
5
2011
An alternative to SAT-based approaches for bit-vectors. Zbl 1284.68379
Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian
4
2010
Flat acceleration in symbolic model checking. Zbl 1170.68507
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Schnoebelen, Philippe
19
2005
Faster acceleration of counter automata in practice. Zbl 1126.68452
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme
4
2004
all top 5

Cited by 76 Authors

5 Finkel, Alain
4 Lin, Anthony Widjaja
3 Bardin, Sébastien
3 Rümmer, Philipp
2 Bobot, François
2 Brauer, Jörg
2 Chambart, Pierre
2 Echenim, Mnacho
2 Jeannet, Bertrand
2 Leroux, Jérôme
2 Majumdar, Rupak
2 Mhalla, Mehdi
2 Praveen, M.
2 Schmitz, Sylvain
2 Schrammel, Peter
1 Al-Bataineh, Omar
1 Ballabriga, Clément
1 Bauer-Marquart, Fabian
1 Blazy, Sandrine
1 Bouchy, Florent
1 Bultan, Tevfik
1 Caniart, Nicolas
1 Chakraborty, Supratik
1 Chareton, Christophe
1 Chihani, Zakaria
1 Dutertre, Bruno
1 Echahed, Rachid
1 Farinier, Benjamin
1 Fisman, Dana
1 Fleury, Emmanuel
1 Forget, Julien
1 French, Tim
1 Frohn, Florian
1 Függer, Matthias
1 Ganty, Pierre
1 Girol, Guillaume
1 Graham-Lengrand, Stéphane
1 Gulavani, Bhargav S.
1 Hague, Matthew
1 Jovanović, Dejan
1 Kinder, Johannes
1 King, Andy
1 Kowalewski, Stefan
1 Kravchenko, Dmitry
1 Kupferman, Orna
1 Laporte, Vincent
1 Lengál, Ondřej
1 Leue, Stefan
1 Lustig, Yoad
1 Majumdar, Rupak
1 Marre, Bruno
1 Meel, Kuldeep S.
1 Mohammadalitajrishi, Mahshid
1 Monmege, Benjamin
1 Nori, Aditya Vithal
1 Peltier, Nicolas
1 Perrelle, Valentin
1 Pesant, Gilles
1 Pichardie, David
1 Ramalingam, Ganesan
1 Reinbacher, Thomas
1 Reynolds, Mark Alexander
1 Ruiz, Jordy
1 Sangnier, Arnaud
1 Schilling, Christian
1 Søndergaard, Harald
1 Stuckey, Peter James
1 Valiron, Benoît
1 Vardhan, Abhay
1 Vilmart, Renaud
1 Viswanathan, Mahesh
1 Wang, Wenxi
1 Wintersteiger, Christoph M.
1 Yavuz-Kahveci, Tuba
1 Zeitoun, Marc
1 Zeljić, Aleksandar

Citations by Year