Malte Schmitz received an award for the best master degree in computer science in the academic year 2014/15. The award was funded by capgemini. He got the prize money of 1000 Euro.
The goal of this meeting is to bring together the two communities of runtime verification and static analysis, to combine the robustness of static analysis and the flexibility of runtime verification. Recent years have seen, on one hand, the use of static analysis in the context of runtime verification to reduce the size of runtime models by pruning certain scenarios that are statically analyzed, on the other hand, the use of runtime verification in the context of static analysis to ease verification burden by deferring certain properties to be verified at runtime.
The kick-off meeting of the EU COST Action Runtime Verification beyond Monitoring (ARVI) has taken place in Brussels in December 2014. Prof. Martin Leucker was elected as the chair of this action and the University of Lübeck became the grant holding institution.
Torben Scheffel received an award for the best master degree in computer science in the academic year 2013/14. The award was founded by capgemini. The prize money of 1000 Euro is divided between Torben Scheffel, Matthias Ernst and Christian Wißmach who all achieved the same mark.
Im Rahmen dieser Fallstudie, die in Zusammenarbeit mit dem IMIS und dem ISP angeboten wird, soll ein Tablet entwickelt werden, welches den Anforderungen der nicht versierten Computernutzer entspricht. Hierbei ist insbesondere an ältere Menschen gedacht, die bislang wenig Erfahrung mit entsprechenden Systemen machen konnten.
Für ihre Veranstaltung "Spezifikation und Modellierung" im Wintersemester 2013/14 wurde Dr. rer. nat. Annette Stümpel der Walter-Dosch-Lehrpreis der Universität zu Lübeck verliehen. Der Lehrpreis wird für hervorragende Lehre in den MINT-Fächern auf Basis der studentischen Evaluationen an eine nichtprofessorale Dozentin bzw. einen nichtprofessoralen Dozent vergeben. Als die Urkunde am 24.
Der vernetzte Operationssaal der Zukunft: 10.000 Euro für das Center for Medical Software and Systems Engineering
Preisträger des Uni-Transferpreises 2013 sind Prof. Dr. Stefan Fischer und Prof. Dr. Martin Leucker mit ihrem Projekt „Center for Medical Software and Systems Engineering“ (CMSSE). Insgesamt vier hochkarätige Transferprojekte aus der Universität zu Lübeck waren für die mit 10.000 Euro dotierte Auszeichnung nominiert worden.
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.
