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 | 53 | 2007 |
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 | 46 | 2007 |
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 | 44 | 2006 |
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 | 40 | 2012 |
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 | 30 | 2009 |
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 | 23 | 2006 |
Polymeric Materials Encyclopedia S Disch, C Schmidt, H Finkelmann CRC Press, Boca Raton, 1996 | 19 | 1996 |
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 | 13 | 2014 |
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 | 10 | 2017 |
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 | 9 | 2008 |
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, ... | | |