Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/
Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/
Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/
Due to continuing problems with the central profile system, please refer to his homepage at http://www.hpcc.ecs.soton.ac.uk/dan/
Paventhan, A., Takeda, K., Cox, S.J. and Nicole, D.A. (2006) Workflows for wind tunnel grid applications. In Computational Science: ICCS 2006. vol. 3993/2006, Springer. pp. 928-935 . (doi:10.1007/11758532).
Paventhan, A., Takeda, K., Cox, S.J. and Nicole, D.A. (1970) Leveraging windows workflow foundation for scientific workflows in wind tunnel applications. In Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). Institute of Electrical and Electronics Engineers: Computer Society. pp. 65-75 . (doi:10.1109/ICDEW.2006.71).
Paventhan, A., Takeda, K., Cox, S.J. and Nicole, D.A. (2007) Federated database services for wind tunnel experiment workflows. Scientific Programming, 14 (3-4), 173-184.
Paventhan, A., Takeda, Kenji, Cox, Simon J. and Nicole, Denis A. (2006) MyCoG.NET: a multi-language CoG toolkit. Concurrency and Computation: Practice & Experience, 19 (14), 1885-1900. (doi:10.1002/cpe.1133).
Takeda, Kenji, Allsopp, Nicholas K., Hardwick, Johnathan C., Macey, P.C., Nicole, Denis A., Cox, Simon J. and Lancaster, David J. (1999) An assessment of MPI environments for windows NT. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99). CSREA Press. pp. 1898-1904 .
Papiani, Mark, Wason, Jasmin L, Dunlop, Alistair N and Nicole, Denis A (1999) A Distributed Scientific Data Archive Using the Web, XML and SQL/MED. SIGMOD Record, 28 (3), 56-62.
Manjunathaiah, M. and Nicole, Denis A (1997) Precise analysis of array usage in scientific programs. Scientific Programming, 6, 229-42.
Cox, S.J., Daniell, G.J. and Nicole, D.A. (1998) Using Maximum Entropy to Double One's Expected Winnings in the UK National Lottery 1998. Journal of the Royal Statistical Society. Series D: The Statistician, 47, 629-41.
Nicole, Denis A and Sivaram, Rajini (1996) SCOTT: The Southampton COFF Tools for Transputers. WOTUG-19, Proceedings of the 19th World occam and transputer user group technical meeting. p. 191 .
Cox, S.J., Nicole, D.A. and Takeda, K. (1998) Commodity High Performance Computing at Commodity Prices. WOTUG-21, Proceedings of the 21st World occam and transputer user group technical meeting. pp. 19-26 .
Takeda, K., Wolton, I.C. and Nicole, D.A. (1998) Software Probability and Maintenance. HIGH-PERFORMANCE COMPUTING. pp. 119-125 .
Nicole, D.A. and Wolton, I.C. (1998) HPC on DEC Alphas and Windows NT. HIGH-PERFORMANCE COMPUTING. pp. 551-557 .
Nicole, D.A., Wolton, I.C. and Takeda, K. (1998) Southampton High Performance Computing Centre. HIGH-PERFORMANCE COMPUTING. pp. 33-41 .
Cox, S.J., Daniell, G.J. and Nicole, D.A. (1998) Maximum Entropy, Parallel Computations and Lotteries. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1998 (PDPTA 1998). pp. 1252-8 .
Caton, M.J, Cox, S.J., Blott, BH, Daniell, G.J. and Nicole, D.A. (1999) Prospects for high fidelity imaging in nonlinear EIT using high performance computing. Holder, D. (ed.) pp. 1-6 .
Papiani, Mark, Wason, Jasmin L. and Nicole, Denis A. , Zaniolo, Carlo, Lockemann, Peter C., Scholl, Marc H. and Grust, TorstenTorsten Grust (eds.) (2000) An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML. Lecture Notes in Computer Science, 1777, 447-461.
Hey, A J G, Jesshope, C R and Nicole, D A (1986) High Performance Simulation of Lattice Physics on Transputer Arrays , North-Holland,
Pritchard, D J, Askew, C R, Carpenter, D B, Glendinning, I, Hey, A J G and Nicole, D A (1987) Practical Parallelism Using Transputer Arrays at Parallel Architectures and Languages. conference; 1987-06-01.
Nicole, D A , Fountain, T J and Shute, M J (eds.) (1990) Reconfigurable Transputer Processor Architectures in Microprocessor Computer Architectures , Elsevier, Amsterdam
Nicole, D A , Jane, M R, Fawcett, R J and Mawby, T P (eds.) (1992) Standard Software on Scalable Computers in Transputer Applications Progress and Prospects , IOS Press
Nicole, D A, Barnaby, C and May, M D (1993) General Purpose Parallel Computers in Networks, Routers and Transputers. Jane, M R, Fawcett, R J and Mawby, T P (eds.)
Nicole, D.A. , Cosnard, M. and Puigjaner, R. (eds.) (1993) High performance architecture issues in IFIP transactions A-39, decentralized and distributed systems , Elsevier Science
Nicole, D.A. , Kessler, C.W. (ed.) (1994) Targeting transputer systems, past and future in automatic parallelisation , Weisbaden. Vieweg
Barnes, K J, Ketley, I J, Nicole, D A and O'Donnell, P J (1977) Nonlinear Chiral Models and Many-Dimensional Solutions. Physical Review D.
Nicole, D A (1977) Soliton Solutions to Chiral SU(3)xSU(3) Models. Author's Original.
Nicole, D.A. (1978) Transverse pure gauge fields and nonlinear chiral solitons , s.n.
Nicole, D A (1978) Solitons with Non-Varnishing Hopf Index , s.n.
Gunther, N J, Nicole, D A and Wallace, D J (1980) Goldstone modes in vacuum decay and first-order phase transitions. Journal of Physics A: Mathematical and General, 13, 1755-1767.
Jasnow, D, Nicole, D A and Ohta, T (1981) Unstable Modes of a Quenched Fluid Interface. Physical Review A.
Carlitz, R D and Nicole, D A (1982) A Physical Model of the Instanton Gas. Physics Letters B.
Carlitz, R D and Nicole, D A (1984) The structure of the multi-instanton gas. Nuclear Physics B, 243 (2). (doi:10.1016/0550-3213(84)90031-2).
Auerbach, A, Kivelson, S and Nicole, D A (1984) Path Decomposition for Multidimensional Tunnelling. Physical Review Letters, 53 (5), 411-414.
Carlitz, R D and Nicole, D A (1985) Classical Paths and Quantum Mechanics. Annals of Physics.
Nicole, D A and Walters, P J (1988) Classical Paths for the Periodic Potential. Journal of Physics A: Mathematical and General, 21 (10). (doi:10.1088/0305-4470/21/10/014).
Nicole, D A, Ward, J S and Lloyd, E K (1990) Transputer Link Reconfiguration: Switching Networks for 4-Valent Graphs. IEE Proceedings, Part E, 137 (4). (doi:10.1049/ip-e.1990.0029).
Pritchard, D J and Nicole, D A (1993) Cube connected Mobius ladders: an inherently deadlock-free fixed degree network. IEEE Transactions on Parallel and Distributed Systems, 4 (1), 111-117. (doi:10.1109/71.205658).
Debbage, M, Hill, M B, Nicole, D A and Sturgess, A (1993) The Virtual Channel Router. Author's Original.
Wykes, S M, Jnr, O Trindade and Nicole, D A (1993) A DS-Link Interface for T9000 System Development. Author's Original.
Debbage, M, Hill, M B and Nicole, D A (1995) An interface to a reliable packet delivery service for parallel systems. IEEE Transactions on Parallel and Distributed Systems, 6 (4), 400-411. (doi:10.1109/71.372793).
Manjunathaiah, M and Nicole, D A (1970) Precise Analysis of Array Usage in Scientific Programs. Scientific Programming.
Nicole, D A (1988) Esprit Project 1085 Reconfigurable Transputer Processor Architecture.
Nicole, D A, Lloyd, E K and Ward, J S (1988) Switching Networks for Transputer Links.
Lloyd, E.K. and Nicole, D.A. (1988) Eulerian cycles and switching networks For transputer links.
Nicole, D A (1989) Reconfigurable Transputer Processor Architectures.
Debbage, M, Hill, M and Nicole, D A (1990) Towards a Distributed Implementation of Occam.
Nicole, D A (1991) Commonality in Architectures.
Debbage, M, Hill, M and Nicole, D A (1991) A General Purpose Parallel Programming Environment.
Barrett, G, Barton, E, Carden, T, Duval, D and Nicole, D (1992) General Purpose Parallel Computers: A Standard Architecture with a Standard Programming Interface.
Debbage, M, Hill, M, Nicole, D A and Wykes, S M (1994) Southampton's Portable Occam Compiler (SPOC).
Manjunathaiah, M and Nicole, D A (1994) Advanced Parallel Usage Analysis in the Proceedings of the First International Workshop on Parallel Processing, Bangalore.
Nicole, D A (1984) Transputers and Occam at a SERC Meeting on future Computational Requirements, Abingdon.
Nicole, D.A. (1986) Languages and Software Engineering at an Institute of Physics Meeting on Computing in High Energy Physics, Southampton.
Nicole, D A (1988) Occam and Transputer Tutorial at a Conference on Economical Parallel Processing, Berne, Switzerland, May 1988.
Nicole, D.A. (1988) P1085 Hardware at a Workshop on Future Parallel Computers, Eindhoven, Netherlands, June 1988.
Nicole, D A (1988) Transputers and Security at the 5th National Computer Security Conference, London, October 1988.
Nicole, D A (1989) Recent and Future MIMD Architectures, at the Inaugural Meeting of the Occam User Group of Latin America, Florianopolis, Brazil, September 1989.
Nicole, D A (1991) Evolution of Architectures and Programming Models, a the Parallel Processing Seminars, Stockholm, January 1991.
Nicole, D A (1991) A General Purpose MIMD Computer, at the Computer Architecture Conference, Brindisi, Italy, October 1991.
Nicole, D A (1991) The Future of Transputing, at the Nordic Transputer Seminar, Trondheim, Norway, November 1991.
Nicole, D A (1993) High Performance Architectures, Invited Lecture at the BCS Parallel Processing Specialist Group Workshop on General Purpose Parallel Computing, London, December 1993.
Nicole, D.A. (1994) Limitations of electronics.
Nicole, D A (1972) Improved Digital Display, Radio and Electronics Constructor.
Nicole, Denis (1979) Solitons and instantons in elementary particle physics. University of Southampton, Electronics and Computer Science, Doctoral Thesis.
Nicole, D A and Moore, M P (1989) Operating Transputers at Low Temperatures, Occam User Group Newsletter.
Nicole, D.A. and Duval, D. (1992) GPMIMD: a standard industrial architecture for scalable parallel computing. Supercomputing Europe 1992, , Paris, France.
Nicole, D A and Pritchard, D J (1992) Load Balance Deadlock Free Routing of Arbitrary Networks, Submitted to IEEE Transactions on Parallel and Distributed Systems.
Nicole, D A and Bisiani, R (1992) State of the Art Report for High Performance Computing in the Report of the High Performance Computing and Networking Advisory Committee, Commission of the European Communities (1992).
Askew, C R, Carpenter, D B, Chalker, J T, Hey, A J G, Nicole, D A and Pritchard, D J (1986) Simulation of Statistical Mechanical Systems on Transputer Arrays.
Dunlop, A N, Hey, A J G, Nicole, D A and Pritchard, D J (1995) Performance Estimation for Parallel Performance Optimisation. Supercomputing, 11, 19-31.
Hey, A J G, Jesshope, C R and Nicole, D A (1985) High Performance Simulation of Lattice Physics using Enhanced Transputer Arrays. Hertzberger, L O and Hoogland, W (eds.) International Conference on Computing in High Energy Physics, Amsterdam.
Dunlop, A, Hernandez, E, Naim, O, Hey, A J G and Nicole, D (1995) A Toolkit for Optimizing Parallel Performance. Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science. p. 548 .
Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Caton, M J, Nicole, D A, Cox, S J and Lancaster, D J (1999) Parallel Computing on Windows NT Clusters. 3rd USENIX Windows NT Symposium, Seattle, Washington. 11 - 12 Jul 1999.
Takeda, K., Allsopp, N. K., Hardwick, J.C., Macey, P.C., Nicole, D.A., Cox, S.J. and Lancaster, D.J. (2001) An Assessment of MPI Environments for Windows NT. The Journal of Supercomputing, 19 (3), 315-323. (doi:10.1023/A:1011138816820).
Snelling, David, van den Berghe, Sven, von Laszewski, Gregor, Wieder, Philipp, Breuer, Dirk, MacLaren, Jon, Nicole, Denis and Hoppe, Hans-Christian , LaForenza, Domenico (ed.) (2002) A Unicore Globus Interoperability Layer. Computing and Informatics, 21 (4), 399-411.
Nicole, Denis, Ellis, Sam and Hancock, Simon (2003) occam for reliable embedded systems: lightweight runtimes and model checking. Broenink, Jan F. and Hilderink, Gerald H. (eds.) 26th WoTUG Technical Meeting, University of Twente, The, Netherlands. 06 - 09 Sep 2003. pp. 167-172 .
Watkins, E Rowland and Nicole, Denis A (2005) Version Control in Online Software Repositories. Arabnia, Hamid R, Reza, Hassan, Arabnia, Hamid R. and Reza, Hassan (eds.) In SERP'05 : proceedings of the 2005 International Conference on Software Engineering Research and Practice, June 27-29, 2005, Las Vegas, Nevada. vol. II, CSREA Press. pp. 550-556 .
Watkins, E Rowland and Nicole, Denis A (2005) Version Control in Online Software Repositories. ACM TechNews, 7 (872).
Nicole, Denis A. (2005) UNICORE and GRIP: experiences of grid middleware development. Arabnia, Hamid R. and Ni, Jun (eds.) 2005 International Conference on Grid Computing and Applications, Las Vegas, United States. 19 - 22 Jun 2005. pp. 1-17 .
Watkins, E. Rowland and Nicole, Denis A. , Zhou, Xiaofang, Li, Jianzhong, Shen, Heng Tao, Kitsuregawa, Masaru and Zhang, Yanchun (eds.) (2006) Named Graphs as a Mechanism for Reasoning about Provenance. Lecture Notes in Computer Science, 3841, 943-948.
Paventhan, A, Takeda, Kenji, Cox, Simon J and Nicole, Denis A (2006) Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. Barga, Roger S. and Zhou, Xiaofang (eds.) In Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). IEEE Computer Society. pp. 65-74 .
Paventhan, Arumugam, Takeda, Kenji, Cox, Simon J. and Nicole, Denis A. , Alexandrov, Vassil N., van Albada, G. Dick, Sloot, Peter M. A. and Dongarra, Jack J (eds.) (2006) Workflows for Wind Tunnel Grid Applications. Lecture Notes in Computer Science, 3993, 928-935. (doi:10.1007/11758532_124).
Nicole, Denis (2007) Stay unpopular-and get rich quick. The Guardian, 4-4.
Nicole, Denis and Panahi, Taban (2007) Successful Indian model in producing modern computers. Digital, Tehran, 30-30.
Fairman, M.J., Price, A.R., Xue, G., Molinari, M., Nicole, D.A., Lenton, T.M., Marsh, R., Takeda, K. and Cox, S.J. (2007) Building scientific workflows for Earth system modelling with Windows Workflow Foundation. Shi, Yong, van Abada, Geert Dick, Dongarra, Jack and Sloot, Peter M.A. (eds.) In Proceedings of the 7th International Computational Science Conference. vol. 4489, Springer. pp. 273-280 . (doi:10.1007/978-3-540-72588-6_46).
Nicole, Denis A , Mills, Hugo (ed.) (2007) New Schools in the East and west of Southampton. Viewpoint: A paper for independent comment, (456), 1-7.
Derouiche, Kheiredine and Nicole, Denis A , Meersman, Robert, Tari, Zahir and Herrero, Pilar (eds.) (2007) Semantically Resolving Type Mismatches in Scientific Workflows. Lecture Notes in Computer Science, 4805, 125-135.
Brezany, Peter, Winslett, Marianne, Nicole, Denis A. and Cortes, Toni , Sakellariou, Rizos, Keane, John, Gurd, John and Freeman, Len (eds.) (2001) Topic 18 Parallel I/O and Storage Technology. Lecture Notes in Computer Science, 2150, 887-887.
Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Marc, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji and Cox, Simon J. (2009) Earth system modelling with Windows Workflow Foundation. Future Generation Computer Systems, 25 (5), 586-597. (doi:10.1016/j.future.2008.06.011).
Nicole, Denis A (2008) Robots that don't suck. Higher Education Academy workshop on Robots in the Curriculum (Invited Presentation), Southampton.
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-bounded model checking of LTL properties for ANSI-C software. In Software Engineering and Formal Methods. vol. 7041, Springer. pp. 302-317 . (doi:10.1007/978-3-642-24690-6_21).
Cordeiro, Lucas, Morse, Jeremy, Nicole, Denis and Fischer, Bernd (2012) Context-bounded model checking with ESBMC 1.17. In, Flanagan, Cormac and König, Barbara (eds.) Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems. (Lecture Notes in Computer Science: Theoretical Computer Science and General Issues, 7214) 18th International Conference, TACAS 2012 (24/03/12 - 31/03/12) Berlin, DE. Springer, pp. 534-537. (doi:10.1007/978-3-642-28756-5_42).
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2012) Model checking LTL properties over ANSI-C programs with bounded traces. 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, Uruguay. 14 - 18 Nov 2011. 30 pp . (doi:10.1007/s10270-013-0366-0).
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2013) Handling unbounded loops with ESBMC 1.20. Piterman, Nir and Smolka, Scott A. (eds.) In Tools and Algorithms for the Construction and Analysis of Systems. 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. vol. 7795, Springer. pp. 619-622 . (doi:10.1007/978-3-642-36742-7_47).
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2013) Model checking LTL properties over C programs with bounded traces. Software and Systems Modeling, n/a, n/a. (doi:10.1007/s10270-013-0366-0).
Morse, Jeremy, Ramalho Gadelha, Mikhail, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) ESBMC 1.22. In, Ábrahám, Erika and Havelund, Klaus (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. (Lecture Notes in Computer Science, 8413) 20th International Conference, TACAS 2014 (02/04/14 - 12/04/14) Springer, pp. 405-407. (doi:10.1007/978-3-642-54862-8).
Gadelha, Mikhail Y.R., Cordeiro, Lucas C. and Nicole, Denis A. (2017) Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks. Cavalheiro, Simone and Fiadeiro, Jose (eds.) In Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. vol. 10623, Springer International Publishing. pp. 91-106 . (doi:10.1007/978-3-319-70848-5_7).
Gadelha, Mikhail R., Monteiro, Felipe R., Morse, Jeremy, Cordeiro, Lucas C., Fischer, Bernd and Nicole, Denis A. (2018) ESBMC 5.0: an industrial-strength C model checker. In ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. ACM. pp. 888-891 . (doi:10.1145/3238147.3240481).
Gadelha, Mikhail R., R. Monteiro, Felipe, Cordeiro, Lucas and Nicole, Denis (2018) Towards counterexample-guided k-induction for fast bug detection. In ESEC/FSE 2018 Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM. pp. 765-769 . (doi:10.1145/3236024.3264840).
Gadelha, Mikhail R., Monteiro, Felipe, Cordeiro, Lucas and Nicole, Denis (2019) ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution). Steffen, Bernhard, Kordon, Fabrice, Beyer, Dirk and Huisman, Marieke (eds.) In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. vol. 11429 LNCS, Springer Verlag. pp. 209-213 . (doi:10.1007/978-3-030-17502-3_15).
Gadelha, Mikhail R., Steffinlongo, Enrico, Cordeiro, Lucas, Fischer, Bernd and Nicole, Denis (2019) SMT-based refutation of spurious bug reports in the clang static analyzer. In ICSE '19 Proceedings of the 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press. pp. 11-14 . (doi:10.1109/ICSE-Companion.2019.00026).
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) Applying symbolic bounded model checking to the 2012 RERS greybox challenge. International Journal on Software Tools for Technology Transfer, 16 (5), 519-529. (doi:10.1007/s10009-014-0335-0).
Gadelha, Mikhail R., Morse, Jeremy, Cordeiro, Lucas and Nicole, Denis (2017) Using clang as a frontend on a formal verification tool. FOSDEM'17, ULB Solbosch Campus, Brussels, Belgium. 04 - 05 Feb 2017.
Gadelha, Mikhail R., Morse, Jeremy, Cordeiro, Lucas and Nicole, Denis (2018) Using clang as a frontend on a formal verification tool. 2018 European LLVM Developers Meeting, , Bristol, United Kingdom. 16 - 17 Apr 2018.
Telephone: +44 (0) 23 8059 2703
Email: dan@ecs.soton.ac.uk