Follow
Stefan Disch
Title
Cited by
Cited by
Year
Exact state set representations in the verification of linear hybrid systems with large discrete state space
W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ...
International Symposium on Automated Technology for Verification and …, 2007
522007
Combinational equivalence checking using incremental SAT solving, output ordering, and resets
S Disch, C Scholl
Design Automation Conference, 2007. ASP-DAC'07. Asia and South Pacific, 938-943, 2007
452007
Advanced unbounded model checking based on AIGs, BDD sweeping, and quantifier scheduling
F Pigorsch, C Scholl, S Disch
2006 Formal Methods in Computer Aided Design, 89-96, 2006
452006
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
W Damm, H Dierks, S Disch, W Hagemann, F Pigorsch, C Scholl, ...
Science of Computer Programming 77 (10-11), 1122-1150, 2012
412012
Computing optimized representations for non-convex polyhedra by detection and removal of redundant linear constraints
C Scholl, S Disch, F Pigorsch, S Kupferschmid
International Conference on Tools and Algorithms for the Construction and …, 2009
302009
Automatic verification of hybrid systems with large discrete state space
W Damm, S Disch, H Hungar, J Pang, F Pigorsch, C Scholl, U Waldmann, ...
International Symposium on Automated Technology for Verification and …, 2006
232006
Simple interpolants for linear arithmetic
C Scholl, F Pigorsch, S Disch, E Althaus
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
132014
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
E Althaus, B Beber, W Damm, S Disch, W Hagemann, A Rakow, C Scholl, ...
Science of Computer Programming 148, 123-160, 2017
102017
Using an SMT solver and Craig interpolation to detect and remove redundant linear constraints in representations of non-convex polyhedra
C Scholl, S Disch, F Pigorsch, S Kupferschmid
Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008
92008
Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization
E Althaus, B Beber, W Damm, S Disch, W Hagemann, A Rakow, C Scholl, ...
SFB/TR 14 AVACS, 2016
2016
of SFB/TR 14 AVACS
E Althaus, E Kruglov, C Weidenbach
2009
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
C Scholl, S Disch
Shaker, 2008
2008
of SFB/TR 14 AVACS
W Damm, S Disch, H Hungar, SJJ Pang, F Pigorsch, CSUWB Wirtz
2007
of Proceedings: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007
W Damm, S Disch, H Hungar, J Pang, F Pigorsch, C Scholl, U Waldmann, ...
Springer, 2006
2006
Accelerating Verification for Hybrid Systems with Large Discrete State Space
W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ...
The system can't perform the operation now. Try again later.
Articles 1–15