2008/01/01 by Bernd Finkbeiner, Finkbeiner, Bernd, Klaus Havelund +5
Computer Science · #Parallel Computing and Optimization Techniques #Program monitoring #aspect-oriented programming #combining static and dynamic analysis #concurrency errors #dynamic program analysis #dynamic specification learning #fault protection #program instrumentation #specification languages and logics #test oracles
paper · doi:10.4230/dagsemproc.07011.1
openalex publication_date 2008/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.