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
Slika profila

Matko Botinčan

6315

Matko

Botinčan

mr. sc.

nije evidentirano
Naziv Akcije
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
nije evidentirano
nije evidentirano