About

Hello and welcome to my home page. Since fall 2009, I am a PhD student at Computer Laboratory, University of Cambridge.

My research interests include:

• Analysis and design of concurrent programs
• Model checking
• Static checking
• Software testing, especially concolic testing
• Mathematical logic and decision procedures

Here you can find my curriculum vitae: [pdf]

Publications

• M. Botinčan, M. Parkinson and W. Schulte. Separation Logic Verification of C Programs with an SMT Solver. Proceedings of 4th International Workshop on Systems Software Verification (SSV 09). [pdf]
• M. Botinčan and D. Runje. An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy. Journal of Computing and Information Technology – CIT, 16(4), 339--344, 2008. [pdf]
• M. Botinčan, D. Runje and A. Vučinović. Futures and the Lazy Task Creation for .NET. Proc. of the 15th Int. Conference on Software, Telecommunications and Computer Networks (SoftCOM 2007), 2007. [pdf]
• M. Botinčan, P. Glavan and D. Runje. Distributed Algorithms: A Case Study of the Java Memory Model. Proc. of the 14th Int. ASM Workshop (ASM 2007), 2007. [pdf]
• M. Botinčan and V. Novaković. Model-based Testing of the Conference Protocol with Spec Explorer. Proc. of the 9th Int. Conference on Telecommunications (ConTEL 2007), 2007. [pdf]
• M. Botinčan. Compositional model checking of monadic least fixed point logic. Proc. of the 7th School on MOdeling and VErifying parallel Processes (MOVEP'06), 2006. [pdf]
• M. Botinčan. AsmL Specification and Verification of Lamport's Bakery Algorithm. Journal of Computing and Information Technology – CIT, 13(4), 313--319, 2005. [pdf]