07011 Abstracts Collection – Runtime Verification

Finkbeiner, Bernd; Havelund, Klaus; Rosu, Grigore; Sokolsky, Oleg

doi:10.4230/DagSemProc.07011.1

Document

07011 Abstracts Collection – Runtime Verification

Authors Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7011
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-02-06

PDF

File

PDF

DagSemProc.07011.1.pdf

Filesize: 191 kB
15 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07011.1
URN: urn:nbn:de:0030-drops-13764

Subject Classification

Keywords

Program monitoring
dynamic program analysis
specification languages and logics
concurrency errors
program instrumentation
aspect-oriented programming
test oracles
fault protection
dynamic specification learning
combining static and dynamic analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

From January 2--6 2007 the Dagstuhl Seminar 07011 {\em `Runtime Verification'} 
was held in the International Conference and Research
Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented
their current research, and ongoing work and open problems were discussed.
Abstracts of the presentations given during the seminar have been put together in 
this paper. The first section is an executive summary that describes the seminar topics 
in general.

Cite As Get BibTex

Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, and Oleg Sokolsky. 07011 Abstracts Collection – Runtime Verification. In Runtime Verification. Dagstuhl Seminar Proceedings, Volume 7011, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008) https://doi.org/10.4230/DagSemProc.07011.1

Author Details

Bernd Finkbeiner

Klaus Havelund

Grigore Rosu

Oleg Sokolsky

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail