Uni-Logo
English       Login
Arbeitsgruppe Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Georges Morbé, Dr. Georges Morbé, Dr.
Adresse Fakultät für angewandte Wissenschaften
Albert-Ludwigs-Universität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland
Büro Gebäude 51, Raum 02..032
Telefon +49 761 203 8149
eMail morbe@informatik.uni-freiburg.de


Jahre: 2015 | 2014 | 2013 | 2012 | 2011

    2015

    Icon: top nach oben zur Jahresübersicht
    • Georges Morbé, Christoph Scholl
      Fully symbolic TCTL model checking for complete and incomplete real-time systems
      2015 Science of Computer Programming

    2014

    Icon: top 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
    • Georges Morbé, Christoph Scholl
      Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems
      2014 AVACS Technical Report, Nummer 104

    2013

    Icon: top nach oben zur Jahresübersicht

    2012

    Icon: top nach oben zur Jahresübersicht

    2011

    Icon: top nach oben zur Jahresübersicht