Dynamic Cutoff Detection in Parameterized Concurrent Programs. A Kaiser, D Kroening, T Wahl CAV 10, 645-659, 2010 | 149 | 2010 |
Reducing false positives by combining abstract interpretation and bounded model checking H Post, C Sinz, A Kaiser, T Gorges Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008 | 60 | 2008 |
Symmetry-aware predicate abstraction for shared-variable concurrent programs A Donaldson, A Kaiser, D Kroening, T Wahl Computer Aided Verification, 356-371, 2011 | 57 | 2011 |
Efficient Coverability Analysis by Proof Minimization. A Kaiser, D Kroening, T Wahl CONCUR 7454, 500-515, 2012 | 54 | 2012 |
A widening approach to multithreaded program verification A Kaiser, D Kroening, T Wahl ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 14, 2014 | 52 | 2014 |
Counterexample-guided abstraction refinement for symmetric concurrent programs AF Donaldson, A Kaiser, D Kroening, M Tautschnig, T Wahl Formal Methods in System Design 41 (1), 25-44, 2012 | 32 | 2012 |
Lost in abstraction: Monotonicity in multi-threaded programs A Kaiser, D Kroening, T Wahl Information and Computation 252, 30-47, 2017 | 29 | 2017 |
Lost in abstraction: Monotonicity in multi-threaded programs A Kaiser, D Kroening, T Wahl CONCUR 2014–Concurrency Theory, 141-155, 2014 | 22 | 2014 |
SatAbs: a bit-precise verifier for C programs G Basler, A Donaldson, A Kaiser, D Kroening, M Tautschnig, T Wahl Tools and Algorithms for the Construction and Analysis of Systems, 552-555, 2012 | 13 | 2012 |
Symmetry-aware predicate abstraction for shared-variable concurrent programs (extended technical report) A Donaldson, A Kaiser, D Kroening, T Wahl arXiv preprint arXiv:1102.2330, 2011 | 4 | 2011 |
Lost in abstraction: Monotonicity in multi-threaded programs (extended technical report) A Kaiser, D Kroening, T Wahl arXiv preprint arXiv:1406.5715, 2014 | 1 | 2014 |
Monotonicity in shared-memory program verification A Kaiser University of Oxford, 2013 | | 2013 |
Formal Verification of Safety Properties in an Industrial C/C++ Project A Kaiser http://www.akaiser.net/diplomarbeit.pdf, 2008 | | 2008 |
Integration von Kodierrichtlinien und statischen Eigenschaftsberichten in Software-Entwicklungsprozesse A Kaiser University of Tübingen/Robert Bosch GmbH, 2007 | | 2007 |
Boolean Broadcast Programs A Donaldson, A Kaiser, D Kroening, T Wahl | | |