Denis A. Nicole

According to our database, Denis A. Nicole authored at least 39 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.

Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Software Verification - 12th International Conference, 2020

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).

Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole

CoRR, 2019

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

SMT-based refutation of spurious bug reports in the clang static analyzer.

Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Towards counterexample-guided k-induction for fast bug detection.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

ESBMC 5.0: an industrial-strength C model checker.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Counterexample-Guided k-Induction Verification for Fast Bug Detection.

Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

CoRR, 2017

Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks.

Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2015

Model checking LTL properties over ANSI-C programs with bounded traces.

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Softw. Syst. Model., 2015

2014

Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Int. J. Softw. Tools Technol. Transf., 2014

ESBMC 1.22 - (Competition Contribution).

Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution).

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).

Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Context-Bounded Model Checking of LTL Properties for ANSI-C Software.

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2009

Earth system modelling with Windows Workflow Foundation.

Matt J. Fairman, Andrew R. Price, Gang Xue, Marc Molinari, Denis A. Nicole, Timothy M. Lenton, Robert Marsh, Kenji Takeda, Simon J. Cox

Future Gener. Comput. Syst., 2009

2007

MyCoG.NET: a multi-language CoG toolkit.

Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole

Concurr. Comput. Pract. Exp., 2007

Semantically Resolving Type Mismatches in Scientific Workflows.

Kheiredine Derouiche, Denis A. Nicole

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation.

Matt J. Fairman, Andrew R. Price, Gang Xue, Marc Molinari, Denis A. Nicole, Timothy M. Lenton, Robert Marsh, Kenji Takeda, Simon J. Cox

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006

Federated database services for wind tunnel experiment workflows.

Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole

Sci. Program., 2006

Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications.

Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole

Proceedings of the 22nd International Conference on Data Engineering Workshops, 2006

Workflows for Wind Tunnel Grid Applications.

Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole

Proceedings of the Computational Science, 2006

Named Graphs as a Mechanism for Reasoning About Provenance.

Ellis Rowland Watkins, Denis A. Nicole

Proceedings of the Frontiers of WWW Research and Development, 2006

2005

Version Control in Online Software Repositories.

Ellis Rowland Watkins, Denis A. Nicole

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

UNICORE and GRIP: Experiences of Grid Middleware Development.

Denis A. Nicole

Proceedings of The 2005 International Conference on Grid Computing and Applications, 2005

2002

A UNICORE Globus Interoperability Layer.

David F. Snelling, Sven van den Berghe, Gregor von Laszewski, Philipp Wieder, Dirk Breuer, Jon MacLaren, Denis A. Nicole, Hans-Christian Hoppe

Comput. Artif. Intell., 2002

2001

An Assessment of MPI Environments for Windows NT.

Kenji Takeda, Nicholas K. Allsopp, Jonathan C. Hardwick, P. C. Macey, Denis A. Nicole, Simon J. Cox, David Lancaster

J. Supercomput., 2001

Topic 18: Parallel I/O and Storage Technology.

Peter Brezany, Marianne Winslett, Denis A. Nicole, Toni Cortes

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML.

Mark Papiani, Jasmin L. Wason, Denis A. Nicole

Proceedings of the Advances in Database Technology, 2000

1999

A Distributed Scientific Data Archive Using the Web, XML and SQL/MED.

Mark Papiani, Jasmin L. Wason, Alistair N. Dunlop, Denis A. Nicole

SIGMOD Rec., 1999

1997

Precise Analysis of Array Usage in Scientific Programs.

M. Manjunathaiah, Denis A. Nicole

Sci. Program., 1997

1995

An Interface to a Reliable Packet Delivery Service for Parallel Systems.

Mark Debbage, Mark Bowen Hill, Denis A. Nicole

IEEE Trans. Parallel Distributed Syst., 1995

A toolkit for optimising parallel performance.

Alistair N. Dunlop, Emilio Hernández, Oscar Naim, Tony Hey, Denis A. Nicole

Proceedings of the High-Performance Computing and Networking, 1995

1994

Targeting Transputer Systems, Past and Future.

Denis A. Nicole

Proceedings of the Automatic Parallelization: New Approaches to Code Generation, 1994

1993

Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network.

David J. Pritchard, Denis A. Nicole

IEEE Trans. Parallel Distributed Syst., 1993

Global communications on locally connected message-passing parallel computers.

Mark Debbage, Mark Bowen Hill, Denis A. Nicole

Concurr. Pract. Exp., 1993

High Performance Architecture Issues.

Denis A. Nicole

Proceedings of the Decentralized and Distributed Systems, 1993

1988

Monte Carlo simulation on transputer arrays.

C. R. Askew, D. B. Carpenter, J. T. Chalker, Anthony J. G. Hey, M. Moore, Denis A. Nicole, David J. Pritchard

Parallel Comput., 1988

1987

Practical Parallelism using Transputer Arrays.

David J. Pritchard, C. R. Askew, D. B. Carpenter, Ian Glendinning, Anthony J. G. Hey, Denis A. Nicole

Proceedings of the PARLE, 1987