Alexander Malkis
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial | 2017-10-27 | Paper |
| scientific article; zbMATH DE number 6664438 (Why is no real title available?) | 2016-12-15 | Paper |
| On automation in the verification of software barriers: experience report Journal of Automated Reasoning | 2015-06-23 | Paper |
| Thread-modular counterexample-guided abstraction refinement Static Analysis | 2010-10-01 | Paper |
| Abstract threads Lecture Notes in Computer Science | 2010-01-14 | Paper |
| Precise Thread-Modular Verification Static Analysis | 2009-03-03 | Paper |
| Thread-Modular Verification Is Cartesian Abstract Interpretation Lecture Notes in Computer Science | 2008-09-11 | Paper |
Research outcomes over time
This page was built for person: Alexander Malkis
