AsmL Specification and Verification of Lamport's Bakery Algorithm. - Matko Botincan (J. Comput. Inf. Technol., 2005)

An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy. - Matko Botincan; Davor Runje (J. Comput. Inf. Technol., 2008)

Verification of Causality Requirements in Java Memory Model Is Undecidable. - Matko Botincan; Paola Glavan; Davor Runje (PPAM (2), 2009)

Separation Logic Verification of C Programs with an SMT Solver. - Matko Botincan; Matthew J. Parkinson; Wolfram Schulte (SSV, 2009)

Safe asynchronous multicore memory operations. - Matko Botincan; Mike Dodds; Alastair F. Donaldson; Matthew J. Parkinson (ASE, 2011)

Automatic safety proofs for asynchronous memory operations. - Matko Botincan; Mike Dodds; Alastair F. Donaldson; Matthew J. Parkinson (PPoPP, 2011)

jStar-eclipse: an IDE for automated verification of Java programs. - Daiva Naudziuniene; Matko Botincan; Dino Distefano; Mike Dodds; Radu Grigore; Matthew J. Parkinson (SIGSOFT FSE, 2011)

Resource-sensitive synchronization inference by abduction. - Matko Botincan; Mike Dodds; Suresh Jagannathan (POPL, 2012)

Sigma*: symbolic learning of input-output specifications. - Matko Botincan; Domagoj Babic (POPL, 2013)

Proof-Directed Parallelization Synthesis by Separation Logic. - Matko Botincan; Mike Dodds; Suresh Jagannathan (ACM Trans. Program. Lang. Syst., 2013)

Refining Existential Properties in Separation Logic Analyses. - Matko Botincan; Mike Dodds; Stephen Magill (CoRR, 2015)

Formal verification-driven parallelisation synthesis. - Matko Botincan (2018)