E-LIB Suche - Ergebnisse für: Naumann, David

1

Verifying a C Implementation of Derecho's Coordination Mech..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Nagasamudram, Ramana ; Beringer, Lennart ; Birman, Ken.. - p. 99-117 , 2024

2

Association between Center Volume and Allocation to Curativ..:

Kamarajah, Sivesh ; Baia, Marco ; Naumann, David...
European Journal of Surgical Oncology. 49 (2023) 2 - p. e34-e35 , 2023

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

3

Assume but Verify: Deductive Verification of Leaked Informa..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Murray, Toby ; Tiwari, Mukesh ; Ernst, Gidon. - p. 1746-1760 , 2023

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

4

The WhyRel Prototype for Modular Relational Verification of..:

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

Nagasamudram, Ramana ; Banerjee, Anindya ; Naumann, David A. - p. 133-151 , 2023

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

5

An Algebra of Alignment for Relational Verification:

Antonopoulos, Timos ; Koskinen, Eric ; Le, Ton Chanh...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 573-603 , 2023

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

6

A Relational Program Logic with Data Abstraction and Dynami..:

Banerjee, Anindya ; Nagasamudram, Ramana ; Naumann, David A..
ACM Transactions on Programming Languages and Systems. 44 (2022) 4 - p. 1-136 , 2022

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

7

Alignment Completeness for Relational Hoare Logics:

, In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Nagasamudram, Ramana ; Naumann, David A. - p. 1-13 , 2021

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

8

Alignment completeness for relational hoare logics:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Nagasamudram, Ramana ; Naumann, David A. - p. 1-13 , 2021

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

9

Preconceptions, experience and future expectations of patie..:

Baig, Mariam ; Randhawa, Neena ; Naumann, David..
European Journal of Surgical Oncology. 46 (2020) 2 - p. e75-e76 , 2020

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

10

Thirty-Seven Years of Relational Hoare Logic: Remarks on It..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Naumann, David A. - p. 93-116 , 2020

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

11

Verified sequential Malloc/Free:

, In: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management,

Appel, Andrew W. ; Naumann, David A. - p. 48-59 , 2020

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

12

Type-Based Declassification for Free:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Ngo, Minh ; Naumann, David A. ; Rezk, Tamara - p. 181-197 , 2020

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

13

Pre‐hospital transfusion: Trials and tribulations:

Doughty, Heidi ; Naumann, David
Transfusion Medicine. 30 (2020) 2 - p. 81-83 , 2020

Link: https://doi.org/10.1111/..

14

Whither Specifications as Programs:

, In: Unifying Theories of Programming; Lecture Notes in Computer Science,

Naumann, David A. ; Ngo, Minh - p. 39-61 , 2019

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

15

Sektorkopplung – Was ist darunter zu verstehen?:

Wietschel, Martin ; Plötz, Patrick ; Klobasa, Marian...
Zeitschrift für Energiewirtschaft. 43 (2018) 1 - p. 1-10 , 2018

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