Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Botincan, Matko ; Dodds, Mike ; Jagannathan, Suresh
Resource-Sensitive Synchronization Inference by Abduction // Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012). New York (NY): The Association for Computing Machinery (ACM), 2012
Botinčan, Matko ; Babić, Domagoj
Sigma*: Symbolic Learning of Input-Output Specifications // Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13), 2013 / Gicobazzi, Roberto ; Cousot Radhia (ur.). New York (NY): The Association for Computing Machinery (ACM), 2012. str. 443-456
Botinčan, Matko ; Dodds, Mike ; Donaldson, Alastair F. ; Parkinson, Matthew J.
Automatic safety proofs for asynchronous memory operations // Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011) / Cascaval, Colin ; Yew, Pen-Chung (ur.). New York (NY): The Association for Computing Machinery (ACM), 2011. str. 313-314
Botinčan, Matko ; Dodds, Mike ; Donaldson, Alastair F. ; Parkinson, Matthew J.
Safe Asynchronous Multicore Memory Operations // Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). Washington (MD): IEEE CS, 2011
Botinčan, Matko ; Distefano, Dino ; Dodds, Mike ; Grigore, Radu ; Naudziuniene, Daiva ; Parkinson, Matthew J.
CoreStar: The Core of jStar // Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal (ur.). Redmond (WA): Microsoft Research, 2011. str. 65-77
Naudziuniene, Daiva ; Botinčan, Matko ; Distefano, Dino ; Dodds, Mike ; Grigore, Radu ; Parkinson, Matthew J.
jStar-eclipse: an IDE for automated verification of Java programs // Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2011) / Gymothy, Tibor ; Zeller, Andreas (ur.). New York (NY): The Association for Computing Machinery (ACM), 2011. str. 428-431
Botinčan, Matko ; Glavan, Paola ; Runje, Davor
Verication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009). Berlin: Springer, 2010
Botinčan, Matko ; Parkinson, Matthew ; Schulte, Wolfram
Separation Logic Verification of C Programs with an SMT Solver // Proceedings of the 4th International Workshop on Systems Software Verification (SSV 09) / Huuck, Ralf ; Klein, Gerwin ; Schlich, Bastian (ur.). Elsevier, 2009
Botinčan, Matko ; Bujanović, Zvonimir ; Jelaska, Igor ; Karaga, Maja
Mreže računala // PMF - Matematički odjel. 2009.
Botinčan, Matko ; Runje, Davor
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy // CIT. Journal of computing and information technology, 16 (2008), 4; 339-344