## Publikationen

Jahre: 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1994 | 1993

## 2024

nach oben zur Jahresübersicht- Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
**Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization: Theory and Practical Implementation**

2024*Formal Methods in System Design*

## 2023

nach oben zur Jahresübersicht- Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
**Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization (extended abstract)**

2023 MBMV - Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
**Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR**

2023*IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems*, Band: 42, Nummer: 4, Seiten: 1351 - 1364 - Tobias Seufert
**On Safety Verification using PDR and Reverse PDR**

2023*Dissertation*

## 2022

nach oben zur Jahresübersicht- Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
**Making PROGRESS in Property Directed Reachability**

2022*23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022)* - Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
**Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization**

2022*Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design (FMCAD)*, TU Wien Academic Press

## 2021

nach oben zur Jahresübersicht- Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
**Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR**

*CoRR*, Band: 2105.09169, 2021 - Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
**ICP and IC3**

2021*DATE*, IEEE - Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Christoph Scholl, Bernd Becker
**ICP and IC3 with Stronger Generalization**

2021*MBMV* - Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
**Solving Dependency Quantified Boolean Formulas Using Quantifier Localization**

*CoRR*, Band: 1905.04755, 2021 - Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
**Verifying Dividers Using Symbolic Computer Algebra and Don’t Care Optimization**

2021*DATE*, IEEE

## 2020

nach oben zur Jahresübersicht- Christoph Scholl, Alexander Konrad
**Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification**

2020*Design Automation Conf.*, Seiten: 1 - 6 - Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler
**Towards Formal Verification of Optimized and Industrial Multipliers**

2020*Conference on Design, Automation and Test in Europe (DATE)*, Seiten: 544 - 549

## 2019

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*33th AAAI Conference on Artificial Intelligence (AAAI-19)* - Katalin Fazekas, Armin Biere, Christoph Scholl
**Incremental Inprocessing in SAT Solving**

2019*10th International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer-Verlag, Nummer: 11628, Seiten: 136 - 154 - Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
**Localizing Quantifiers for DQBF**

2019*Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD)*, IEEE Computer Society Press - Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
**Quantifier Localization for DQBF**

2019*Int'l Workshop on Logic and Synthesis* - 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 - Tobias Seufert, Christoph Scholl
**fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability**

2019*Conference on Design, Automation and Test in Europe (DATE)* - Tobias Seufert, Christoph Scholl
**fbPDR: In-depth Combination of Forward and Backward Analysis in Property Directed Reachability (extended abstract)**

2019*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”*

## 2018

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 International Publishing*, André Inácio Reis, Rolf Drechsler, Seiten: 151 - 168, André Inácio Reis, Rolf Drechsler, ISBN: 978-3-319-67294-6 - Tobias Seufert, Christoph Scholl
**Combining PDR and Reverse PDR for Hardware Model Checking**

2018*Conference on Design, Automation and Test in Europe (DATE)* - Christoph Scholl, Ralf Wimmer
**Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications**

2018*13th International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Springer-Verlag, Nummer: 10929, Seiten: 3 - 16

## 2017

nach oben zur Jahresübersicht- Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
**From DQBF to QBF by Dependency Elimination**

2017*International Conference on Theory and Applications of Satisfiability Testing (SAT)*, Nummer: 10491, Seiten: 326 - 343 - Tobias Seufert, Christoph Scholl
**Sequential Verification Using Reverse PDR**

2017*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Bernd Becker, Christoph Scholl, Ralf Wimmer
**Verification of Incomplete Designs***In: State-of the-Art and Future Trends*

2017,*Springer International Publishing*, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1 - 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**

*Sci Comput Program*, Nummer: 148, Seiten: 123 - 160, 2017

## 2016

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

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 - 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*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

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

nach oben zur Jahresübersicht- Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
**Equivalence Checking for Partial Implementations Revisited**

2013*MBMV*, 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 IEEE 31st International Conference on Computer Design (ICCD) , Seiten: 396 - 403 - Georges Morbé, Christoph Scholl
**Fully Symbolic Model Checking for Incomplete Systems of Timed Automata**

2013*Electronic Communications of the EASST, Proceedings of AVOCS 2013*, Band: 66 - Florian Pigorsch, Christoph Scholl
**Lemma localization: a practical method for downsizing SMT-interpolants**

2013*DATE*, EDA Consortium San Jose, CA, USA / ACM DL, Seiten: 1405 - 1410 - Christian Miller, Christoph Scholl, Bernd Becker
**Proving QBF-Hardness in Bounded Model Checking for Incomplete Designs**

2013*MTV*, IEEE Computer Society - Tobias Nopper, Christoph Scholl
**Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns**

2013*IEEE Trans. Computers*, Band: 62, Nummer: 6, Seiten: 1234 - 1254

## 2012

nach oben zur Jahresübersicht- Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
**Enhanced Integration of QBF Solving Techniques**

