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 E. Ábrahám, & K. Havelund (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (pp. 405-407). (Lecture Notes in Computer Science; No. 8413). Springer. DOI: 10.1007/978-3-642-54862-8
  • 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/M63

Share this profile Share this on Facebook Share this on Twitter Share this on Weibo
Privacy Settings