System for transport protocol evaluation with automatic calculation of statistical accuracy and distributed and parallel execution. - Aleksandar Milenkoski; Biljana Stojcevska; Oliver Popov (SimuTools, 2011)

PubSub implementation in Haskell with formal verification in Coq. - Boro Sitnikovski; Biljana Stojcevska; Lidija Goracinova-Ilieva; Irena Stojmenovska (CoRR, 2020)

Enhancing Electric Vehicle Charging Systems with Distributed Edge Intelligence. - Rahim Rahmani; Biljana Stojcevska (ANT/EDI40, 2025)