Stefan Disch

According to our database, Stefan Disch authored at least 9 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2017

2014

Simple interpolants for linear arithmetic.

Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

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

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2012

2009

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

Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2007

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

Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2007

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

Stefan Disch, Christoph Scholl

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

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

Florian Pigorsch, Christoph Scholl, Stefan Disch

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

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

Florian Pigorsch, Christoph Scholl, Stefan Disch

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Automatic Verification of Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2006