Alexander Malkis

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