Alexander Kaiser
Alexander Kaiser
Dirección de correo verificada de cs.ox.ac.uk - Página principal
Título
Citado por
Citado por
Año
Dynamic Cutoff Detection in Parameterized Concurrent Programs.
A Kaiser, D Kroening, T Wahl
CAV 10, 645-659, 2010
1172010
Symmetry-aware predicate abstraction for shared-variable concurrent programs
A Donaldson, A Kaiser, D Kroening, T Wahl
Computer Aided Verification, 356-371, 2011
472011
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
392008
Efficient Coverability Analysis by Proof Minimization.
A Kaiser, D Kroening, T Wahl
CONCUR 7454, 500-515, 2012
382012
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
352014
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
292012
Lost in abstraction: Monotonicity in multi-threaded programs
A Kaiser, D Kroening, T Wahl
Information and Computation 252, 30-47, 2017
192017
Lost in abstraction: Monotonicity in multi-threaded programs
A Kaiser, D Kroening, T Wahl
CONCUR 2014–Concurrency Theory, 141-155, 2014
172014
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
122012
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
22011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15