Matko Botincan
Título
Citado por
Citado por
Ano
Sigma* symbolic learning of input-output specifications
M Botinčan, D Babić
ACM SIGPLAN Notices 48 (1), 443-456, 2013
622013
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
312011
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
52011
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20