Stefan Disch

发表

Automatic Verification of Hybrid Systems with Large Discrete State Space

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

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

Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization

W. Damm, Stefan Disch, C. Scholl, 2016 .

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

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

Nematic elastomers beyond the critical point

Stefan Disch, H. Finkelmann, C. Schmidt, 1994 .

Macroscopically ordered discotic columnar networks

H. Ringsdorf, Stefan Disch, H. Finkelmann, 1995 .

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

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

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.

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

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

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

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

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.