default search action

combined dblp search
author search
venue search
publication search

ask others

Denis A. Nicole

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/GadelhaMMCN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GadelhaMMCN20
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: 525-529
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GadelhaCN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GadelhaCN20
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. VSTTE 2020: 178-195
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-12699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-12699
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. CoRR abs/2004.12699 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GadelhaSC0N19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GadelhaSC0N19
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: 11-14
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GadelhaMCN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GadelhaMCN19
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: 209-213
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-02501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-02501
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 abs/1904.02501 (2019)
2018
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GadelhaMMC0N18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GadelhaMMC0N18
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: 888-891
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GadelhaMCN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GadelhaMCN18
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: 765-769
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-12041
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-12041
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 abs/1810.12041 (2018)
2017
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GadelhaCN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GadelhaCN17
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: 91-106
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GadelhaCN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GadelhaCN17
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
Counterexample-Guided k-Induction Verification for Fast Bug Detection. CoRR abs/1706.02136 (2017)
2015
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MorseCN015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MorseCN015
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): 65-81 (2015)
2014
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MorseCN014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MorseCN014
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): 519-529 (2014)
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MorseRCN014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MorseRCN014
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
ESBMC 1.22 - (Competition Contribution). TACAS 2014: 405-407
2013
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/MorseCNF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MorseCNF13
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS 2013: 619-622
2012
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CordeiroMNF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CordeiroMNF12
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer:
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS 2012: 534-537
2011
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MorseCNF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MorseCNF11
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM 2011: 302-317

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/FairmanPXMNLMTC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/FairmanPXMNLMTC09
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): 586-597 (2009)
2007
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/PaventhanTCN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/PaventhanTCN07
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole:
MyCoG.NET: a multi-language CoG toolkit. Concurr. Comput. Pract. Exp. 19(14): 1885-1900 (2007)
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/FairmanPXMNLMTC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/FairmanPXMNLMTC07
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: 273-280
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/DerouicheN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/DerouicheN07
Kheiredine Derouiche, Denis A. Nicole:
Semantically Resolving Type Mismatches in Scientific Workflows. OTM Workshops (1) 2007: 125-135
2006
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sp/PaventhanTCN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sp/PaventhanTCN06
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole:
Federated database services for wind tunnel experiment workflows. Sci. Program. 14(3-4): 173-184 (2006)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apweb/WatkinsN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apweb/WatkinsN06
Ellis Rowland Watkins, Denis A. Nicole:
Named Graphs as a Mechanism for Reasoning About Provenance. APWeb 2006: 943-948
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/PaventhanTCN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/PaventhanTCN06
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole:
Workflows for Wind Tunnel Grid Applications. International Conference on Computational Science (3) 2006: 928-935
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/PaventhanTCN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/PaventhanTCN06
Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole:
Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. ICDE Workshops 2006: 65
2005
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/gca/Nicole05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gca/Nicole05
Denis A. Nicole:
UNICORE and GRIP: Experiences of Grid Middleware Development. GCA 2005: 11-17
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/serp/WatkinsN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/WatkinsN05
Ellis Rowland Watkins, Denis A. Nicole:
Version Control in Online Software Repositories. Software Engineering Research and Practice 2005: 550-556
2002
[j8]
- view
  - electronic edition @ cai.sk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cai/SnellingBLWBMNH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/SnellingBLWBMNH02
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)
2001
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/TakedaAHMNCL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/TakedaAHMNCL01
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): 315-323 (2001)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/BrezanyWNC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/BrezanyWNC01
Peter Brezany, Marianne Winslett, Denis A. Nicole, Toni Cortes:
Topic 18: Parallel I/O and Storage Technology. Euro-Par 2001: 887-888
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/edbt/PapianiWN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/PapianiWN00
Mark Papiani, Jasmin L. Wason, Denis A. Nicole:
An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML. EDBT 2000: 447-461

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/PapianiWDN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/PapianiWDN99
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): 56-62 (1999)
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/TakedaAHMNCL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/TakedaAHMNCL99
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: 1898-1904
1997
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sp/ManjunathaiahN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sp/ManjunathaiahN97
M. Manjunathaiah, Denis A. Nicole:
Precise Analysis of Array Usage in Scientific Programs. Sci. Program. 6(2): 229-242 (1997)
1995
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/DebbageHN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/DebbageHN95
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): 400-411 (1995)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcn/DunlopHNHN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcn/DunlopHNHN95
Alistair N. Dunlop, Emilio Hernández, Oscar Naim, Tony Hey, Denis A. Nicole:
A toolkit for optimising parallel performance. HPCN Europe 1995: 548-553
1994
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/94/Nicole94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/94/Nicole94
Denis A. Nicole:
Targeting Transputer Systems, Past and Future. Automatic Parallelization 1994: 78-83
1993
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/DebbageHN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/DebbageHN93
Mark Debbage, Mark Bowen Hill, Denis A. Nicole:
Global communications on locally connected message-passing parallel computers. Concurr. Pract. Exp. 5(6): 491-509 (1993)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/PritchardN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/PritchardN93
David J. Pritchard, Denis A. Nicole:
Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. IEEE Trans. Parallel Distributed Syst. 4(1): 111-117 (1993)
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip10-3/Nicole93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/Nicole93
Denis A. Nicole:
High Performance Architecture Issues. Decentralized and Distributed Systems 1993: 23-30

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pc/AskewCCHMNP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pc/AskewCCHMNP88
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): 247-258 (1988)
1987
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/parle/PritchardACGHN87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/PritchardACGHN87
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: 278-294

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.