Matko Botincan
Title
Cited by
Cited by
Year
Sigma* symbolic learning of input-output specifications
M Botinčan, D Babić
ACM SIGPLAN Notices 48 (1), 443-456, 2013
612013
Separation logic verification of C programs with an SMT solver
M Botinčan, M Parkinson, W Schulte
4th International Workshop on Systems Software Verification (SSV 09), 2009
492009
coreStar: The core of jStar
M Botincan, D Distefano, M Dodds, R Grigore, D Naudziuniene, ...
Boogie 2011, 65-77, 2011
302011
Proof-directed parallelization synthesis by separation logic
M Botinčan, M Dodds, S Jagannathan
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (2), 1-60, 2013
122013
Resource-sensitive synchronization inference by abduction
M Botincan, M Dodds, S Jagannathan
ACM SIGPLAN Notices 47 (1), 309-322, 2012
122012
Verification of causality requirements in Java memory model is undecidable
M Botinčan, P Glavan, D Runje
International Conference on Parallel Processing and Applied Mathematics, 62-67, 2009
82009
jStar-Eclipse: an IDE for automated verification of Java programs
D Naudziuniene, M Botincan, D Distefano, M Dodds, R Grigore, ...
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
42011
Automatic safety proofs for asynchronous memory operations
M Botincan, M Dodds, AF Donaldson, MJ Parkinson
ACM SIGPLAN Notices 46 (8), 313-314, 2011
42011
Model-based testing of the conference protocol with spec explorer
M Botincan, V Novakovic
2007 9th International Conference on Telecommunications, 131-138, 2007
42007
Distributed Algorithms: A Case Study of the Java Memory Model
M Botincan, P Glavan, D Runje
Proc. of the 14th Int. ASM Workshop, 2007
42007
Safe asynchronous multicore memory operations
M Botinčan, M Dodds, AF Donaldson, MJ Parkinson
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
32011
AsmL specification and verification of Lamport’s bakery algorithm
M Botinčan
Journal of computing and information technology 13 (4), 313-319, 2005
32005
Futures and the lazy task creation for. net
M Botincan, D Runje, A Vucinovic
2007 15th International Conference on Software, Telecommunications and …, 2007
22007
Kombinatorne igre
M Botinčan
Math. e 6, 2005
22005
Refining existential properties in separation logic analyses
M Botinčan, M Dodds, S Magill
arXiv preprint arXiv:1504.08309, 2015
12015
A generic C++ library for solving path problems
M Botinčan
Journal of computing and information technology 12 (2), 167-173, 2004
12004
Formal verification-driven parallelisation synthesis
M Botinčan
University of Cambridge, Computer Laboratory, 2018
2018
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy
M Botincan, D Runje
Journal of computing and information technology 16 (4), 339-344, 2008
2008
Anomalies in Distributed Branch-and-Cut Solving of the CVRP with Different Search Strategies
M Botinčan, N Goranka
Proceedings of 11th International Conference on Operational Research (KOI …, 2008
2008
Anomalies in Distributed Branch-and-cut Solving of the CVRP with Different Search Strategies
MBG Nogo
11 th International Conference on Operational Research KOI 2006, 47, 2006
2006
The system can't perform the operation now. Try again later.
Articles 1–20