Follow
Alexander Malkis
Alexander Malkis
Guest Researcher, TUM
Verified email at daad-alumni.de - Homepage
Title
Cited by
Cited by
Year
S4P: A generic language for specifying privacy preferences and policies
MY Becker, A Malkis, L Bussard
Microsoft Research 167, 2010
512010
A Practical Generic Privacy Language
MY Becker, A Malkis, L Bussard
ICISS, 125-139, 2010
452010
Thread-modular verification is Cartesian abstract interpretation
A Malkis, A Podelski, A Rybalchenko
Theoretical Aspects of Computing-ICTAC 2006, 183-197, 2006
392006
A framework for privacy preferences and data-handling policies
MY Becker, A Malkis, L Bussard
Microsoft Research Cambridge Technical Report, MSR-TR-2009-128, 2009
382009
Precise thread-modular verification
A Malkis, A Podelski, A Rybalchenko
Static Analysis Symposium, 218-232, 2007
282007
Cartesian abstraction and verification of multithreaded programs
A Malkis
Freiburg (Breisgau), Univ., Diss., 2010, 2010
242010
Thread-modular counterexample-guided abstraction refinement
A Malkis, A Podelski, A Rybalchenko
International Static Analysis Symposium, 356-372, 2010
202010
A model of service-oriented architectures
A Malkis, D Marmsoler
2015 IX Brazilian Symposium on Components, Architectures and Reuse Software …, 2015
132015
A model of layered architectures
D Marmsoler, A Malkis, J Eckhardt
arXiv preprint arXiv:1503.04916, 2015
112015
Thread-modular verification and Cartesian abstraction
A Malkis, A Podelski, A Rybalchenko
The 2006 Federated Logic Conference, 17, 2006
112006
Formal Methods: From Academia to Industrial Practice – A Travel Guide
M Huisman, D Gurov, A Malkis
http://arxiv.org/abs/2002.07279, 2020
102020
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung – unter Mitarbeit von …
M Broy
8*2019
On automation in the verification of software barriers: Experience report
A Malkis, A Banerjee
Journal of automated reasoning 52, 275-329, 2014
82014
Verification of software barriers
A Malkis, A Banerjee
ACM SIGPLAN Notices 47 (8), 313-314, 2012
82012
On the strength of Owicki-Gries for resources
A Malkis, L Mauborgne
Asian Symposium on Programming Languages and Systems, 172-187, 2011
82011
Abstract threads
SK Lahiri, A Malkis, S Qadeer
International Workshop on Verification, Model Checking, and Abstract …, 2010
82010
Refinement with exceptions
A Malkis, A Podelski
University of Freiburg, research rep, 2008
62008
Reachability in binary multithreaded programs is polynomial
A Malkis, S Borgwardt
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
52017
Reachability in parallel programs is polynomial in the number of threads
A Malkis
Journal of Parallel and Distributed Computing 162, 1-16, 2022
22022
Reachability in multithreaded programs is polynomial in the number of threads
A Malkis
PDCAT, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20