2012*MBMV*, Seiten: 133 - 143 - Werner 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**

2012*Sci. Comput. Program.*, Band: 77, Nummer: 10-11, Seiten: 1122 - 1150 - Georges Morbé, Christoph Scholl
**Fully Symbolic Model Checking for Incomplete Systems of Timed Automata**

2012*MBMV*, Seiten: 97 - 108 - Georges Morbé, Christoph Scholl
**Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking**

2012*MTV*, IEEE Computer Society, Seiten: 35 - 40

## 2011

nach oben zur Jahresübersicht- Georges Morbé, Florian Pigorsch, Christoph Scholl
**Fully Symbolic Model Checking for Timed Automata**

2011*CAV*, Springer, Band: 6806, Seiten: 616 - 632 - Georges Morbé, Christoph Scholl
**Fully Symbolic Model Checking for Timed Automata**

2011*MBMV*, Seiten: 9 - 18 - Werner Damm, Stefan Disch, Willem Hagemann, Christoph Scholl, Uwe Waldmann, Boris Wirtz
**Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems**

*SFB/TR 14 AVACS Technical Report*, Nummer: 76, 2011 - Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
**Integration of orthogonal QBF solving techniques**

2011*DATE*, IEEE, Seiten: 149 - 154 - Christian Miller, Christoph Scholl, Bernd Becker
**Verifying Incomplete Networks of Timed Automata**

2011*MBMV*, Seiten: 113 - 122

## 2010

nach oben zur Jahresübersicht- Thorsten Zitterell, Christoph Scholl
**A probabilistic and energy-efficient scheduling approach for online application in real-time systems**

2010*DAC*, ACM, Seiten: 42 - 47 - Florian Pigorsch, Christoph Scholl
**An AIG-Based QBF-solver using SAT for preprocessing**

2010*DAC*, ACM, Seiten: 170 - 175 - Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
**Bounded Model Checking of Incomplete Networks of Timed Automata**

2010*MTV*, IEEE, Seiten: 61 - 66 - Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
**SAT Modulo BDD – A Combined Verification Approach for Incomplete Designs**

2010*MBMV*, Fraunhofer Verlag, Seiten: 107 - 116

## 2009

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*TACAS*, Springer, Band: 5505, Seiten: 383 - 397 - Florian Pigorsch, Christoph Scholl
**Exploiting structure in an AIG based QBF solver**

2009*DATE*, IEEE, Seiten: 1596 - 1601 - Christian Miller, Tobias Nopper, Christoph Scholl
**Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions**

2009*MBMV*, Seiten: 87 - 96 - Florian Pigorsch, Christoph Scholl
**Using Implications for Optimizing State Set Representations of Linear Hybrid Systems**

2009*MBMV*, Seiten: 77 - 86

## 2008

nach oben zur Jahresübersicht- Martin Böhnert, Thorsten Zitterell, Christoph Scholl
**Dynamische Verwaltung Virtuellen Speichers für Echtzeitsysteme**

2008*Echtzeit*, Springer, Seiten: 101 - 110 - Thorsten Zitterell, Christoph Scholl
**Improving energy-efficient real-time scheduling by exploiting code instrumentation**

2008*International Workshop on Real Time Software (RTS’08)*, IEEE, Seiten: 763 - 771 - Christoph Scholl, Stefan Disch
**Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008**

2008*Shaker* - Matthias Sippel, Axel Rottmann, Thorsten Zitterell, Bastian Steder, Christoph Scholl, Wolfram Burgard, Leonhard Reindl
**Multisensor-Navigation für autonome Flugroboter**

2008*Proceedings 14. GMA/ITG-Fachtagung Sensoren und Messsysteme*, Seiten: 667 - 676 - Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
**Propositional approximations for bounded model checking of partial circuit designs**

2008*ICCD*, IEEE, Seiten: 52 - 59 - 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 New York, NY, USA*Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning*, ACM, Seiten: 18 - 26

## 2007

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 - 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* - Tobias Nopper, Christoph Scholl
**tion 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

## 2006

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

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”* - Jochen Eisinger, Peter Winterer, Bernd Becker
**Securing Wireless Networks in a University Environment**

2005*IEEE Int'l Conf. on Pervasive Computing and Communications Workshops*, IEEE Computer Society, Seiten: 312 - 316

## 2004

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

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

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

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

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

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

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*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, Stefan Melchior, Günter Hotz, Paul Molitor
**Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries**

1997*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

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,*\,Hall*, Seiten: 57 - 63,

## 1994

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

nach oben zur Jahresübersicht- Christoph Scholl, Paul Molitor
**Mehrstufige Logiksynthese unter Ausnutzung von Symmetrien und nichttrivialen Zerlegungen**

*Sonderforschungsbereich 124, TP B6*, Nummer: 02/93, 1993