E-LIB Suche - Ergebnisse für: Havelund, Klaus

1

High-Integrity Runtime Verification:

Goodloe, Alwyn E. ; Havelund, Klaus
Computer. 57 (2024) 4 - p. 37-45 , 2024

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

2

Does Every Computer Scientist Need to Know Formal Methods?:

Broy, Manfred ; Brucker, Achim ; Fantechi, Alessandro...
Formal Aspects of Computing. , 2024

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

3

Concurrent runtime verification of data rich events:

Shafiei, Nastaran ; Havelund, Klaus ; Mehlitz, Peter
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 481-501 , 2023

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

4

Programming event monitors:

Havelund, Klaus ; Holzmann, Gerard J.
International Journal on Software Tools for Technology Transfer. 26 (2023) 1 - p. 33-47 , 2023

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

5

TP-DejaVu: Combining Operational and Declarative Runtime Ve..:

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

Havelund, Klaus ; Katsaros, Panagiotis ; Omer, Moran.. - p. 249-263 , 2023

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

6

Space Telemetry Analysis with PyContract:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Duckett, Bevin ; Havelund, Klaus ; Stewart, Luke - p. 272-288 , 2023

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

7

Autonomica: Ontological Modeling and Analysis of Autonomous..:

Elaasar, Maged ; Rouquette, Nicolas ; Havelund, Klaus...
INCOSE International Symposium. 33 (2023) 1 - p. 1570-1585 , 2023

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

8

On monitoring linear temporal properties:

Havelund, Klaus ; Peled, Doron
Formal Methods in System Design. , 2023

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

9

AI Assisted Programming: (AISoLA 2023 Track Introduction):

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Ahrendt, Wolfgang ; Havelund, Klaus - p. 351-354 , 2023

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

10

Assurance of Model-Based Autonomy for Robotic Space Mission:

, In: 2022 Annual Reliability and Maintainability Symposium (RAMS),

Feather, Martin S. ; Cornford, Steven L. ; Havelund, Klaus - p. 1-6 , 2022

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

11

A Python Library for Trace Analysis:

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

Dams, Dennis ; Havelund, Klaus ; Kauffman, Sean - p. 264-273 , 2022

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

12

Runtime Verification as Documentation:

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

Dams, Dennis ; Havelund, Klaus ; Kauffman, Sean - p. 157-173 , 2022

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

13

Discussing the Future Role of Documentation in the Context ..:

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

Havelund, Klaus ; Tegeler, Tim ; Smyth, Steven. - p. 3-9 , 2022

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

14

Specification-Based Monitoring in C++:

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

Havelund, Klaus - p. 65-87 , 2022

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

15

NASA Formal Methods: 14th International Symposium, NFM 2022..

Lecture Notes in Computer Science, 13260

Deshmukh, Jyotirmoy V ; Havelund, Klaus ; Perez, Ivan - 1st ed. 2022 . , 2022

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