Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Stefan Kupferschmid, Dr. Stefan Kupferschmid, Dr.
Adresse Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 51 79110 Freiburg im Breisgau Deutschland
Büro Gebäude 51, Raum 01..035
Telefon ++49 +761 203-8155
Fax ++49 +761 203-8142
eMail skupfers@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~skupfers/

Stefan Kupferschmid

Jahre: 2013 | 2012 | 2011 | 2010 | 2009 | 2008

    2013

    Icon: top nach oben zur Jahresübersicht
    • Matthias Sauer, Sven Reimer, Stefan Kupferschmid, Tobias Schubert, Paolo Marin, Bernd Becker
      Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits
      2013 RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
    • Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
      Recent Improvements in the SMT Solver iSAT
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Der Andere Verlag, Seite: 266
      Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
      ISBN: 978-3-86247-411-0
      Stefan Kupferschmid

    2012

    Icon: top nach oben zur Jahresübersicht
    • Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Sudhakar M. Reddy, Bernd Becker
      Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation
      2012 Int'l Conf. on VLSI Design
    • Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
      Functional Justification in Sequential Circuits using SAT and Craig Interpolation
      2012 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
      Functional Test of Small-Delay Faults using SAT and Craig Interpolation
      2012 Int'l Test Conf., Seiten: 1 - 8

    2011

    Icon: top nach oben zur Jahresübersicht
    • Stefan Kupferschmid, Bernd Becker
      Craig interpolation in the presence of non-linear constraints
      2011 Formal Modeling and Analysis of Timed Systems, Springer, Seiten: 240 - 255
    • Stefan Kupferschmid, Bernd Becker
      Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen
      2011 OFFIS-Institut für Informatik, Seiten: 279 - 288
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental preprocessing methods for use in BMC
      2011 Formal Methods in System Design, Band: 39, Seiten: 185 - 204
    • Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid
      Integration of an LP solver into interval constraint propagation
      2011 Int'l Conf. on Combinatorial optimization and applications, Springer, Seiten: 343 - 356
    • Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
      Proof Certificates and Non-linear Arithmetic Constraints
      2011 IEEE Design and Diagnostics of Electronic Circuits and Systems, Seiten: 429 - 434
    • Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
      Superposition modulo non-linear arithmetic
      2011 Int'l Symp. on Frontiers of Combining Systems, Springer, Seiten: 119 - 134

    2010

    Icon: top nach oben zur Jahresübersicht
    • Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
      Incremental Preprocessing Methods for use in BMC
      2010 Int'l Workshop on Hardware Verification
    • Christian Miller, Stefan Kupferschmid, Bernd Becker
      Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Band: 13, Seiten: 77 - 86
    • Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
      Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
      2010 Theory and Applications of Satisfiability Testing, Springer, Seiten: 194 - 208

    2009

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
      Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
      2009 Tools and Algorithms for the Construction and Analysis of Systems, Springer, Band: 5505, Seiten: 383 - 397
    • Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
      Challenges in Constraint-Based Analysis of Hybrid Systems
      2009 Recent Advances in Constraints, Springer, Band: 5655, Seiten: 51 - 65
    • Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
      Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae
      2009 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 27 - 36

    2008

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
      Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations of Non-Convex Polyhedra
      2008 Int'l Workshop on Satisfiability Modulo Theories, Seiten: 18 - 26
    • Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
      Challenges in Constraint-based Analysis of Hybrid Systems
      2008 ERCIM Workshop on Constraint Solving and Constraint Logic Programming