Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Florian Pigorsch, Dipl.-Inf. Florian Pigorsch, Dipl.-Inf.
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 8196
Fax +49 761 203 8142
eMail pigorsch@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~pigorsch/
S/MIME-Zertifikat Florian_Pigorsch.pem


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

    2016

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Florian Pigorsch
      The QBF Solver AIGSolve
      2016 International Workshop on Quantified Boolean Formulas

    2014

    Icon: top nach oben zur Jahresübersicht

    2013

    Icon: top nach oben zur Jahresübersicht

    2012

    Icon: top nach oben zur Jahresübersicht

    2011

    Icon: top nach oben zur Jahresübersicht

    2010

    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
    • 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