Travelled to:1 × Estonia
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:D.Kröning T.Wahl A.F.Donaldson H.Post C.Sinz T.Gorges G.Basler M.Tautschnig
Talks about:program (3) abstract (2) concurr (2) parameter (1) interpret (1) contribut (1) symmetri (1) competit (1) variabl (1) verifi (1)
Person: Alexander Kaiser
DBLP: Kaiser:Alexander
Contributed to:
2012
20112010
2008Wrote 4 papers:
- TACAS-2012-BaslerDKKTW #c #contest #named #source code #verification
- satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.
- CAV-2011-DonaldsonKKW #abstraction #concurrent #source code #symmetry
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (AFD, AK, DK, TW), pp. 356–371.
- CAV-2010-KaiserKW #concurrent #detection #source code
- Dynamic Cutoff Detection in Parameterized Concurrent Programs (AK, DK, TW), pp. 645–659.
- ASE-2008-PostSKG #abstract interpretation #bound #model checking
- Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.