Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Stefan Disch, Dipl.-Inf. Stefan Disch, Dipl.-Inf.
eMail disch@informatik.uni-freiburg.de
Website https//stefandisch.de


Jahre: 2016 | 2014 | 2012 | 2011 | 2009 | 2008 | 2007 | 2006

    2016

    Icon: top nach oben zur Jahresübersicht

    2014

    Icon: top nach oben zur Jahresübersicht

    2012

    Icon: top nach oben zur Jahresübersicht

    2011

    Icon: top nach oben zur Jahresübersicht

    2009

    Icon: top nach oben zur Jahresübersicht

    2008

    Icon: top nach oben zur Jahresübersicht

    2007

    Icon: top nach oben zur Jahresübersicht
    • Stefan Disch, Christoph Scholl
      Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
      2007 ASP Design Automation Conf.
    • Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
      2007 Berlin / Heidelberg Automated Technology for Verification and Analysis, Springer, Band: 4762, Seiten: 425 - 440

    2006

    Icon: top nach oben zur Jahresübersicht
    • Florian Pigorsch, Christoph Scholl, Stefan Disch
      Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, And Quantifier Scheduling
      2006 GI/ITG/GMM Workshop“Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Florian Pigorsch, Christoph Scholl, Stefan Disch
      Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
      2006 Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE Computer Society Press, Seiten: 89 - 96
    • Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Automatic verification of hybrid systems with large discrete state space
      2006 Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4218