 | 2012 |
|---|
| 8 |       | Alexander Malkis,
Anindya Banerjee:
Verification of software barriers.
PPOPP 2012: 313-314 |
| 2011 |
|---|
| 7 | | Alexander Malkis,
Laurent Mauborgne:
On the Strength of Owicki-Gries for Resources.
APLAS 2011: 172-187 |
| 2010 |
|---|
| 6 | | Moritz Y. Becker,
Alexander Malkis,
Laurent Bussard:
A Practical Generic Privacy Language.
ICISS 2010: 125-139 |
| 5 | | Alexander Malkis,
Andreas Podelski,
Andrey Rybalchenko:
Thread-Modular Counterexample-Guided Abstraction Refinement.
SAS 2010: 356-372 |
| 4 | | Shuvendu K. Lahiri,
Alexander Malkis,
Shaz Qadeer:
Abstract Threads.
VMCAI 2010: 231-246 |
| 3 | | Alexander Malkis:
Cartesian abstraction and verification of multithreaded programs.
University of Freiburg 2010 |
| 2007 |
|---|
| 2 | | Alexander Malkis,
Andreas Podelski,
Andrey Rybalchenko:
Precise Thread-Modular Verification.
SAS 2007: 218-232 |
| 2006 |
|---|
| 1 | | Alexander Malkis,
Andreas Podelski,
Andrey Rybalchenko:
Thread-Modular Verification Is Cartesian Abstract Interpretation.
ICTAC 2006: 183-197 |
Data released under the ODC-BY 1.0 license — See also our legal information page