Search

Search Results

1. Textbook

   Logische und Methodische Grundlagen der Entwicklung verteilter Systeme Unter Mitarbeit von Alexander Malkis

   Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen,...

   Manfred Broy, Alexander Malkis

   2023
   
2. Textbook

   Logische und Methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

   Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an

   Geht man beim Entwickeln von Programmen von...

   Manfred Broy, Alexander Malkis

   2019
   
3. Conference paper

   Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial

   Undecidability is the scourge of verification for many program classes. We consider the class of shared-memory multithreaded programs in the...

   Alexander Malkis in Reachability Problems

   2015
   
4. Article

   On Automation in the Verification of Software Barriers: Experience Report

   We present an experience report on automating the verification of the software barrier synchronization primitive. The informal specification of the...

   Alexander Malkis, Anindya Banerjee in Journal of Automated Reasoning

   20 September 2013
5. Conference paper

   On the Strength of Owicki-Gries for Resources

   In multithreaded programs data are often separated into lock- protected resources. Properties of those resources are typically verified by modular,...

   Alexander Malkis, Laurent Mauborgne in Programming Languages and Systems

   2011
   
6. Conference paper

   A Practical Generic Privacy Language

   We present a declarative language with a formal semantics for specifying both users’ privacy preferences and services’ privacy policies....

   Moritz Y. Becker, Alexander Malkis, Laurent Bussard in Information Systems Security

   2010
   
7. Conference paper

   Thread-Modular Counterexample-Guided Abstraction Refinement

   We consider the refinement of a static analysis method called thread-modular verification. It was an open question whether such a refinement can be...

   Alexander Malkis, Andreas Podelski, Andrey Rybalchenko in Static Analysis

   2010
   
8. Conference paper

   Abstract Threads

   Verification of large multithreaded programs is challenging. Automatic approaches cannot overcome the state explosion in the number of threads;...

   Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer in Verification, Model Checking, and Abstract Interpretation

   2010
   
9. Conference paper

   Precise Thread-Modular Verification

   Thread-modular verification is a promising approach for the verification of concurrent programs. Its high efficiency is achieved by abstracting the...

   Alexander Malkis, Andreas Podelski, Andrey Rybalchenko in Static Analysis

   2007
   
10. Conference paper

    Thread-Modular Verification Is Cartesian Abstract Interpretation

    Verification of multithreaded programs is difficult. It requires reasoning about state spaces that grow exponentially in the number of concurrent...

    Alexander Malkis, Andreas Podelski, Andrey Rybalchenko in Theoretical Aspects of Computing - ICTAC 2006

    2006