Marina Zaharieva-Stojanovski

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Formal Specification

Concurrent Programs

Top Venues

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE (2017)
Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. FTfJP@ECOOP (2015)
Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
History-Based Verification of Functional Behaviour of Concurrent Programs. SEFM (2015)
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Verification of Concurrent Systems with VerCors. SFM (2014)
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
Verifying Functional Behaviour of Concurrent Programs. FTfJP@ECOOP (2014)
Marina Zaharieva-Stojanovski, Marieke Huisman
Verifying Class Invariants in Concurrent Programs. FASE (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Formal Specifications for Java's Synchronisation Classes. PDP (2014)
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
A History of BlockingQueues FLACOS (2012)
Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
The VerCors project: setting up basecamp. PLPV (2012)