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 2 of 11 Handling unbounded loops with ESBMC 1.20 Jeremy Morse, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2013 DOI: 10.1007/978-3-642-36742-7_47 Type: conference Model checking LTL properties over ANSI-C programs with bounded traces Jeremy Morse, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2012 DOI: 10.1007/s10270-013-0366-0 Type: conference Context-bounded model checking with ESBMC 1.17 Lucas Cordeiro, Jeremy Morse, Denis Nicole & Bernd Fischer, 2012 DOI: 10.1007/978-3-642-28756-5_42 Type: bookChapter Context-bounded model checking of LTL properties for ANSI-C software Jeremy Morse, Lucas Cordeiro, Denis Nicole & Bernd Fischer, 2011 DOI: 10.1007/978-3-642-24690-6_21 Type: conference Earth system modelling with Windows Workflow Foundation Matthew J. Fairman, Andrew R. Price, Gang Xue, Marc Molinari, Denis A. Nicole, Timothy M. Lenton, Robert Marsh, Kenji Takeda & Simon J. Cox, 2009, Future Generation Computer Systems, 25(5), 586-597 DOI: 10.1016/j.future.2008.06.011 Type: article Robots that don't suck Denis A Nicole, 2008 Type: conference Semantically Resolving Type Mismatches in Scientific Workflows Kheiredine Derouiche, Denis A Nicole, Robert Meersman, Zahir Tari & Pilar Herrero, 2007, Lecture Notes in Computer Science, 4805, 125-135 Type: article Building scientific workflows for Earth system modelling with Windows Workflow Foundation M.J. Fairman, A.R. Price, G. Xue, M. Molinari, D.A. Nicole, T.M. Lenton, R. Marsh, K. Takeda & S.J. Cox, 2007 DOI: 10.1007/978-3-540-72588-6_46 Type: conference New Schools in the East and west of Southampton Denis A Nicole & Hugo Mills, 2007, Viewpoint: A paper for independent comment(456), 1-7 Type: article Stay unpopular-and get rich quick Denis Nicole, 2007, The Guardian, 4-4 Type: article Pagination Previous page Previous 1 2 3 4 5 … Next page Next