Marina Zaharieva-Stojanovski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2015
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ECOOP | Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |
| 2015 | SEFM | History-Based Verification of Functional Behaviour of Concurrent Programs. | Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski |
| 2014 | ECOOP | Verifying Functional Behaviour of Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
| 2014 | FASE | Verifying Class Invariants in Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman |
| 2014 | PDP | Formal Specifications for Java's Synchronisation Classes. | Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski |