Parallelization of Dynamic Programming in Nussinov RNA Folding Algorithm on the CUDA GPU. - Marina Zaharieva-Stojanovski; Dejan Gjorgjevikj; Gjorgji Madjarov (ICT Innovations, 2011)

The VerCors project: setting up basecamp. - Afshin Amighi; Stefan Blom; Marieke Huisman; Marina Zaharieva-Stojanovski (PLPV, 2012)

A History of BlockingQueues - Marina Zaharieva-Stojanovski; Marieke Huisman; Stefan Blom (FLACOS, 2012)

Verifying Functional Behaviour of Concurrent Programs. - Marina Zaharieva-Stojanovski; Marieke Huisman; Stefan Blom (FTfJP@ECOOP, 2014)

Verifying Class Invariants in Concurrent Programs. - Marina Zaharieva-Stojanovski; Marieke Huisman (FASE, 2014)

Formal Specifications for Java's Synchronisation Classes. - Afshin Amighi; Stefan Blom; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (PDP, 2014)

Verification of Concurrent Systems with VerCors. - Afshin Amighi; Stefan Blom; Saeed Darabi; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (SFM, 2014)

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. - Jorne Kandziora; Marieke Huisman; Christoph Bockisch; Marina Zaharieva-Stojanovski (FTfJP@ECOOP, 2015)

History-Based Verification of Functional Behaviour of Concurrent Programs. - Stefan Blom; Marieke Huisman; Marina Zaharieva-Stojanovski (SEFM, 2015)

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs. - Marina Zaharieva-Stojanovski (2015)

An Abstraction Technique for Describing Concurrent Program Behaviour. - Wytse Oortwijn; Stefan Blom; Dilian Gurov; Marieke Huisman; Marina Zaharieva-Stojanovski (VSTTE, 2017)