Skip to main navigationSkip to main content
The University of Southampton
Aerospace
Phone:
(023) 8059 2703
Email:
dan@ecs.soton.ac.uk

Dr Denise Nicole 

Academic staff

Dr Denise Nicole's photo

Dr Denise Nicole is part of our interdisciplinary research collaborations in Aerospace at the University of Southampton.

Sort via:TypeorYear

Articles

Books

Book Chapters

  • Morse, J., Ramalho Gadelha, M., Cordeiro, L., Nicole, D., & Fischer, B. (2014). ESBMC 1.22. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 405-407). (Lecture Notes in Computer Science; No. 8413). Springer.
  • Cordeiro, L., Morse, J., Nicole, D., & Fischer, B. (2012). Context-bounded model checking with ESBMC 1.17. In C. Flanagan, & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems (pp. 534-537). (Lecture Notes in Computer Science: Theoretical Computer Science and General Issues; Vol. 7214). Berlin, DE: Springer. DOI: 10.1007/978-3-642-28756-5_42

Conferences

Dr Denise Nicole
Building 37, Room 4107 University of Southampton Southampton S017 1BJ United Kingdom

Room Number: 59/3225/M45

Share this profile Share this on Facebook Share this on Twitter Share this on Weibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×