Marina Zaharieva-Stojanovski

History-Based Verification of Functional Behaviour of Concurrent Programs

Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2015, SEFM.

A History of BlockingQueues

Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2012, FLACOS.

Verifying Functional Behaviour of Concurrent Programs

Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2014, FTfJP@ECOOP.

An Abstraction Technique for Describing Concurrent Program Behaviour

Marieke Huisman, Dilian Gurov, Stefan Blom, 2017, VSTTE.

Verification of Concurrent Systems with VerCors

Marieke Huisman, Stefan Blom, Saeed Darabi, 2014, SFM.

Formal Specifications for Java's Synchronisation Classes

Marieke Huisman, Stefan Blom, Wojciech Mostowski, 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

Runtime assertion checking of multithreaded Java programs

Marieke Huisman, Jorne Kandziora, Marina Zaharieva-Stojanovski, 2014 .

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs

Marina Zaharieva-Stojanovski, Marina Zaharieva-Stojanovski, 2015 .

The VerCors project: setting up basecamp

Marieke Huisman, Stefan Blom, Marina Zaharieva-Stojanovski, 2012, PLPV '12.

Verifying Class Invariants in Concurrent Programs

Marieke Huisman, Marina Zaharieva-Stojanovski, 2014, FASE.

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

Christoph Bockisch, Marieke Huisman, Jorne Kandziora, 2015, FTfJP@ECOOP.