Alexander Kaiser

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Venues

CONCUR

CoRR

TACAS

Inf. Comput.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. 252 (2017)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in Abstraction: Monotonicity in Multi-threaded Programs. CONCUR (2014)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
A Widening Approach to Multithreaded Program Verification. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). CoRR (2014)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41 (1) (2012)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Efficient Coverability Analysis by Proof Minimization. CONCUR (2012)
Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS (2012)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR (2011)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV (2011)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV (2010)
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE (2008)

Alexander Kaiser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Kaiser