Biljana Stojcevska

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Functional Programming

Top Venues

Publications

Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva, Irena Stojmenovska
PubSub implementation in Haskell with formal verification in Coq. CoRR (2020)
Aleksandar Milenkoski, Biljana Stojcevska, Oliver Popov
System for transport protocol evaluation with automatic calculation of statistical accuracy and distributed and parallel execution. SimuTools (2011)