I agree that this site is using cookies. You can find further informations here.
X
Nicole, D.
5806  results:
Bookchapter (Online) X
Search for persons X
?
1

The Practice Of Hospitium On The Roman Frontier:

, In: Frontiers in the Roman World,
Nicols, J. - p. 321-334 , 2011
Link: https://doi.org/10.1163/..
 
?
2

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

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

A 1.4-million-element CCD image sensor:

, In: 1987 IEEE International Solid-State Circuits Conference. Digest of Technical Papers,
Stevens, E. ; Teh-Hsuang Lee ; Nicols, D.... - p. 114,115 , 1987
Link: https://doi.org/10.1109/..
 
?
5

The Restorative Influence of Virtual Reality Environment De..:

, In: 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW),
Nicoly, Jalynn ; Masters, Rachel ; Gaddy, Vidya.. - p. 701-702 , 2024
Link: https://doi.org/10.1109/..
 
?
6

What's Next in AV Standards and Simulation Validation?:

, In: Road Vehicle Automation 9; Lecture Notes in Mobility,
Kimmel, Shawn ; Nicols, George ; Straub, Edward. - p. 123-139 , 2022
Link: https://doi.org/10.1007/..
 
?
7

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

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

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

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

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

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

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

List of Contributors:

, In: Malignant Pleural Mesothelioma,
Accardo, Marina ; Adamo, Vincenzo ; Andrea, Ronchi... - p. ix-xi , 2019
Link: https://doi.org/10.1016/..
 
?
15

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