Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Christoph Scholl, Prof. Dr. Christoph Scholl, Prof. 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..033
Telefon ++49 +761 203-8152
Fax ++49 +761 203-8142
eMail scholl@informatik.uni-freiburg.de
Website http://abs.informatik.uni-freiburg.de/

Christoph Scholl

Jahre: 2021 | 2019 | 2018 | 2017 | 2016 | 2015 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997

    2021

    Icon: top nach oben zur Jahresübersicht
    • Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
      ICP and IC3
      2021 Conference on Design, Automation and Test in Europe Conference (DATE)
    • Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Christoph Scholl, Bernd Becker
      ICP and IC3 with Stronger Generalization
      2021 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2019

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 Honolulu, HI, USA Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), AAAI Press
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Localizing Quantifiers for DQBF
      2019 Proceedings of the 2019 Conference on Formal Methods in Computer Aided Design (FMCAD), Clark W. Barrett, Jin Yang
    • Ralf Wimmer, Christoph Scholl, Bernd Becker
      The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation
      2019 Journal on Satisfiability, Boolean Modeling and Computation, Band: 11, Nummer: 1, Seiten: 3 - 52

    2018

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas
      In: Advanced Logic Synthesis
      2018, Springer, André Ignacio Reis and Rolf Drechsler, Seiten: 151 - 168, André Ignacio Reis and Rolf Drechsler, ISBN: 978-3-319-67294-6
    • Christoph Scholl, Ralf Wimmer
      Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
      2018 Oxford, UK Proceedings of the 21st Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT), Olaf Beyersdorff, Christoph M. Wintersteiger, Band: 10929, Seiten: 3 - 16

    2017

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
      From DQBF to QBF by Dependency Elimination
      2017 Melbourne, VIC, Australia Int'l Conf. on Theory and Applications of Satisfiability Checking, Serge Gaspers and Toby Walsh, Band: 10491, Seiten: 326 - 343
    • Bernd Becker, Christoph Scholl, Ralf Wimmer
      Verification of Incomplete Designs
      In: Formal System Verification - State of the Art and Future Trends
      2017, Springer, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1

    2016

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
      Dependency Schemes for DQBF
      2016 Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Band: 9710, Seiten: 473 - 489
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF
      2016 Int'l Symposium on Automated Technology for Verification and Analysis (ATVA) Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, Band: 9938, Seiten: 395 - 411
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF (Extended Version)
      , 2016

    2015

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
      Modeling Unknown Values in Test and Verification
      In: Formal Modeling and Verification of Cyber-Physical Systems (Proceedings of the 1st International Summer School on Methods and Tools for the Design of Digital Systems)
      2015, Springer, Rolf Drechsler, Ulrich Kühne, Seiten: 122 - 150, Rolf Drechsler, Ulrich Kühne, ISBN: 978-3-658-09993-0
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Band: 9340, Seiten: 173 - 190
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Conf. on Design, Automation and Test in Europe

    2013

    Icon: top nach oben zur Jahresübersicht
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking for Partial Implementations Revisited
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Universität Rostock ITMZ, Seiten: 61 - 70
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking of Partial Designs using Dependency Quantified Boolean Formulae
      2013 Int'l Conf. on Computer Design, IEEE Computer Society, Seiten: 396 - 403

    2012

    Icon: top nach oben zur Jahresübersicht
    • Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
      Enhanced Integration of QBF Solving Techniques
      2012 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 133 - 143

    2011

    Icon: top nach oben zur Jahresübersicht
    • Christian Miller, Christoph Scholl, Bernd Becker
      Verifying Incomplete Networks of Timed Automata
      2011 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Band: 14
    • Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
      Integration of Orthogonal QBF Solving Techniques
      2011 Conf. on Design, Automation and Test in Europe, Seiten: 149 - 154

    2010

    Icon: top nach oben zur Jahresübersicht
    • Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
      Bounded Model Checking of Incomplete Networks of Timed Automata
      2010 Int'l Workshop on Microprocessor Test and Verification, IEEE Computer Society, Band: 11, Seiten: 61 - 66
    • Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
      SAT modulo BDD - A Combined Verification Approach for Incomplete Designs
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Band: 13, Seiten: 107 - 116

    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
    • Christian Miller, Tobias Nopper, Christoph Scholl
      Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions
      2009 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    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

    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 IEEE Int'l Conf. on Computer-Aided Design, IEEE Computer Society Press, Seiten: 273 - 280

    2006

    Icon: top nach oben zur Jahresübersicht

    2002

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Circuits Containing Incompletely Specified Boxes
      2002 Int'l Conf. on Computer Design, Seite: 56
    • Christoph Scholl, Bernd Becker
      Equivalence Checking in the Presence of Incompletely Specified Boxes
      2002 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

    2001

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      2001 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 31 - 43
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      2001 IEEE Design Automation Conference, IEEE Computer Society, Seiten: 238 - 243
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Don't Care Minimization of *BMDs: Complexity and Algorithms
      2001 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 45 - 57
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don't Cares to Minimize *BMDs
      2001 IEEE Int'l Symp. on Circuits and Systems, Band: 5, Seiten: 191 - 194
    • Christoph Scholl
      Functional Decomposition with Application to FPGA Synthesis
      Kluwer Academic Publishers, 2001
    • Christoph Scholl, Bernd Becker, A. Brogle
      The Multiple Variable Order Problem for Binary Decision Diagrams: Theory and Practical Application
      2001 ASP Design Automation Conf., Seiten: 85 - 90

    2000

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      , Nummer: 145, 2000
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don't Cares to Minimize *BMDs
      , Nummer: 141, 2000
    • Andreas Hett, Christoph Scholl, Bernd Becker
      Distance Driven Finite State Machine Traversal
      2000 IEEE Design Automation Conference, Seiten: 39 - 42
    • Andreas Hett, Christoph Scholl, Bernd Becker
      State Traversal guided by Hamming Distance Profiles
      2000 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, VDE Verlag, Seiten: 57 - 66

    1999

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker, A. Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagrams by Use of Dynamic Reordering Techniques
      , Nummer: 130, 1999
    • Andreas Hett, Christoph Scholl, Bernd Becker
      A.MORE - A Multi-Operand BDD Package
      University of Freiburg, 1999
    • Christoph Scholl, D. Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      1999 IEEE Trans. on CAD, Band: 18, Nummer: 2, Seiten: 81 - 100
    • Paul Molitor, Christoph Scholl
      Datenstrukturen und effiziente Algorithmen fuer die Logiksynthese kombinatorischer Schaltungen
      B.G. Teubner, 1999
    • Christoph Scholl, Bernd Becker
      On the Generation of Multiplexer Circuits for Pass Transistor Logic
      1999 Int'l Workshop on Logic Synth.
    • Christoph Scholl, Bernd Becker, A. Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques
      1999 Int'l Workshop on Logic Synth.
    • Christoph Scholl, Bernd Becker, A. Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques
      , Nummer: 130, 1999

    1998

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl
      Multi-output Functional Decomposition with Exploitation of Don't Cares
      1998 Conf. on Design, Automation and Test in Europe, Seiten: 743 - 748
    • Christoph Scholl, Bernd Becker, T. M. Weis
      Word-Level Decision Diagrams, WLCDs and Division
      1998 Int'l Conf. on CAD, Seiten: 672 - 677

    1997

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, D. Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      , 1997
    • Christoph Scholl
      Functional Decomposition with Integrated Test Generation
      1997 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Christoph Scholl, Rolf Drechsler, Bernd Becker
      Functional Simulation using Binary Decision Diagrams
      1997 GI/ITG/GME Workshop “Methoden des Entwurfs und der Verifikation digitaler Systeme”
    • Christoph Scholl, Rolf Drechsler, Bernd Becker
      Functional Simulation using Binary Decision Diagrams
      1997 Int'l Workshop on Logic Synth.
    • Christoph Scholl
      Multi-output Functional Decomposition with Exploitation of Don't Cares
      1997 Int'l Workshop on Logic Synth.