Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Seufert, M. Sc. Tobias Seufert, M. Sc.
Adresse Technische Fakultät
Albert-Ludwigs-Universität
Georges-Köhler-Allee 51
79110 Freiburg
Büro Gebäude 51, Raum 02...032
Telefon +49 (0) 761 203 8149
eMail seufert@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~seufert


Jahre: 2018 | 2017

    2018

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl
      Combining PDR and Reverse PDR for Hardware Model Checking
      2018 Conference on Design, Automation and Test in Europe (DATE)

    2017

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl
      Sequential Verification Using Reverse PDR
      2017 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”