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

1

Leveraging Windows Workflow Foundation for Scientific Workf..:

, In: 22nd International Conference on Data Engineering Workshops (ICDEW'06),

Paventhan, A. ; Takeda, K. ; Cox, S.J.. - p. 65 , 2006

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

2

An Evaluation of Cost Effective Parallel Computers for CFD:

, In: Parallel Computational Fluid Dynamics 1998,

Emerson, D.R. ; Maguire, K. ; Takeda, K.. - p. 223-230 , 1999

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

3

Lightweight Shape Analysis Based on Physical Types:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Nicole, Olivier ; Lemerre, Matthieu ; Rival, Xavier - p. 219-241 , 2022

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

4

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/..

5

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/..

6

A novel low-cost aftertreatment solution for lean‑burn gas ..:

, In: Proceedings; Heavy-Duty-, On- und Off-Highway-Motoren 2019,

Keenan, Matthew ; Nicole, Jacques ; Rogers, Ben - p. 53-67 , 2020

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

7

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/..

8

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/..

9

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..

10

List of Contributors:

, In: Malignant Pleural Mesothelioma,

Accardo, Marina ; Adamo, Vincenzo ; Andrea, Ronchi... - p. ix-xi , 2019

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

11

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/..

12

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..

13

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..

14

11. E-Learning and the Remaking of Pacific Studies: An Evol..:

, In: Remaking Area Studies,

Hempenstall, Peter ; Nicole, Robert ; Wesley-Smith, Terence - p. 196-210 , 2017

Link: https://doi.org/10.1515/..

15

"That Neighborhood is Sketchy!" : Examining Online Conve..:

, In: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems,

Erete, Sheena ; Nicole, Love ; Mumm, Jesse.. - p. 1180-1186 , 2016

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