Dr Denise Nicole

Academic staff

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

Sort via:TypeorYear

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. https://doi.org/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). Springer. https://doi.org/10.1007/978-3-642-28756-5_42

Nicole, D. (1979). Solitons and instantons in elementary particle physics. [Doctoral Thesis, University of Southampton].

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

Room Number : 59/3225/M63