Folgen
Alexander Kaiser
Alexander Kaiser
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Dynamic Cutoff Detection in Parameterized Concurrent Programs.
A Kaiser, D Kroening, T Wahl
CAV 10, 645-659, 2010
1492010
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
602008
Symmetry-aware predicate abstraction for shared-variable concurrent programs
A Donaldson, A Kaiser, D Kroening, T Wahl
Computer Aided Verification, 356-371, 2011
572011
Efficient Coverability Analysis by Proof Minimization.
A Kaiser, D Kroening, T Wahl
CONCUR 7454, 500-515, 2012
542012
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
522014
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
322012
Lost in abstraction: Monotonicity in multi-threaded programs
A Kaiser, D Kroening, T Wahl
Information and Computation 252, 30-47, 2017
292017
Lost in abstraction: Monotonicity in multi-threaded programs
A Kaiser, D Kroening, T Wahl
CONCUR 2014–Concurrency Theory, 141-155, 2014
222014
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
132012
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
42011
Lost in abstraction: Monotonicity in multi-threaded programs (extended technical report)
A Kaiser, D Kroening, T Wahl
arXiv preprint arXiv:1406.5715, 2014
12014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15