Concepedia

Klaus Havelund

KH

Statistics

Publications

6

Citations

209

H-Index

6

Active since

1989

Affiliations

Institute of Information Security(Current)

Klaus Havelund is an author at Institute of Information Security specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationVerificationCommunicationSystem SoftwareSoftware TestingSignal Processing

Publications per year

1989–2007

6

Publications

6

The RAISE language, method and tools

Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner et al. · Formal Aspects of Computing · 1989 · 61 citations

Visualization of Concurrent Program Executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden · Proceedings - International Computer Software & Applications Conference · 2007 · 38 citations

Software Maintenance, Engineering, Software Engineering +22

Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

Klaus Havelund, Arne Skou, Kim G. Larsen et al. · BRICS Report Series · 1997 · 37 citations · Full text

Engineering, Verification, Multimedia Network +29

Formal Modelling and Analysis of an Audio/Video Protocol: an Industrial Case Study using Uppaal

Klaus Havelund, Kim G. Larsen, Arne Skou · VBN Forskningsportal (Aalborg Universitet) · 1997 · 34 citations

Formal Modelling, Engineering, Video Communication +11

Using Model Checking to Validate AI Planner Domain Models

John Penix, Charles Pecheur, Klaus Havelund · 1999 · 29 citations

1–5 of 6