The ISP unit testing tool jUnitRV has been presented by Daniel Thoma at the NASA Formal Methods Symposium at the NASA Ames Research Center in Mountain View, California, USA. jUnitRV is a tool extending the unit testing framework jUnit by runtime verification capabilities.
The ISP receives a grant for the research project ZeLiM. It is jointly carried out with the ECC Repenning GbmH, a Lithium-Ion-Battery manufacturer, and deals with centralized monitoring of stationary energy storage systems based on lithium ion batteries. Details of the project can be found in the following press release (in German).
Der diesjährige KoSSE-Workshop findet am 29.01. in den MediaDocs zum Thema "Entwicklung von Web-Applikationen" statt. Weitere Details findet man auf der Kosse-Seite.
The yearly meeting of researchers in the field of concurrency theory D-CON takes place in Lübeck on March 7 and 8, 2013. Further details can be found on the D-CON 2013 website.
René Schönfelder received an award for the best master degree in computer science in the academic year 2011/12 with the top mark 1,0. The award was founded by capgemini. The prize money of 1000 Euro is divided between René Schönfelder and Marcel Poelker who also achieved the top mark.
The ISP offers a seminar in the field of formal methods next semester (WS 2012/13).
The seminar addresses logic, model- and query checking techniques as tools for the formal specification and analysis of state-based models, e.g. of soft- and hardware systems or business processes.
Martin Leucker has given an invited tutorial on Runtime Verification and Runtime Reflection at the first european conference of the prognostics and health management society (PHM'12) in Dresden, Germany. Further information on the tutorials can be obtained at PHM's tutorial page.
