We stand with Ukraine  

Alexander Kaiser

Affiliations:
  • University of Oxford, Department of Computer Science, UK


According to our database1, Alexander Kaiser authored at least 11 papers between 2008 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Lost in abstraction: Monotonicity in multi-threaded programs.
[BibTeX]
[DOI]
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
Inf. Comput., 2017

2014
A Widening Approach to Multithreaded Program Verification.
[BibTeX]
[DOI]
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
ACM Trans. Program. Lang. Syst., 2014

Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report).
[BibTeX]
[DOI]
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
CoRR, 2014

2013
Monotonicity in shared-memory program verification.
[BibTeX]
[DOI]
Alexander Kaiser
PhD thesis, 2013

2012
Counterexample-guided abstraction refinement for symmetric concurrent programs.
[BibTeX]
[DOI]
Alastair F. Donaldson
,
Alexander Kaiser
,
Daniel Kroening
,
Michael Tautschnig
,
Thomas Wahl
Formal Methods Syst. Des., 2012

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).
[BibTeX]
[DOI]
Gérard Basler
,
Alastair F. Donaldson
,
Alexander Kaiser
,
Daniel Kroening
,
Michael Tautschnig
,
Thomas Wahl
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Efficient Coverability Analysis by Proof Minimization.
[BibTeX]
[DOI]
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)
[BibTeX]
[DOI]
Alastair F. Donaldson
,
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
CoRR, 2011

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.
[BibTeX]
[DOI]
Alastair F. Donaldson
,
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Dynamic Cutoff Detection in Parameterized Concurrent Programs.
[BibTeX]
[DOI]
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
[BibTeX]
[DOI]
Hendrik Post
,
Carsten Sinz
,
Alexander Kaiser
,
Thomas Gorges
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008


  Loading...