Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Christoph Scholl, Prof. Dr. Christoph Scholl, Prof. 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 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/~scholl/


Jahre: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1994 | 1993

    2017

    Icon: top nach oben zur Jahresübersicht
    • Tobias Seufert, Christoph Scholl
      Sequential Verification Using Reverse PDR
      2017 MBMV, Bremen
    • Bernd Becker, Christoph Scholl, Ralf Wimmer
      Verification of Incomplete Designs
      In: Formal System Verification State-of the-Art and Future Trends
      2017, Springer International Publishing, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1

    2016

    Icon: top nach oben zur Jahresübersicht
    • Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
      2QBF: Challenges and Solutions
      2016 International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 9710, Seiten: 453 - 469
    • Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas
      2016 Int'l Workshop on Logic and Synthesis
    • Valeriy Balabanov, Jie-Hong R. Jiang, Alan Mishchenko, Christoph Scholl
      Clauses Versus Gates in CEGAR-Based 2QBF Solving
      2016 Workshop of the Thirtieth AAAI Conference on Artificial Intelligence Beyond NP
    • Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
      Dependency Schemes for DQBF
      2016 International Conference on Theory and Applications of Satisfiability Testing (SAT), Nummer: 9710, Seiten: 473 - 489
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF
      2016 International Symposium on Automated Technology for Verification and Analysis (ATVA)
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF, Extended Version
      , 2016
    • Martin Böhnert, Christoph Scholl
      Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments
      2016 International Conference on Architecture of Computing Systems (ARCS), Nummer: 9637, Seiten: 143 - 156
    • Christoph Scholl, Florian Pigorsch
      The QBF Solver AIGSolve
      2016 International Workshop on Quantified Boolean Formulas
    • Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
      Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization
      SFB/TR 14 AVACS Technical Report, Nummer: 103, 2016

    2015

    Icon: top nach oben zur Jahresübersicht
    • Georges Morbé, Christoph Scholl
      Fully symbolic TCTL model checking for complete and incomplete real-time systems
      2015 Science of Computer Programming
    • Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl
      Improving Interpolants for Linear Arithmetic
      2015 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer-Verlag, Nummer: 9364, Seiten: 48 - 63
    • Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
      Modeling Unknown Values in Test and Verification
      In: Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems
      2015, Springer Vieweg, Seiten: 122 - 150, ISBN: 978-3-658-09993-0
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 10th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 9340, Seiten: 173 - 190
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      SFB/TR 14 AVACS Technical Report, Nummer: 110, 2015
    • Valeriy Balabanov, Jie-Hong Roland Jiang Christoph Scholl
      Skolem functions computation for CEGAR based QBF solvers
      2015 International Workshop on Quantified Boolean Formulas
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Proceedings of Design, Automation & Test in Europe Conference (DATE), Seiten: 1617 - 1622
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      SFB/TR 14 AVACS Technical Report, Nummer: 107, 2015

    2014

    Icon: top nach oben zur Jahresübersicht
    • Martin Böhnert, Christoph Scholl
      A Dynamic Virtual Memory Management under Real-Time Constraints
      2014 RTCSA, Chongqing, IEEE
    • Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
      Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems
      2014 Haifa Haifa Verification Conference (HVC), Yahav, Eran, Band: 8855, Seiten: 30 - 47
    • Georges Morbé, Christoph Scholl
      Fully Symbolic TCTL Model Checking for Complete and Incomplete Real-Time Systems
      2014 AVACS Technical Report, Nummer 104
    • Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus
      Simple Interpolants for Linear Arithmetic
      2014 DATE, EDA Consortium San Jose, CA, USA / ACM DL

    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
    • Stefan Disch, Christoph Scholl
      Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
      2007 ASP Design Automation Conf.
    • 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
    • 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
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns
      SFB/TR 14 AVACS Technical Report, Nummer: 31, 2007
    • Axel Rottmann, Matthias Sippel, Thorsten Zitterell, Wolfram Burgard, Leonhard Reindl, Christoph Scholl
      Towards an Experimental Autonomous Blimp Platform
      2007 Proceedings of the 3rd European Conference on Mobile Robots, EMCR 2007

    2006

    Icon: top nach oben zur Jahresübersicht
    • Marc Herbstritt, Bernd Becker, Christoph Scholl
      Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
      2006 Proc. of Microprocessor Test and Verification Workshop (MTV), IEEE Computer Society
    • 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

    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
    • Christoph Scholl, Matthias Büche
      Filter Based Diagnosis for Multiple Design Errors
      2004 GI/ITG/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Tobias Nopper, Christoph Scholl
      Symbolic Model Checking of Incomplete Designs
      Technical Report Albert-Ludwigs-University, Nummer: 201, 2004

    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 Comp. Design
    • Christoph Scholl, Bernd Becker
      Equivalence Checking in the Presence of Incompletely Specified Boxes
      2002 ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Christoph Scholl, Bernd Becker, Thomas Weis
      On WLCDs and the Complexity of Word-Level Decision Diagrams - A Lower Bound for Division
      2002 Formal Methods in System Design, Band: 20, Nummer: 3, Seiten: 311 - 326

    2001

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      2001 ITG/GI/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 Design Automation Conf., Seiten: 238 - 243
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Don’t Care Minimization of *BMDs
      2001 ITG/GI/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 Int’l Symp. Circ. and Systems
    • Kluwer Academic Publishers
      Functional Decomposition with Application to FPGA Synthesis
      Christoph Scholl
    • Christoph Scholl, Bernd Becker, Andreas Brogle
      The Multiple Variable Order Problem for Binary Decision Diagrams
      2001 ASP Design Automation Conf.

    2000

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Bernd Becker
      Checking Equivalence for Partial Implementations
      Technical Report Albert-Ludwigs-University, Nummer: 145, 2000
    • Andreas Hett, Christoph Scholl, Bernd Becker
      Distance Driven Finite State Machine Traversal
      2000 Design Automation Conf., Seiten: 39 - 42
    • Christoph Scholl, Marc Herbstritt, Bernd Becker
      Exploiting Don’t Cares to Minimize *BMDs
      Technical Report Albert-Ludwigs-University, Nummer: 141, 2000
    • Christoph Scholl, Bernd Becker
      On the Generation of Multiplexer Circuits for Pass Transistor Logic
      2000 Design, Automation and Test in Europe, Seiten: 372 - 378
    • Andreas Hett, Christoph Scholl, Bernd Becker
      State Traversal guided by Hamming Distance Profiles
      2000 ITG/GI/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, Dirk Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      1999 IEEE Trans. on CAD, Band: 18, Nummer: 2, Seiten: 81 - 100
    • B.G. Teubner
      Datenstrukturen und effiziente Algorithmen fuer die Logiksynthese kombinatorischer Schaltungen
      Paul Molitor, Christoph Scholl
    • 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, Andreas 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, Andreas Brogle
      Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques
      Technical Report Albert-Ludwigs-University, Nummer: 130, 1999

    1998

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl
      Multi-output Functional Decomposition with Exploitation of Don’t Cares
      1998 Design, Automation and Test in Europe, Seiten: 743 - 748
    • Christoph Scholl, Bernd Becker, Thomas 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, Dirk Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      Technical Report, Institute for Computer Science, University Halle, Band: 97-32, 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 Int’l. Conf. on Computer Aided Design, Seiten: 8 - 12
    • Christoph Scholl, Rolf Drechsler, Bernd Becker
      Functional Simulation using Binary Decision Diagrams
      1997 Int’l Workshop on Logic Synth.
    • 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, Stefan Melchior, Günter Hotz, Paul Molitor
      Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries
      1997 European Design & Test Conf., Seiten: 229 - 234
    • Christoph Scholl
      Multi-output Functional Decomposition with Exploitation of Don’t Cares
      1997 Int’l Workshop on Logic Synth.

    1995

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Paul Molitor
      Communication Based FPGA Synthesis for Multi-Output Boolean Functions
      1995 ASP Design Automation Conf., Seiten: 279 - 287
    • Christoph Scholl, Paul Molitor
      Efficient ROBDD based computation of common decomposition functions of multioutput boolean functions
      In: Novel Approaches in Logic and Architecture Synthesis
      1995, Chapman\,&\,Hall, Seiten: 57 - 63,

    1994

    Icon: top nach oben zur Jahresübersicht
    • Paul Molitor, Christoph Scholl
      Communication Based Multilevel Synthesis for Multi-Output Boolean Functions
      1994 Great Lakes Symp. VLSI, Seiten: 101 - 104
    • Paul Molitor, Christoph Scholl
      Communication Based Multilevel Synthesis for Multi-Output Boolean Functions
      Informatik-Berichte Humbold-University, Nummer: 29, 1994
    • Christoph Scholl, Paul Molitor
      Efficient ROBDD Based Computation of Common Decomposition Functions of Multi-Output Boolean Functions
      1994 IFIP Workshop on Logic and Architecture Synthesis, Grenoble, Seiten: 61 - 70

    1993

    Icon: top nach oben zur Jahresübersicht