( en | de | ru )

 

Disambiguation of "Havelund, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Rover Communication Using Hierarchical State Machines with Scala.

, and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 447-461. Springer, (2017)

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

David Klaus

Helmut Klaus

Katharina Klaus

Volker Klauss

 

Other publications of authors with the same name

Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability., and . Models, Mindsets, Meta, volume 11200 of Lecture Notes in Computer Science, page 218-234. Springer, (2018)Using Runtime Analysis to Guide Model Checking of Java Programs.. SPIN, volume 1885 of Lecture Notes in Computer Science, page 245-264. Springer, (2000)Monitoring with Data Automata.. ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 254-273. Springer, (2014)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)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)Runtime Verification: From Propositional to First-Order Temporal Logic., and . RV, volume 11237 of Lecture Notes in Computer Science, page 90-112. Springer, (2018)TP-DejaVu: Combining Operational and Declarative Runtime Verification., , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 249-263. Springer, (2024)