S4P: A generic language for specifying privacy preferences and policies MY Becker, A Malkis, L Bussard Microsoft Research 167, 2010 | 52 | 2010 |
A Practical Generic Privacy Language MY Becker, A Malkis, L Bussard ICISS, 125-139, 2010 | 45 | 2010 |
Thread-modular verification is Cartesian abstract interpretation A Malkis, A Podelski, A Rybalchenko Theoretical Aspects of Computing-ICTAC 2006, 183-197, 2006 | 41 | 2006 |
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 | 39 | 2009 |
Precise thread-modular verification A Malkis, A Podelski, A Rybalchenko Static Analysis Symposium, 218-232, 2007 | 30 | 2007 |
Cartesian abstraction and verification of multithreaded programs A Malkis Freiburg (Breisgau), Univ., Diss., 2010, 2010 | 24 | 2010 |
Thread-modular counterexample-guided abstraction refinement A Malkis, A Podelski, A Rybalchenko International Static Analysis Symposium, 356-372, 2010 | 20 | 2010 |
A model of service-oriented architectures A Malkis, D Marmsoler 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software …, 2015 | 13 | 2015 |
Formal Methods: From Academia to Industrial Practice – A Travel Guide M Huisman, D Gurov, A Malkis http://arxiv.org/abs/2002.07279, 2020 | 11 | 2020 |
A model of layered architectures D Marmsoler, A Malkis, J Eckhardt arXiv preprint arXiv:1503.04916, 2015 | 11 | 2015 |
Thread-modular verification and Cartesian abstraction A Malkis, A Podelski, A Rybalchenko The 2006 Federated Logic Conference, 17, 2006 | 11 | 2006 |
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 | 8 | 2014 |
Verification of software barriers A Malkis, A Banerjee ACM SIGPLAN Notices 47 (8), 313-314, 2012 | 8 | 2012 |
On the strength of Owicki-Gries for resources A Malkis, L Mauborgne Asian Symposium on Programming Languages and Systems, 172-187, 2011 | 8 | 2011 |
Abstract threads SK Lahiri, A Malkis, S Qadeer International Workshop on Verification, Model Checking, and Abstract …, 2010 | 8 | 2010 |
Refinement with exceptions A Malkis, A Podelski University of Freiburg, research rep, 2008 | 6 | 2008 |
Reachability in binary multithreaded programs is polynomial A Malkis, S Borgwardt 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 5 | 2017 |
Reachability in parallel programs is polynomial in the number of threads A Malkis Journal of Parallel and Distributed Computing 162, 1-16, 2022 | 2 | 2022 |
Reachability in multithreaded programs is polynomial in the number of threads A Malkis PDCAT, 2019 | 2 | 2019 |