Denis A. Nicole

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 11

Top Topics

Floating Point Arithmetic

Sparse Matrices

Top Venues

ICSE (Companion Volume)

Publications

Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. CoRR (2020)
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. VSTTE (2020)
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE (2020)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). TACAS (3) (2019)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. CoRR (2019)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
SMT-based refutation of spurious bug reports in the clang static analyzer. ICSE (Companion Volume) (2019)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. CoRR (2018)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
ESBMC 5.0: an industrial-strength C model checker. ASE (2018)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
Towards counterexample-guided k-induction for fast bug detection. ESEC/SIGSOFT FSE (2018)
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks. SBMF (2017)
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
Counterexample-Guided k-Induction Verification for Fast Bug Detection. CoRR (2017)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Model checking LTL properties over ANSI-C programs with bounded traces. Softw. Syst. Model. 14 (1) (2015)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
ESBMC 1.22 - (Competition Contribution). TACAS (2014)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS (2013)
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS (2012)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM (2011)
Matt J. Fairman, Andrew R. Price, Gang Xue, Marc Molinari, Denis A. Nicole, Timothy M. Lenton, Robert Marsh, Kenji Takeda, Simon J. Cox
Earth system modelling with Windows Workflow Foundation. Future Gener. Comput. Syst. 25 (5) (2009)
Matt J. Fairman, Andrew R. Price, Gang Xue, Marc Molinari, Denis A. Nicole, Timothy M. Lenton, Robert Marsh, Kenji Takeda, Simon J. Cox
Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation. International Conference on Computational Science (3) (2007)
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole
MyCoG.NET: a multi-language CoG toolkit. Concurr. Comput. Pract. Exp. 19 (14) (2007)
Kheiredine Derouiche, Denis A. Nicole
Semantically Resolving Type Mismatches in Scientific Workflows. OTM Workshops (1) (2007)
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole
Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. ICDE Workshops (2006)
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole
Federated database services for wind tunnel experiment workflows. Sci. Program. 14 (3-4) (2006)
E. Rowland Watkins, Denis A. Nicole
Named Graphs as a Mechanism for Reasoning About Provenance. APWeb (2006)
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole
Workflows for Wind Tunnel Grid Applications. International Conference on Computational Science (3) (2006)
Denis A. Nicole
UNICORE and GRIP: Experiences of Grid Middleware Development. GCA (2005)
E. Rowland Watkins, Denis A. Nicole
Version Control in Online Software Repositories. Software Engineering Research and Practice (2005)
David F. Snelling, Sven van den Berghe, Gregor von Laszewski, Philipp Wieder, Dirk Breuer, Jon MacLaren, Denis A. Nicole, Hans-Christian Hoppe
A UNICORE Globus Interoperability Layer. Comput. Artif. Intell. 21 (4) (2002)
Peter Brezany, Marianne Winslett, Denis A. Nicole, Toni Cortes
Topic 18: Parallel I/O and Storage Technology. Euro-Par (2001)
Kenji Takeda, Nicholas K. Allsopp, Jonathan C. Hardwick, P. C. Macey, Denis A. Nicole, Simon J. Cox, David Lancaster
An Assessment of MPI Environments for Windows NT. J. Supercomput. 19 (3) (2001)
Mark Papiani, Jasmin L. Wason, Denis A. Nicole
An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML. EDBT (2000)
Kenji Takeda, Nicholas K. Allsopp, Jonathan C. Hardwick, P. C. Macey, Denis A. Nicole, Simon J. Cox, David Lancaster
An Assessment of MPI Environments for Windows NT. PDPTA (1999)
Mark Papiani, Jasmin L. Wason, Alistair N. Dunlop, Denis A. Nicole
A Distributed Scientific Data Archive Using the Web, XML and SQL/MED. SIGMOD Rec. 28 (3) (1999)
M. Manjunathaiah, Denis A. Nicole
Precise Analysis of Array Usage in Scientific Programs. Sci. Program. 6 (2) (1997)
Alistair N. Dunlop, Emilio Hernández, Oscar Naim, Tony Hey, Denis A. Nicole
A toolkit for optimising parallel performance. HPCN Europe (1995)
Mark Debbage, Mark Bowen Hill, Denis A. Nicole
An Interface to a Reliable Packet Delivery Service for Parallel Systems. IEEE Trans. Parallel Distributed Syst. 6 (4) (1995)
Denis A. Nicole
High Performance Architecture Issues. Decentralized and Distributed Systems (1993)
David J. Pritchard, Denis A. Nicole
Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. IEEE Trans. Parallel Distributed Syst. 4 (1) (1993)
Mark Debbage, Mark Bowen Hill, Denis A. Nicole
Global communications on locally connected message-passing parallel computers. Concurr. Pract. Exp. 5 (6) (1993)
C. R. Askew, D. B. Carpenter, J. T. Chalker, Anthony J. G. Hey, M. Moore, Denis A. Nicole, David J. Pritchard
Monte Carlo simulation on transputer arrays. Parallel Comput. 6 (2) (1988)
David J. Pritchard, C. R. Askew, D. B. Carpenter, Ian Glendinning, Anthony J. G. Hey, Denis A. Nicole
Practical Parallelism using Transputer Arrays. PARLE (1) (1987)