Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Seufert, Dr. Tobias Seufert, Dr.
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

Tobias Seufert

Jahre: 2023 | 2022 | 2021 | 2019 | 2018 | 2017

    2023

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
      Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
      2023 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Band: 42, Nummer: 4, Seiten: 1351 - 1364
    • Tobias Seufert
      On Safety Verification using PDR and Reverse PDR
      2023 Dissertation

    2022

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
      Making PROGRESS in Property Directed Reachability
      2022 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022)

    2021

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
      Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR
      CoRR, Band: 2105.09169, 2021
    • Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
      ICP and IC3
      2021 DATE, IEEE
    • Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Christoph Scholl, Bernd Becker
      ICP and IC3 with Stronger Generalization
      2021 MBMV

    2019

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl
      fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability
      2019 Conference on Design, Automation and Test in Europe (DATE)
    • Tobias Seufert, Christoph Scholl
      fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability (extended abstract)
      2019 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2018

    Icon: top nach oben zur Jahresübersicht

    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”