( en | de | ru )

 

Disambiguation of "Havelund, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
The Fork Calculus.

, and . ICALP, volume 700 of Lecture Notes in Computer Science, page 544-557. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fabian Klaus

Helmut Klaus

Karl-August Klauser

Volker Klauss

Katharina Klaus

 

Other publications of authors with the same name

Applying Model Checking in Java Verification., and . SPIN, volume 1680 of Lecture Notes in Computer Science, page 216-231. Springer, (1999)Actor-Based Runtime Verification with MESA., , and . RV, volume 12399 of Lecture Notes in Computer Science, page 221-240. Springer, (2020)Experiments in Theorem Proving and Model Checking for Protocol Verification., and . FME, volume 1051 of Lecture Notes in Computer Science, page 662-681. Springer, (1996)Space Telemetry Analysis with PyContract., , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 272-288. Springer, (2023)Runtime Verification: From Propositional to First-Order Temporal Logic., and . RV, volume 11237 of Lecture Notes in Computer Science, page 90-112. Springer, (2018)Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)., , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 3-9. Springer, (2022)TP-DejaVu: Combining Operational and Declarative Runtime Verification., , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 249-263. Springer, (2024)K: A Wide Spectrum Language for Modeling, Programming and Analysis., , , and . MODELSWARD, page 111-122. SciTePress, (2016)Data Automata in Scala.. TASE, page 1-9. IEEE Computer Society, (2014)Using Runtime Analysis to Guide Model Checking of Java Programs.. SPIN, volume 1885 of Lecture Notes in Computer Science, page 245-264. Springer, (2000)