Christoph Scholl

发表

of the Automated Verification of Critical Systems ( AVoCS 2013 ) Fully Symbolic TCTL Model Checking for Incomplete Timed Systems 1

Georges Morbé, Christoph Scholl, 2014 .

Quantifier Elimination in Stochastic Boolean Satisfiability

J. H. Jiang, Christoph Scholl, Hao-Ren Wang, 2022, SAT.

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

B. Becker, F. Winterer, Karsten Scheibler, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Word-level decision diagrams, WLCDs and division

Bernd Becker, Christoph Scholl, Thomas M. Weis, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems

Bernd Finkbeiner, Bernd Becker, Ernst-Rüdiger Olderog, 2011 .

Approximate Symbolic Model Checking for Incomplete Designs

Christoph Scholl, Tobias Nopper, Tobias Nopper, 2004, FMCAD.

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

Christoph Scholl, Stefan Disch, Stefan Disch, 2007, 2007 Asia and South Pacific Design Automation Conference.

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints

Christoph Scholl, Stefan Kupferschmid, Stefan Disch, 2009, TACAS.

Verification of Incomplete Designs

Bernd Becker, Christoph Scholl, Ralf Wimmer, 2018 .

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Ernst Althaus, Christoph Scholl, Werner Damm, 2017, Sci. Comput. Program..

Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns

Christoph Scholl, Tobias Nopper, Tobias Nopper, 2013, IEEE Transactions on Computers.

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

Henning Dierks, Christoph Scholl, Werner Damm, 2012, Sci. Comput. Program..

SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs

Bernd Becker, Matthew D. T. Lewis, Christoph Scholl, 2010, MBMV.

Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions

Christoph Scholl, Tobias Nopper, Christian Miller, 2009, MBMV.

Computation of minimal counterexamples by using black box techniques and symbolic methods

B. Becker, Tobias Nopper, Christoph Scholl, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space

Hardi Hungar, Jun Pang, Christoph Scholl, 2007, ATVA.

Counterexample Generation for Incomplete Designs

Christoph Scholl, Tobias Nopper, Tobias Nopper, 2007, MBMV.

Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

Christoph Scholl, Stefan Disch, Florian Pigorsch, 2006, 2006 Formal Methods in Computer Aided Design.

Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling

Christoph Scholl, Stefan Disch, Florian Pigorsch, 2006, MBMV.

Flexible Modeling of Unknowns in Model Checking for Incomplete Designs

C. Scholl, Tobias Nopper, Christoph Scholl, 2005 .

Symbolic Model Checking for Incomplete Designs

Christoph Scholl, Tobias Nopper, Tobias Nopper, 2004 .

Filter Based Diagnosis for Multiple Design Errors

Christoph Scholl, Matthias Büche, Matthias Büche, 2004, MBMV.

Functional Decomposition With Application to FPGA Syn-thesis

Christoph Scholl, Christoph Scholl, 2001 .

Fully symbolic TCTL model checking for complete and incomplete real-time systems

Christoph Scholl, Georges Morbé, Georges Morbé, 2015, Sci. Comput. Program..

A Smart Capacitive Sensor Skin with Embedded Data Quality Indication for Enhanced Safety in Human–Robot Interaction

B. Eskofier, Dario Zanca, Christoph Scholl, 2021, Sensors.

2QBF: Challenges and Solutions

Robert K. Brayton, Jie-Hong Roland Jiang, Alan Mishchenko, 2016, SAT.

Fully Symbolic Model Checking for Incomplete Systems of Timed Automata

Christoph Scholl, Georges Morbé, Georges Morbé, 2012, MBMV.

Towards Formal Verification of Optimized and Industrial Multipliers

Rolf Drechsler, Christoph Scholl, Daniel Große, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Equivalence Checking for Partial Implementations Revisited

Bernd Becker, Matthias Sauer, Christoph Scholl, 2013, MBMV.

Distance driven finite state machine traversal

Bernd Becker, Christoph Scholl, Andreas Hett, 2000, Proceedings 37th Design Automation Conference.

Proving QBF-hardness in Bounded Model Checking for Incomplete Designs

Bernd Becker, Christoph Scholl, Christian Miller, 2013, 2013 14th International Workshop on Microprocessor Test and Verification.

Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability

R. Drechsler, Daniel Große, Alireza Mahzoon, 2022, DAC.