E-LIB Suche - Ergebnisse für: Nicole, Denis A.

1

ESBMC: Scalable and Precise Test Generation based on the Fl..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Gadelha, Mikhail R. ; Menezes, Rafael ; Monteiro, Felipe R... - p. 525-529 , 2020

Link: https://doi.org/10.1007/..

2

An Efficient Floating-Point Bit-Blasting API for Verifying ..:

, In: Lecture Notes in Computer Science; Software Verification,

Gadelha, Mikhail R. ; Cordeiro, Lucas C. ; Nicole, Denis A. - p. 178-195 , 2020

Link: https://doi.org/10.1007/..

3

SMT-based refutation of spurious bug reports in the clang s..:

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

Gadelha, Mikhail R. ; Steffinlongo, Enrico ; Cordeiro, Lucas C... - p. 11-14 , 2019

Link: https://dl.acm.org/doi/1..

4

SMT-Based Refutation of Spurious Bug Reports in the Clang S..:

, In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

R. Gadelha, Mikhail ; Steffinlongo, Enrico ; C. Cordeiro, Lucas.. - p. 11-14 , 2019

Link: https://doi.org/10.1109/..

5

ESBMC v6.0: Verifying C Programs Using k-Induction and Inva..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Gadelha, Mikhail R. ; Monteiro, Felipe ; Cordeiro, Lucas. - p. 209-213 , 2019

Link: https://doi.org/10.1007/..

6

ESBMC 5.0: An Industrial-Strength C Model Checker:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018

Link: https://doi.org/10.1145/..

7

ESBMC 5.0: an industrial-strength C model checker:

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

Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018

Link: https://dl.acm.org/doi/1..

8

Towards counterexample-guided k-induction for fast bug dete..:

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

Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Cordeiro, Lucas C.. - p. 765-769 , 2018

Link: https://dl.acm.org/doi/1..

9

Applying symbolic bounded model checking to the 2012 RERS g..:

Morse, Jeremy ; Cordeiro, Lucas ; Nicole, Denis.
International Journal on Software Tools for Technology Transfer. 16 (2014) 5 - p. 519-529 , 2014

Link: https://doi.org/10.1007/..

10

Model checking LTL properties over ANSI-C programs with bou..:

Morse, Jeremy ; Cordeiro, Lucas ; Nicole, Denis.
Software & Systems Modeling. 14 (2013) 1 - p. 65-81 , 2013

Link: https://doi.org/10.1007/..

11

Earth system modelling with Windows Workflow Foundation:

Fairman, Matthew J. ; Price, Andrew R. ; Xue, Gang...
Future Generation Computer Systems. 25 (2009) 5 - p. 586-597 , 2009

Link: https://doi.org/10.1016/..

12

MyCoG.NET: a multi‐language CoG toolkit:

Paventhan, A. ; Takeda, Kenji ; Cox, Simon J..
Concurrency and Computation: Practice and Experience. 19 (2006) 14 - p. 1885-1900 , 2006

Link: https://doi.org/10.1002/..

13

Federated Database Services for Wind Tunnel Experiment Work..:

Paventhan, A. ; Takeda, Kenji ; Cox, Simon J..
Scientific Programming. 14 (2006) 3-4 - p. 173-184 , 2006

Link: https://doi.org/10.1155/..

14

A distributed scientific data archive using the Web, XML an..:

Papiani, Mark ; Wason, Jasmin L. ; Dunlop, Alistair N..
ACM SIGMOD Record. 28 (1999) 3 - p. 56-62 , 1999

Link: https://dl.acm.org/doi/1..

15

A distributed scientific data archive using the Web, XML an..:

Papiani, Mark ; Wason, Jasmin L. ; Dunlop, Alistair N..
ACM SIGMOD Record. 28 (1999) 3 - p. 56-62 , 1999

Link: https://doi.org/10.1145/..