Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Tobias Nopper, Dr. Tobias Nopper, 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..031
Telefon +49 (0)761 203 8186
Fax +49 (0)761 203 8178
eMail nopper@informatik.uni-freiburg.de
Website http://abs.informatik.uni-freiburg.de/~nopper/


Jahre: 2013 | 2010 | 2009 | 2008 | 2007 | 2005 | 2004

    2013

    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
    • Tobias Nopper, Christoph Scholl, Bernd Becker
      Computation of Minimal Counterexamples by Using Black Box Techniques and Symbolic Methods
      2007 San Jose International Conference on Computer Aided Design (ICCAD), IEEE Computer Society Press
    • Tobias Nopper, Christoph Scholl
      Counterexample Generation for Incomplete Designs
      2007 Erlangen GI/ITG/GMM Workshop“Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Aachen, Seiten: 193 - 202
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns
      SFB/TR 14 AVACS Technical Report, Nummer: 31, 2007

    2005

    Icon: top nach oben zur Jahresübersicht
    • Tobias Nopper, Christoph Scholl
      Flexible Modeling of Unknowns in Model Checking for Incomplete Designs
      2005 8. GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2004

    Icon: top nach oben zur Jahresübersicht
    • Tobias Nopper, Christoph Scholl
      Approximate Symbolic Model Checking for Incomplete Designs
      2004 Austin, Texas Formal Methods in Computer-Aided Design, Springer Verlag, Band: 3312, Seiten: 290 - 305
    • Tobias Nopper, Christoph Scholl
      Approximate Symbolic Model Checking of Incomplete Designs
      2004 13th Int’l Workshop on Logic Synth., Band: 13, Seiten: 377 - 384
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking of Incomplete Designs
      Technical Report Albert-Ludwigs-University, Nummer: 201, 2004