

Georges Morbé, Dr. 

Fakultät für angewandte Wissenschaften
AlbertLudwigsUniversität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland 
Gebäude 51, Raum 02..032 
+49 761 203 8149 
morbe@informatik.unifreiburg.de 
Jahre: 2015  2014  2013  2012  2011  alle anzeigen nach oben zur Jahresübersicht Georges Morbé, Christoph Scholl
Fully symbolic TCTL model checking for complete and incomplete realtime systems 2015 Science of Computer Programming » Kurzfassung anzeigen« Kurzfassung verbergen nach oben zur Jahresübersicht Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems 2014 Haifa Haifa Verification Conference (HVC), Yahav, Eran, Band: 8855, Seiten: 30  47 » Kurzfassung anzeigen« Kurzfassung verbergen  Georges Morbé, Christoph Scholl
Fully Symbolic TCTL Model Checking for Complete and Incomplete RealTime Systems 2014 AVACS Technical Report, Nummer 104 » Kurzfassung anzeigen« Kurzfassung verbergen nach oben zur Jahresübersicht Georges Morbé, Christoph Scholl
Fully Symbolic Model Checking for Incomplete Systems of Timed Automata 2013 Electronic Communications of the EASST, Proceedings of AVOCS 2013, Band: 66 nach oben zur Jahresübersicht nach oben zur Jahresübersicht Georges Morbé, Florian Pigorsch, Christoph Scholl
Fully Symbolic Model Checking for Timed Automata 2011 CAV, Springer, Band: 6806, Seiten: 616  632  Georges Morbé, Christoph Scholl
Fully Symbolic Model Checking for Timed Automata 2011 MBMV, Seiten: 9  18
