Edit Profile (opens in new tab) Bardin, Sébastien Co-Author Distance Author ID: bardin.sebastien Published as: Bardin, Sébastien Documents Indexed: 10 Publications since 2004 Co-Authors: 18 Co-Authors with 10 Joint Publications 233 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Farinier, Benjamin 3 Finkel, Alain 2 Bobot, François 2 Herrmann, Philippe 2 Leroux, Jérôme 1 Bonichon, Richard 1 Chareton, Christophe 1 Chihani, Zakaria 1 David, Robin 1 Girol, Guillaume 1 Lemerre, Matthieu 1 Marre, Bruno 1 Perrelle, Valentin 1 Perroud, Florian 1 Potet, Marie-Laure 1 Schnoebelen, Philippe 1 Valiron, Benoît 1 Védrine, Franck Serials Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 7 Serials 6 Formal Methods in System Design 3 Journal of Automated Reasoning 2 Theoretical Computer Science 2 Logical Methods in Computer Science 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Formal Aspects of Computing Cited in 5 Fields 37 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Quantum theory (81-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year