Autor/in Schupp, Sibylle Botta, Nicola 1 Cuoq, Pascal 1 Gollmann, Dieter 1 Haeri, Seyed Hossein 1 Hofmann, Mareen 1 Ionescu, Cezar 1 Kamph, Timo 1 Kautz, Christian 1 Mandel, Antoine 1 Mattsen, Sven 1 Rinast, Jonas 1 Salden, Peter 1 alle zeigenListe einklappen
State space reconstruction for on-line model checking with UPPAAL Rinast, Jonas Schupp, Sibylle Gollmann, Dieter 2013 - TUHH Open Research
Mathematical specification of an agend-based model of exchange Botta, Nicola Mandel, Antoine Hofmann, Mareen Schupp, Sibylle Ionescu, Cezar 2013 - TUHH Open Research
Driving a sound static software analyzer with branch-and-bound Mattsen, Sven Cuoq, Pascal Schupp, Sibylle 2013 - TUHH Open Research
Reusable components for lightweight mechanisation of programming languages Haeri, Seyed Hossein Schupp, Sibylle 2013 - TUHH Open Research
Just-in-Time Teaching für Software-Engineering [Just-in-time teaching for software engineering] Kamph, Timo Salden, Peter Schupp, Sibylle Kautz, Christian 2013 - TUHH Open Research