Seguir
Alexander Malkis
Alexander Malkis
Guest Researcher, TUM
Dirección de correo verificada de daad-alumni.de - Página principal
Título
Citado por
Citado por
Año
S4P: A generic language for specifying privacy preferences and policies
MY Becker, A Malkis, L Bussard
Microsoft Research 167, 2010
542010
A Practical Generic Privacy Language
MY Becker, A Malkis, L Bussard
ICISS, 125-139, 2010
462010
Thread-modular verification is Cartesian abstract interpretation
A Malkis, A Podelski, A Rybalchenko
Theoretical Aspects of Computing-ICTAC 2006, 183-197, 2006
412006
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
302007
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
Formal Methods: From Academia to Industrial Practice – A Travel Guide
M Huisman, D Gurov, A Malkis
http://arxiv.org/abs/2002.07279, 2020
112020
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
Abstract threads
SK Lahiri, A Malkis, S Qadeer
International Workshop on Verification, Model Checking, and Abstract …, 2010
92010
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20