Publications:

• Böhnert, Martin; Zitterell, Thorsten and Scholl, Christoph;
  Dynamische Verwaltung Virtuellen Speichers für Echtzeitsysteme.
  Proceedings of Echtzeit 2008, November 2008.
• Zitterell, Thorsten and Scholl, Christoph;
  Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation.
  Proceedings of International Workshop on Real Time Software (RTS'08), Wisla, Poland, October 2008.
• Scholl, Christoph; Disch, Stefan; Pigorsch, Florian and Kupferschmid, Stefan;
  Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations of Non-Convex Polyhedra.
  Proceedings of 6th International Workshop on Satisfiability Modulo Theories, Princeton, USA, July 2008.
• Sippel, Matthias; Rottmann, Axel; Zitterell, Thorsten; Steder, Bastian; Scholl, Christoph; Burgard, Wolfram and Reindl, Leonhard;
  Multisensor-Navigation für autonome Flugroboter.
  Proceedings 14. GMA/ITG-Fachtagung Sensoren und Messsysteme, March 2008.
• Nopper, Tobias; Scholl, Christoph and Becker, Bernd;
  Computation of Minimal Counterexamples by Using Black Box Techniques and Symbolic Methods.
  Proceedings of International Conference on Computer Aided Design (ICCAD), San Jose, USA, November 2007.
• Rottmann, Axel; Sippel, Matthias; Zitterell, Thorsten; Burgard, Wolfram; Reindl, Leonhard and Scholl, Christoph;
  Towards an Experimental Autonomous Blimp Platform.
  Proceedings of 3rd European Conference on Mobile Robots (ECMR'07), September 2007.
• Nopper, Tobias and Scholl, Christoph;
  Counterexample Generation for Incomplete Designs.
  Proceedings of GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Erlangen, Germany, March 2007.
• Disch, Stefan and Scholl, Christoph;
  Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets.
  Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2007.
• Herbstritt, Marc; Becker, Bernd and Scholl, Christoph;
  Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs.
  Proceedings of Microprocessor Test and Verification Workshop (MTV), Austin, USA, December 2006.
• Pigorsch, Florian; Scholl, Christoph and Disch, Stefan;
  Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, And Quantifier Scheduling.
  In Proceedings of Formal Methods in Computer-Aided Design, San Jose, USA, November 2006.
• Damm, Werner; Disch, Stefan; Hungar, Hardi, Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe, and Wirtz, Boris;
  Automatic verification of hybrid systems with large discrete state space.
  Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis, Beijing, China, October 2006.
• Pigorsch, Florian and Scholl, Christoph and Disch, Stefan;
  Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, And Quantifier Scheduling.
  Proceedings of GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Dresden, Germany, February 2006.
• Nopper, Tobias and Scholl, Christoph;
  Flexible Modeling of Unknowns in Model Checking for Incomplete Designs.
  Proceedings of GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Munich, Germany, April 2005.
• Nopper, Tobias and Scholl, Christoph;
  Approximate Symbolic Model Checking for Incomplete Designs.
  In Proceedings of Formal Methods in Computer-Aided Design, Austin, USA, November 2004.
• Nopper, Tobias and Scholl, Christoph;
  Approximate Symbolic Model Checking for Incomplete Designs.
  In Proceedings of IWLS2004, Temucula, USA, June 2004.
• Nopper, Tobias and Scholl, Christoph;
  Symbolic Model Checking for Incomplete Designs.
  Technical Report 201, Albert-Ludwigs-University, Freiburg, May 2004.
• Scholl, Christoph and Büche, Matthias;
  Filter Based Diagnosis for Multiple Design Errors.
  In Proceedings of GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Kaiserslautern, Germany, February 2004.
• Scholl, Christoph and Becker, Bernd;
  Checking Equivalence for Circuits Containing Incompletely Specified Boxes.
  In Proceedings of International Conference on Computer Design, Freiburg, Germany, September 2002.
• Scholl, Christoph; Becker, Bernd and Weis, Thomas;
  On WLCDs and the Complexity of Word-Level Decision Diagrams - A Lower Bound for Division.
  In Formal Methods in System Design, vol. 20, no. 3, May 2002, pp. 311-326.
• Scholl, Christoph and Becker, Bernd;
  Equivalence Checking in the Presence of Incompletely Specified Boxes.
  In Proceedings of GI/ITG/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Tübingen, Germany, February 2002.
• Scholl, Christoph;
  Functional Decomposition with Application to FPGA Synthesis.
  Kluwer Academic Publishers, Boston, Oktober 2001, ISBN 0-7923-7585-8.
• Scholl, Christoph and Becker, Bernd;
  Checking Equivalence for Partial Implementations.
  In Proceedings of 38th Design Automation Conference, Las Vegas, USA, June 2001.
• Scholl, Christoph; Herbstritt, Marc and Becker, Bernd;
  Exploiting Don't Cares to Minimize *BMDs.
  In Proceedings of International Symposium on Circuits and Systems, Sydney, Australia, May 2001.
• Scholl, Christoph; Herbstritt, Marc and Becker, Bernd;
  Don't Care Minimization of *BMDs: Complexity and Algorithms.
  In Proceedings of ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Meissen, Germany, February 2001, pp. 45-57.
• Scholl, Christoph and Becker, Bernd;
  Checking Equivalence for Partial Implementations.
  In Proceedings of ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Meissen, Germany, February 2001, pp. 31-43.
• Scholl, Christoph; Becker, Bernd and Brogle, Andreas;
  The Multiple Variable Order Problem for Binary Decision Diagrams: Theory and Practical Application.
  Proceedings of the Asia and South Pacific Design Automation Conference, Makuhari, Japan, January 2001.
• Scholl, Christoph and Becker, Bernd;
  Checking Equivalence for Partial Implementations.
  Technical Report 145, Albert-Ludwigs-University, Freiburg, Oktober 2000.
• Scholl, Christoph; Herbstritt, Marc and Becker, Bernd;
  Exploiting Don't Cares to Minimize *BMDs.
  Technical Report 141, Albert-Ludwigs-University, Freiburg, September 2000.
• Hett, Andreas; Scholl, Christoph and Becker, Bernd;
  Distance Driven Finite State Machine Traversal .
  In Proceedings of Design Automation Conference, Los Angeles, USA, June 2000.
• Scholl, Christoph and Becker, Bernd;
  On the Generation of Multiplexer Circuits for Pass Transistor Logic .
  In Proceedings of DATE 2000, Paris, France, March 2000.
• Hett, Andreas; Scholl, Christoph and Becker, Bernd;
  State Traversal guided by Hamming Distance Profiles .
  In Proceedings of ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Darmstadt, Germany, February 2000, pp. 57-66.
• Scholl, Christoph; Becker, Bernd and Brogle, Andreas;
  Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques .
  Technical Report 130, Albert-Ludwigs-University, Freiburg, October 1999.
• Scholl, Christoph and Becker, Bernd;
  On the Generation of Multiplexer Circuits for Pass Transistor Logic .
  In Proceedings of IWLS99, Granlibakken, USA, May 1999.
• Scholl, Christoph; Becker, Bernd and Brogle, Andreas;
  Solving the Multiple Variable Order Problem for Binary Decision Diagram by Use of Dynamic Reordering Techniques .
  In Proceedings of IWLS99, Granlibakken, USA, May 1999.
• Scholl, Christoph; Möller, Dirk; Molitor, Paul and Drechsler, Rolf;
  BDD Minimization Using Symmetries.
  In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, February 1999, Volume 18, Number 02, pp. 81-100.
• Molitor, Paul and Scholl, Christoph;
  Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen.
  Leitfäden der Informatik. B.G. Teubner-Verlag; Stuttgart, Leipzig, 1999, ISBN 3-519-02945-6.
• Scholl, Christoph; Becker, Bernd and Weis, Thomas;
  Word-Level Decision Diagrams, WLCDs and Division .
  In Proceedings of Int'l Conf. on CAD, San Jose, USA, November 1998, pp. 672-677.
• Scholl, Christoph; Becker, Bernd and Weis, Thomas;
  Word-Level Decision Diagrams, WLCDs and Division .
  Technical Report 102, Albert-Ludwigs-University, Freiburg, May 1998.
• Scholl, Christoph;
  Multi-output Functional Decomposition with Exploitation of Don't Cares.
  In Proceedings of DATE'98, pp.743-748, Paris, France, February 1998.
• Scholl, Christoph; Drechsler, Rolf and Becker, Bernd;
  Functional Simulation using Binary Decision Diagrams .
  In Proceedings of Int'l Conf. on CAD, San Jose, USA, November 1997.
• Scholl, Christoph; Drechsler, Rolf and Becker, Bernd;
  Functional Simulation using Binary Decision Diagrams .
  In Proceedings of IWLS97, Granlibakken, USA, May 1997.
• Scholl, Christoph;
  Multi-output Functional Decomposition with Exploitation of Don't Cares.
  In Proceedings of IWLS97, Granlibakken, USA, May 1997.
• Scholl, Christoph; Drechsler, Rolf and Becker, Bernd;
  Functional Simulation using Binary Decision Diagrams .
  Proceedings of 5. Workshop GI/ITG/GME ``Methoden des Entwurfs und der Verifikation digitaler Systeme'', Linz, Austria, April 1997.
• Scholl, Christoph; Melchior, Stefan; Hotz, Günter and Molitor, Paul;
  Minimizing ROBDD Sizes of Incompletely Specified Functions by Exploiting Strong Symmetries.
  Proceedings of the European Design and Test Conference 1997, Paris, France, March 1997.
• Scholl, Christoph;
  Functional Decomposition with Integrated Test Generation.
  Proceedings of 9. Workshop GI/ITG/GME ``Testmethoden und Zuverlaessigkeit von Schaltungen und Systemen'', Bremen, Germany, March 1997.
• Scholl, Christoph;
  Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften.
  Ph.D. thesis, University of Saarland , 1996.
• Scholl, Christoph and Molitor, Paul;
  Communication Based FPGA Synthesis for Multi-Output Boolean Functions.
  Proceedings of the Asia and South Pacific Design Automation Conference, pp.279-288, Chiba, Japan, August 1995.
• Scholl, Christoph and Molitor, Paul;
  Efficient ROBDD based computation of common decomposition functions of multi-output boolean functions.
  in Logic and Architecture Synthesis, State-of-the-art and novel approaches , Edited by Gabriele Saucier and Anne Mignotte, Chapman&Hall, 1995 (pp.57-63).
  (Extended abstract of the article below)
• Scholl, Christoph and Molitor, Paul;
  Efficient ROBDD based computation of common decomposition functions of multi-output boolean functions.
  Proceedings of IFIP Workshop on Logic and Architecture Synthesis, pp.61-70, Grenoble, France, December 1994.
• Molitor, Paul and Scholl, Christoph;
  Communication based multilevel synthesis for multi-output boolean functions.
  In Proceedings of the 4th Great Lakes Symposium on VLSI, pp.101-104, Notre Dame, Indiana, 1994. (Extended abstract of the article above)
• Molitor, Paul and Scholl, Christoph;
  Communication based multilevel synthesis for multi-output boolean functions.
  Informatik-Bericht Nr. 29 der Humbold-Universität zu Berlin, 1994.
• Scholl, Christoph and Molitor, Paul;
  Mehrstufige Logiksynthese unter Ausnutzung von Symmetrien und nichttrivialen Zerlegungen.
  Technischer Bericht 02/1993, Sonderforschungsbereich 124, TP B6.