Alexander Kaiser

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