The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christoph Scholl" ( http://dblp.L3S.de/Authors/Christoph_Scholl )

URL (Homepage):  http://www.informatik.uni-freiburg.de/~scholl/  Author page on DBLP  Author page in RDF  Community of Christoph Scholl in ASPL-2

Publication years (Num. hits)
1994-2001 (17) 2002-2008 (17) 2009-2012 (16) 2013-2016 (20) 2017-2019 (11)
Publication types (Num. hits)
article(8) book(2) incollection(1) inproceedings(69) proceedings(1)
Venues (Conferences, Journals, ...)
MBMV(16) DATE(9) SAT(6) ATVA(4) DAC(4) MTV(4) ASP-DAC(3) ICCAD(3) Sci. Comput. Program.(3) FMCAD(2) ICCD(2) MBMV (1)(2) AAAI(1) AAAI Workshop: Beyond NP(1) Advanced Logic Synthesis(1) ARCS(1) More (+10 of total 33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 82 publication records. Showing 81 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer Quantifier Localization for DQBF. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tobias Seufert, Christoph Scholl fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Katalin Fazekas, Armin Biere, Christoph Scholl Incremental Inprocessing in SAT Solving. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker 0001 Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. Search on Bibsonomy Advanced Logic Synthesis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Seufert, Christoph Scholl Combining PDR and reverse PDR for hardware model checking. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Scholl, Ralf Wimmer Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ernst 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 using counterexample-guided abstraction refinement. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tobias Seufert, Christoph Scholl Sequential Verification Using Reverse PDR. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Böhnert, Christoph Scholl Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments. Search on Bibsonomy ARCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Skolem Functions for DQBF. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl Clauses Versus Gates in CEGAR-Based 2QBF Solving. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton 2QBF: Challenges and Solutions. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker 0001 Dependency Schemes for DQBF. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Florian Pigorsch The QBF Solver AIGSolve. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Georges Morbé, Christoph Scholl Fully symbolic TCTL model checking for complete and incomplete real-time systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer 0002, Christoph Scholl, Bernd Becker 0001 Solving DQBF through quantifier elimination. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl Improving Interpolants for Linear Arithmetic. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker 0001 Preprocessing for DQBF. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl, Ralf Wimmer Modeling Unknown Values in Test and Verification. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus Simple interpolants for linear arithmetic. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Böhnert, Christoph Scholl A dynamic virtual memory management under real-time constraints. Search on Bibsonomy RTCSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker 0001 Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tobias Nopper, Christoph Scholl Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christoph Scholl Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. Search on Bibsonomy ECEASST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Miller, Christoph Scholl, Bernd Becker 0001 Proving QBF-hardness in Bounded Model Checking for Incomplete Designs. Search on Bibsonomy MTV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Florian Pigorsch, Christoph Scholl Lemma localization: a practical method for downsizing SMT-interpolants. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence Checking for Partial Implementations Revisited. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence checking of partial designs using dependency quantified Boolean formulae. Search on Bibsonomy ICCD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christoph Scholl Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking. Search on Bibsonomy MTV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christoph Scholl Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker 0001 Enhanced Integration of QBF Solving Techniques. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Georges Morbé, Florian Pigorsch, Christoph Scholl Fully Symbolic Model Checking for Timed Automata. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker 0001 Integration of orthogonal QBF solving techniques. Search on Bibsonomy DATE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Miller, Christoph Scholl, Bernd Becker 0001 Verifying Incomplete Networks of Timed Automata. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Georges Morbé, Christoph Scholl Fully Symbolic Model Checking for Timed Automata. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker 0001 Bounded Model Checking of Incomplete Networks of Timed Automata. Search on Bibsonomy MTV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tobias Nopper, Christian Miller, Matthew D. T. Lewis, Bernd Becker 0001, Christoph Scholl SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Thorsten Zitterell, Christoph Scholl A probabilistic and energy-efficient scheduling approach for online application in real-time systems. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic voltage scaling, hard real-time, energy-aware scheduling
1Florian Pigorsch, Christoph Scholl An AIG-Based QBF-solver using SAT for preprocessing. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Boolean satisfiability, quantified boolean formulas
1Florian Pigorsch, Christoph Scholl Exploiting structure in an AIG based QBF solver. Search on Bibsonomy DATE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Miller, Tobias Nopper, Christoph Scholl Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Florian Pigorsch, Christoph Scholl Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thorsten Zitterell, Christoph Scholl Improving energy-efficient real-time scheduling by exploiting code instrumentation. Search on Bibsonomy IMCSIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Stefan Disch (eds.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008 Search on Bibsonomy MBMV The full citation details ... 2008 DBLP  BibTeX  RDF
1Martin Böhnert, Thorsten Zitterell, Christoph Scholl Dynamische Verwaltung Virtuellen Speichers für Echtzeitsysteme. Search on Bibsonomy Echtzeit The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Disch, Christoph Scholl Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF shared circuit structures, incremental SAT techniques, bounded model checking, combinational equivalence checking
1Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang 0001, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tobias Nopper, Christoph Scholl Counterexample Generation for Incomplete Designs. Search on Bibsonomy MBMV The full citation details ... 2007 DBLP  BibTeX  RDF
1Tobias Nopper, Christoph Scholl, Bernd Becker 0001 Computation of minimal counterexamples by using black box techniques and symbolic methods. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Axel Rottmann, Matthias Sippel, Thorsten Zitterell, Wolfram Burgard, Leonhard M. Reindl, Christoph Scholl Towards an Experimental Autonomous Blimp Platform. Search on Bibsonomy EMCR The full citation details ... 2007 DBLP  BibTeX  RDF
1Marc Herbstritt, Bernd Becker 0001, Christoph Scholl Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. Search on Bibsonomy MTV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang 0001, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz Automatic Verification of Hybrid Systems with Large Discrete State Space. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Florian Pigorsch, Christoph Scholl, Stefan Disch Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. Search on Bibsonomy MBMV The full citation details ... 2006 DBLP  BibTeX  RDF
1Florian Pigorsch, Christoph Scholl, Stefan Disch Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Matthias Büche Filter Based Diagnosis for Multiple Design Errors. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
1Tobias Nopper, Christoph Scholl Approximate Symbolic Model Checking for Incomplete Designs. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001, Thomas M. Weis On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001 Equivalence Checking in the Presence of Incompletely Specified Boxes. Search on Bibsonomy MBMV The full citation details ... 2002 DBLP  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001 Checking Equivalence for Circuits Containing Incompletely Specified Boxes. Search on Bibsonomy ICCD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Christoph Scholl Functional decomposition with applications to FPGA synthesis. Search on Bibsonomy 2001   RDF
1Christoph Scholl, Bernd Becker 0001, Andreas Brogle The multiple variable order problem for binary decision diagrams: theory and practical application. Search on Bibsonomy ASP-DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001 Checking Equivalence for Partial Implementations. Search on Bibsonomy MBMV (1) The full citation details ... 2001 DBLP  BibTeX  RDF
1Christoph Scholl, Marc Herbstritt, Bernd Becker 0001 Don't Care Minimization of BMDs: Complexity and Algorithms. Search on Bibsonomy MBMV (1) The full citation details ... 2001 DBLP  BibTeX  RDF
1Christoph Scholl, Marc Herbstritt, Bernd Becker 0001 Exploiting don't cares to minimize *BMDs. Search on Bibsonomy ISCAS (5) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001 Checking Equivalence for Partial Implementations. Search on Bibsonomy DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001 On the Generation of Multiplexer Circuits for Pass Transistor Logic. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andreas Hett, Christoph Scholl, Bernd Becker 0001 State Traversal guided by Hamming Distance Profiles. Search on Bibsonomy MBMV The full citation details ... 2000 DBLP  BibTeX  RDF
1Andreas Hett, Christoph Scholl, Bernd Becker 0001 Distance driven finite state machine traversal. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler BDD minimization using symmetries. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Paul Molitor, Christoph Scholl Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen. Search on Bibsonomy 1999   RDF
1Christoph Scholl Multi-output Functional Decomposition with Exploitation of Don't Cares. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Bernd Becker 0001, Thomas M. Weis Word-level decision diagrams, WLCDs and division. Search on Bibsonomy ICCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christoph Scholl, Rolf Drechsler, Bernd Becker 0001 Functional simulation using binary decision diagrams. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Binary Decision Diagrams, Functional simulation
1Christoph Scholl, Paul Molitor Communication based FPGA synthesis for multi-output Boolean functions. Search on Bibsonomy ASP-DAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Paul Molitor, Christoph Scholl Communication based multilevel synthesis for multi-output Boolean functions. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #81 of 81 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license