PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Havelund, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
Some recent advances in automated analysis.

, and . STTT, 18 (2): 121-128 (2016)

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.

Janos Klaus University of Stuttgart

Klaus Hentschel

Apl. Prof. Dr. -Ing. Klaus Leonhardt University of Stuttgart

Univ. -Prof. Dr. Klaus Hentschel University of Stuttgart

Jost Lemmerich. Max von Laue - Furchtlos und treu: Eine Biographie des Nobelpreisträgers für Physik. 591 pp., illus. Rangsdorf: Basilisken-Presse, 2020. €68 (cloth); ISBN 9783941365568.. Isis, 112 (3): 622-623 (2023)

Klaus Zintz

 

Other publications of authors with the same name

InterAspect: aspect-oriented instrumentation with GCC., , , , , , , and . Formal Methods in System Design, 41 (3): 295-320 (2012)Prototyping a Domain-Specific Language for Monitor and Control Systems., , , , and . JACIC, 7 (11): 338-364 (2010)Automated Runtime Verification with Eagle., and . MSVVEIS, INSTICC Press, (2005)Experience with Rule-Based Analysis of Spacecraft Logs., and . FTSCS, volume 476 of Communications in Computer and Information Science, page 1-16. Springer, (2014)Aspect-Oriented Race Detection in Java., and . IEEE Trans. Software Eng., 36 (4): 509-527 (2010)Verification and validation meet planning and scheduling., , and . STTT, 16 (1): 1-12 (2014)Runtime Verification with State Estimation., , , , , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 193-207. Springer, (2011)Rule Systems for Runtime Verification: A Short Tutorial., , , and . RV, volume 5779 of Lecture Notes in Computer Science, page 1-24. Springer, (2009)Confirmation of deadlock potentials detected by runtime analysis., , , and . PADTAD, page 41-50. ACM, (2006)Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior., and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 187-202. Springer, (2014)