Marina Zaharieva-Stojanovski

According to our database, Marina Zaharieva-Stojanovski authored at least 11 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

An Abstraction Technique for Describing Concurrent Program Behaviour.

Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

2015

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs.

Marina Zaharieva-Stojanovski

PhD thesis, 2015

History-Based Verification of Functional Behaviour of Concurrent Programs.

Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

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

Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2014

Verification of Concurrent Systems with VerCors.

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Verifying Class Invariants in Concurrent Programs.

Marina Zaharieva-Stojanovski, Marieke Huisman

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Verifying Functional Behaviour of Concurrent Programs.

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

2012

A History of BlockingQueues

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

The VerCors project: setting up basecamp.

Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

Parallelization of Dynamic Programming in Nussinov RNA Folding Algorithm on the CUDA GPU.

Marina Zaharieva-Stojanovski, Dejan Gjorgjevikj, Gjorgji Madjarov

Proceedings of the ICT Innovations 2011, Skopje, Macedonia, 14-16 September, 2011, 2011