the paper distribution is complete. Please refer to your personal status page for further information on your personal topic and advisor. We would kindly ask you to contact your advisor as soon as possible. The assignment of the reading groups will... Read more
the paper distribution is complete. Please refer to your personal status page for further information on your personal topic and advisor. We would kindly ask you to contact your advisor as soon as possible. The assignment of the reading groups will follow shortly.
If you have any questions, let us know
The Runtime Verification Team
Registration is open!
Please register until December 22nd in the registration tab above.
Runtime verification is a dynamic analysis method, where an execution of a system is checked during runtime against a specification. Runtime verification serves as a supplement to traditional verification methods, such as model checking and testing, and can be used prior to deployment for analysis and debugging purposes. The major advantage of runtime verification, however, emerges in the role it plays after deployment, for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.
In this seminar, we take a look into state-of-the-art methods for runtime verification, study recent developments in this field, and investigate tools for monitoring reactive systems.
The seminar is split into two parts. The first part takes the form of reading sessions, where we lay the foundations of the topic. The second part consists of presentations about recent paper in the field of runtime verification.
For participation, please register under the registration tab above.
First Meeting: 18.01.2017 E1.1 R. 106 at 6pm
Reading Group: 06.03. -10.03.2017
Presentations: 20.03. -24.03.2017
For more information on the time slots and location please refer to the timetable.
Reading Group: The reading group phase involves five reading sessions in which we discuss some foundations of runtime verification. Each session starts with a 15-20 min presentation followed by a 60-75 min joint discussion.
More information on the topics handled in the reading group sessions can be found here.
Talks: The presentation phase starts immediately after the reading group phase. Each participent will give a talk on the topic that was assigned to her/him after the first Meeting. The topics list can be found here.
Summary: At the end of the seminar we would like you to submit a summary on the topic. More information about the content of the summary can be found here.