Joost Pieter Katoen visits ARiSE from Apr 10 until June (2017) to work with Krishnendu Chatterjee and Thomas A. Henzinger on probabilistic programming and parametric probabilistic systems.
website |
 Helmut Seidl visited ARiSE from Jan 18 until Feb 1 (2014) to work with Helmut Veith and Thomas A. Henzinger on verification of data-intense software with complex objects and dynamic data structures.
website |
 Goran Frehse visited ARiSE in August 2015 to work with Thomas A. Henzinger and Radu Grosu on hybrid systems.
website |
 Sayan Mitra will visit ARiSE from 30th Nov to 12th Dec (2015) to work with Ulrich Schmid, Ezio Bartocci, and Radu Grosu on
Small Model Approaches for Verifying Invariants and Progress in Hybrid Networks.
website |
