Research Research groups Member of: Cyber Security Cyber Security Academy Research projects Completed projects GRIP Researchers: Doctor Denis Nicole Sponsor: European Union Publications 105 publications Page 1 of 11 SMT-based refutation of spurious bug reports in the clang static analyzer Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer & Denis Nicole, 2019 DOI: 10.1109/ICSE-Companion.2019.00026 Type: conference ESBMC v6.0 Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro & Denis Nicole, 2019 DOI: 10.1007/978-3-030-17502-3_15 Type: conference Towards counterexample-guided k-induction for fast bug detection Mikhail R. Gadelha, Felipe R. Monteiro, Lucas Cordeiro & Denis Nicole, 2018 DOI: 10.1145/3236024.3264840 Type: conference ESBMC 5.0: an industrial-strength C model checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer & Denis A. Nicole, 2018 DOI: 10.1145/3238147.3240481 Type: conference Using clang as a frontend on a formal verification tool Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro & Denis Nicole, 2018 Type: conference Using clang as a frontend on a formal verification tool Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro & Denis Nicole, 2017 Type: conference Encoding floating-point numbers using the SMT theory in ESBMC Mikhail Y.R. Gadelha, Lucas C. Cordeiro & Denis A. Nicole, 2017 DOI: 10.1007/978-3-319-70848-5_7 Type: conference Applying symbolic bounded model checking to the 2012 RERS greybox challenge Jeremy Morse, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2014, International Journal on Software Tools for Technology Transfer, 16(5), 519-529 DOI: 10.1007/s10009-014-0335-0 Type: article ESBMC 1.22 Jeremy Morse, Mikhail Ramalho Gadelha, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2014 DOI: 10.1007/978-3-642-54862-8 Type: bookChapter Model checking LTL properties over C programs with bounded traces Jeremy Morse, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2013, Software and Systems Modeling, n/a, n/a DOI: 10.1007/s10270-013-0366-0 Type: article Pagination 1 2 3 4 5 … Next page Next