Runtime Verification Bernd Finkbeiner

News

21.04.2017

Grades Online

Dear 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 R2

A handout for the reading group tomorrow can be be found under Information/Materials...

04.03.2017

First Reading Group

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... 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
Your RV-Seminar Team    

19.01.2017

Paper assignment on personal status page

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... 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

Registration

Registration 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 GroupThe 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.

 



If you encounter technical problems, please contact the administrators