Autor/in Dierks, Henning Damm, Werner 2 Disch, Stefan 1 Fränzle, Martin 1 Hagemann, Willem 1 Hansen, Michael R. 1 Metzner, Alexander 1 Oehlerking, Jens 1 Pigorsch, Florian 1 Pnueli, Amir 1 Sauter, Gerald 1 Scholl, Christoph 1 Stierand, Ingo 1 Waldmann, Uwe 1 Wirtz, BorisWirtz, Boris 1 alle zeigenListe einklappen
Exact and Fully Symbolic Verication of Linear Hybrid Automata with Large Discrete State Spaces Damm, Werner Dierks, Henning Disch, Stefan Hagemann, Willem Pigorsch, Florian Scholl, Christoph Waldmann, Uwe 2012 - ReposIt
Towards Component Based Design of Hybrid Systems: Safety and Stability Damm, Werner Dierks, Henning Oehlerking, Jens Pnueli, Amir 2010 - ReposIt
Efficient model-checking for real-time task networks Dierks, Henning Metzner, Alexander Stierand, Ingo 2009 - ReposIt
Light-weight hybrid model checking facilitating online prediction of temporal properties Sauter, Gerald Dierks, Henning Fränzle, Martin Hansen, Michael R. 2009 - ReposIt