Denis A. Nicole
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
1999–2020
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | 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 |
| 2019 | ICSE | 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 |
| 2019 | TACAS | 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 |
| 2014 | TACAS | ESBMC 1.22 - (Competition Contribution). | Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2013 | TACAS | Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2012 | TACAS | Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). | Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer |
| 2011 | SEFM | Context-Bounded Model Checking of LTL Properties for ANSI-C Software. | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2007 | ICCS | 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 |
| 2006 | APWEB | Named Graphs as a Mechanism for Reasoning About Provenance. | Ellis Rowland Watkins, Denis A. Nicole |
| 2006 | ICCS | Workflows for Wind Tunnel Grid Applications. | Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole |
| 2006 | ICDE | Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. | Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole |
| 2001 | EuroPar | Topic 18: Parallel I/O and Storage Technology. | Peter Brezany, Marianne Winslett, Denis A. Nicole, Toni Cortes |
| 2000 | EDBT | An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML. | Mark Papiani, Jasmin L. Wason, Denis A. Nicole |
| 1999 | PDPTA | 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 |