The University of Southampton
Telephone:
+442380592703
Email:
dan@ecs.soton.ac.uk

Denis A Nicole MA PhD MIEE CEng

Academic Staff

Personal homepage

Professional

Duties

Course leader for Digital Systems Engineering

Publications

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).

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. Springer. pp. 273-280. (doi:10.1007/978-3-540-72588-6_46).

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. 7 pp, 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. 10 pp, pp. 65-75.

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.

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).

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. J.R.Statist.Soc., 47, 629-41.

Nicole, Denis A and Sivaram, Rajini (1996) SCOTT: The Southampton COFF Tools for Transputers. At WOTUG-19, Proceedings of the 19th World occam and transputer user group technical meeting 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. At WOTUG-21, Proceedings of the 21st World occam and transputer user group technical meeting 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. At HIGH-PERFORMANCE COMPUTING HIGH-PERFORMANCE COMPUTING. pp. 119-125.

Nicole, D.A. and Wolton, I.C. (1998) HPC on DEC Alphas and Windows NT. At HIGH-PERFORMANCE COMPUTING HIGH-PERFORMANCE COMPUTING. pp. 551-557.

Nicole, D.A., Wolton, I.C. and Takeda, K. (1998) Southampton High Performance Computing Centre. At HIGH-PERFORMANCE COMPUTING HIGH-PERFORMANCE COMPUTING. pp. 33-41.

Cox, S.J., Daniell, G.J. and Nicole, D.A. (1998) Maximum Entropy, Parallel Computations and Lotteries. At Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1998 (PDPTA 1998) 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. At conference; 1987-06-01 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 Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems, Elsevier Science ,

Nicole, D A , Kessler, C W (ed.) (1994) Targetting Transputer Systems, Past and Future in Automatic Parallelisation, Vieweg Verlag, Weisbaden, Germany ,

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. Default journal.

Nicole, D A (1978) Tranverse Pure Guage 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. Default journal.

Pritchard, D J and Nicole, D A (1993) Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. Default journal.

Debbage, M, Hill, M B, Nicole, D A and Sturgess, A (1993) The Virtual Channel Router. Default journal.

Wykes, S M, Jnr, O Trindade and Nicole, D A (1993) A DS-Link Interface for T9000 System Development. Default journal.

Debbage, M, Hill, M B and Nicole, D A (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems. Default journal.

Manjunathaiah, M and Nicole, D A (1970) Precise Analysis of Array Usage in Scientific Programs. At Scientific Programming 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) Eurerian 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 (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 Wokshop 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 (1988) The Esprit Reconfigurable Transputer Processor: A Range of General Purpose Machines built on a Communicating Process Architecture, at IEE International Specialist Seminar on the Design and Application of Parallel Digital Processors, Lisbon, Portugal, April 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) Invited Lectures on Transputer-Based Architectures, at the Community of Mediterranean Universities Distance Learning Computer Science School Third Summer Session in Computer Architecture, Technopolis (Bari), Italy, July 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) Invited Lectures on Parallel Computing Architectures: The Evolving Consensus, at the Community of Mediterranean Universities Distance Learning Computer Science School, University of Leece, Italy, June 1993.

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, Invited Lecture at the SERC International Workshop on Photonic Information Processing, Grassmer, February 1994.

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 Scalavle Parallel Computing, presented at Supercomputing Europe 1992, Paris, France, February 1992.

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.) At International Conference on Computing in High Energy Physics, Amsterdam 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. At Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science 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. 12 - 13 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.

Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Nicole, D A, Cox, S J and Lancaster, D J (1999) An Assessment of MPI Environments for Windows NT. At International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99) International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), United States. 28 Jun - 01 Jul 1999. pp. 1898-1904.

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.) At 26th WoTUG Technical Meeting 26th WoTUG Technical Meeting, Netherlands. 07 - 10 Sep 2003. pp. 167-172.

Watkins, E Rowland and Nicole, Denis A , Arabnia, Hamid R and Reza, Hassan (eds.) (2005) Version Control in Online Software Repositories. Proceedings of the 2005 International Conference on Software Engineering Research and Practice, II, 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.) At 2005 International Conference on Grid Computing and Applications 2005 International Conference on Grid Computing and Applications, United States. 20 - 23 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.

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, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Mark, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji and Cox, Simon J. , Shi, Y, Albada, G D, Dongarra, J and Sloot, P M A (eds.) (2007) Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation. Lecture Notes in Computer Science, 4489, 273-280.

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.

Nicole, Denis A (2008) Robots that don't suck. At Higher Education Academy workshop on Robots in the Curriculum (Invited Presentation) Higher Education Academy workshop on Robots in the Curriculum (Invited Presentation).

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. At 9th International Conference on Software Engineering and Formal Methods 9th International Conference on Software Engineering and Formal Methods, Uruguay. pp. 302-317.

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. 18th International Conference, TACAS 2012 Berlin, DE. Springer, pp. 534-537. (Lecture Notes in Computer Science: Theoretical Computer Science and General Issues, 7214) ,

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.

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2012) Model checking LTL properties over ANSI-C programs with bounded traces. At 9th International Conference on Software Engineering and Formal Methods (SEFM 2011) 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 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.

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.

Morse, Jeremy, Ramalho Gadelha, Mikhail, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) ESBMC 1.22. In, Tools and Algorithms for the Construction and Analysis of Systems. 20th International Conference, TACAS 2014 Springer, pp. 405-407. (Lecture Notes in Computer Science, 8413) ,

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. vol. 10623, Springer International Publishing. 91 pp. (doi:10.1007/978-3-319-70848-5_7).

Contact

Telephone: +442380592703

Email: dan@ecs.soton.ac.uk

Fax: 02380593045

Share this profile FacebookGoogle+TwitterWeibo

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.

×