License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07011.1
URN: urn:nbn:de:0030-drops-13764
URL: https://drops.dagstuhl.de/opus/volltexte/2008/1376/
Go to the corresponding Portal


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

07011 Abstracts Collection -- Runtime Verification

pdf-format:
abstractscollection.1376.pdf (0.2 MB)


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.

BibTeX - Entry

@InProceedings{finkbeiner_et_al:DagSemProc.07011.1,
  author =	{Finkbeiner, Bernd and Havelund, Klaus and Rosu, Grigore and Sokolsky, Oleg},
  title =	{{07011 Abstracts Collection – Runtime Verification}},
  booktitle =	{Runtime Verification},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7011},
  editor =	{Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1376},
  URN =		{urn:nbn:de:0030-drops-13764},
  doi =		{10.4230/DagSemProc.07011.1},
  annote =	{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}
}

Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation,
Freie Schlagwörter (englisch): aspect-oriented programming, test oracles, fault protection, dynamic specification learning, combining static and dynamic analysis
Collection: 07011 - Runtime Verification
Issue Date: 2008
Date of publication: 06.02.2008


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI