View all staff

Dr Denis Nicole

 MA PhD CEng. MIEE SFHEA
Reader

Connect with Denis

Email: dan@ecs.soton.ac.uk

Tel: +44 23 8059 2703

Research Publications
Research Publications

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
How to edit profile