Alexander Malkis

From MaRDI portal
Person:1675155

Available identifiers

zbMath Open malkis.alexanderMaRDI QIDQ1675155

List of research outcomes





PublicationDate of PublicationType
Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial2017-10-27Paper
https://portal.mardi4nfdi.de/entity/Q55066982016-12-15Paper
On automation in the verification of software barriers: experience report2015-06-23Paper
Thread-Modular Counterexample-Guided Abstraction Refinement2010-10-01Paper
Abstract Threads2010-01-14Paper
Precise Thread-Modular Verification2009-03-03Paper
Thread-Modular Verification Is Cartesian Abstract Interpretation2008-09-11Paper

Research outcomes over time

This page was built for person: Alexander Malkis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1675155&oldid=6322963"
Powered by MediaWiki