News
|
21.04.2017
|
Grades OnlineDear students, the final grade can be seen on your personal status page. We are glad to have had you in our seminar. We wish you all a good start in the next semester and hope to see you again in further lectures. Your RV-Seminar-Team |
|
06.03.2017
|
Handout R2A handout for the reading group tomorrow can be be found under Information/Materials... |
|
04.03.2017
|
First Reading GroupDear Students, our first reading group session starts on Monday at 9:15 in Room 1.06. The session will be moderated by your colleagues Carolyn, Nora and Christopher, who will give a short introduction to our first topic, followed by a joint discussion. In... Read more Dear Students, our first reading group session starts on Monday at 9:15 in Room 1.06. The session will be moderated by your colleagues Carolyn, Nora and Christopher, who will give a short introduction to our first topic, followed by a joint discussion. In order to have a fruitful discussion, we kindly ask you to prepare a list of questions, that you would like to clarify and some aspects of which you think we should go more into detail. We are looking forward to seeing you again |
|
19.01.2017
|
Paper assignment on personal status pageDear Students, 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 Dear Students, 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 |
|
13.12.2016
|
RegistrationRegistration is open! Please register until December 22nd in the registration tab above. |
Runtime Verification
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.
Important Dates
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.
Organization
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.