E-LIB Suche - Ergebnisse für: Havelund, Klaus

1

TP-DejaVu: Combining Operational and Declarative Runtime Ve..:

Havelund Klaus ; Katsaros Panagiotis ; Omer Moran..
doi:10.5281/zenodo.8322558. , 2023

Link: https://zenodo.org/recor..

2

Information-Driven and Risk-Bounded Autonomy for Scientist ..:

Timmons, Eric M ; Reeves, Marlyse ; Ayton, Benjamin J...
10.2514/6.2021-4023. , 2022

Link: https://hdl.handle.net/1..

3

First international Competition on Runtime Verification: ru..:

Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo...
International Journal on Software Tools for Technology Transfer. , 2020

Link: https://resolver.obvsg.a..

4

First international Competition on Runtime Verification: ru..:

Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo...
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10009-017-0454-5. , 2019

Link: https://hdl.handle.net/2..

5

A Shared Challenge in Behavioural Specification (Dagstuhl S..:

Havelund, Klaus ; Leucker, Martin ; Reger, Giles.
Is Part Of Dagstuhl Reports, Volume 7, Issue 11 (2018). , 2018

Link: https://doi.org/10.4230/..

6

First international Competition on Runtime Verification:rul..:

Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo...
Bartocci , E , Falcone , Y , Bonakdarpour , B , Colombo , C , Decker , N , Havelund , K , Joshi , Y , Klaedtke , F , Milewicz , R , Reger , G , Rosu , G , Signoles , J , Thoma , D , Zalinescu , E & Zhang , Y 2017 , ' First international Competition on Runtime Verification : rules, benchmarks, tools, and final results of CRV 2014 ' , International Journal on Software Tools for Technology Transfer , pp. 1-40 . https://doi.org/10.1007/s10009-017-0454-5. , 2017

Link: https://research.manches..

7

What is a Trace? A Runtime Verification Perspective:

Reger, Giles ; Havelund, Klaus
Reger , G & Havelund , K 2016 , What is a Trace? A Runtime Verification Perspective . in ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications . Lecture Notes in Computer Science , vol. 9953 , pp. 339-355 , 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) , Corfu , Greece , 5/10/16 . https://doi.org/10.1007/978-3-319-47169-3_25. , 2016

Link: https://research.manches..

8

Domain-Specific Languages with Scala:

Artho, Cyrille ; Havelund, Klaus ; Kumar, Rahul.
LNCS. , 2015

Link: http://urn.kb.se/resolve..

9

Requirements-Driven Log Analysis (Extended Abstract):

Havelund, Klaus
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-34691-0_1. , 2012

Link: https://hal.inria.fr/hal..

10

Requirements-Driven Log Analysis (Extended Abstract):

Havelund, Klaus
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-34691-0_1. , 2012

Link: https://hal.inria.fr/hal..

11

10451 Abstracts Collection – Runtime Verification, Diagnosi..:

Havelund, Klaus ; Leucker, Martin ; Sachenbacher, Martin..
Is Part Of Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011). , 2011

Link: https://doi.org/10.4230/..

12

10451 Executive Summary – Runtime Verification, Diagnosis, ..:

Havelund, Klaus ; Leucker, Martin ; Sachenbacher, Martin..
Is Part Of Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011). , 2011

Link: https://doi.org/10.4230/..

13

An Entry Point for Formal Methods: Specification and Analys..:

Barringer, Howard ; Groce, Alex ; Havelund, Klaus.
http://arxiv.org/abs/1003.1682. , 2010

Link: http://arxiv.org/abs/100..

14

07011 Executive Summary – Runtime Verification:

Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore.
Is Part Of Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008). , 2008

Link: https://doi.org/10.4230/..

15

07011 Abstracts Collection – Runtime Verification:

Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore.
Is Part Of Dagstuhl Seminar Proceedings, Volume 7011, Runtime Verification (2008). , 2008

Link: https://doi.org/10.4230/..