Denis A. Nicole

42 papers A* 1A 3B 3C 1Misc 3Journal 17Unranked 13

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