Alexander Malkis

ORCID

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 4

Top Venues

CoRR

PDCAT

PPOPP

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Alexander Malkis
Reachability in parallel programs is polynomial in the number of threads. J. Parallel Distributed Comput. 162 (2022)
Marieke Huisman, Dilian Gurov, Alexander Malkis
Formal Methods: From Academia to Industrial Practice. A Travel Guide. CoRR (2020)
Alexander Malkis
Reachability in Multithreaded Programs Is Polynomial in the Number of Threads. PDCAT (2019)
Alexander Malkis, Steffen Borgwardt
Reachability in Binary Multithreaded Programs Is Polynomial. ICDCS (2017)
Diego Marmsoler, Alexander Malkis, Jonas Eckhardt
A Model of Layered Architectures. FESCA (2015)
Alexander Malkis
Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial. RP (2015)
Alexander Malkis, Diego Marmsoler
A Model of Service-Oriented Architectures. SBCARS (2015)
Alexander Malkis, Anindya Banerjee
On Automation in the Verification of Software Barriers: Experience Report. J. Autom. Reason. 52 (3) (2014)
Alexander Malkis, Anindya Banerjee
Verification of software barriers. PPOPP (2012)
Alexander Malkis, Laurent Mauborgne
On the Strength of Owicki-Gries for Resources. APLAS (2011)
Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
Thread-Modular Counterexample-Guided Abstraction Refinement. SAS (2010)
Moritz Y. Becker, Alexander Malkis, Laurent Bussard
A Practical Generic Privacy Language. ICISS (2010)
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
Abstract Threads. VMCAI (2010)
Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
Precise Thread-Modular Verification. SAS (2007)
Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
Thread-Modular Verification Is Cartesian Abstract Interpretation. ICTAC (2006)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Malkis