I agree that this site is using cookies. You can find further informations here.
X
Havelund, Klaus
35  results:
Articles (Online) X
Search for persons X
?
1

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

High-Integrity Runtime Verification:

Goodloe, Alwyn E. ; Havelund, Klaus
Computer.  57 (2024)  4 - p. 37-45 , 2024
Link: https://doi.org/10.1109/..
 
?
3

On monitoring linear temporal properties:

Havelund, Klaus ; Peled, Doron
Formal Methods in System Design.  , 2023
Link: https://doi.org/10.1007/..
 
?
4

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

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

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

What can we monitor over unreliable channels?:

Kauffman, Sean ; Havelund, Klaus ; Fischmeister, Sebastian
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 579-600 , 2021
Link: https://doi.org/10.1007/..
 
?
8

An extension of first-order LTL with rules with application..:

Havelund, Klaus ; Peled, Doron
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 547-563 , 2021
Link: https://doi.org/10.1007/..
 
?
9

First-order temporal logic monitoring with BDDs:

Havelund, Klaus ; Peled, Doron ; Ulus, Dogan
Formal Methods in System Design.  56 (2019)  1-3 - p. 1-21 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Introduction to Selected Papers from SPIN 2017:

Erdogmus, Hakan ; Havelund, Klaus
International Journal on Software Tools for Technology Transfer.  21 (2019)  3 - p. 247-248 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Inferring event stream abstractions:

Kauffman, Sean ; Havelund, Klaus ; Joshi, Rajeev.
Formal Methods in System Design.  53 (2018)  1 - p. 54-82 , 2018
Link: https://doi.org/10.1007/..
 
?
12

First international Competition on Runtime Verification: ru..:

Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo...
International Journal on Software Tools for Technology Transfer.  21 (2017)  1 - p. 31-70 , 2017
Link: https://doi.org/10.1007/..
 
?
13

Some recent advances in automated analysis:

Ábrahám, Erika ; Havelund, Klaus
International Journal on Software Tools for Technology Transfer.  18 (2015)  2 - p. 121-128 , 2015
Link: https://doi.org/10.1007/..
 
?
14

Establishing flight software reliability: testing, model ch..:

Groce, Alex ; Havelund, Klaus ; Holzmann, Gerard..
Annals of Mathematics and Artificial Intelligence.  70 (2014)  4 - p. 315-349 , 2014
Link: https://doi.org/10.1007/..
 
?
15

Rule-based runtime verification revisited:

Havelund, Klaus
International Journal on Software Tools for Technology Transfer.  17 (2014)  2 - p. 143-170 , 2014
Link: https://doi.org/10.1007/..
 
1-15