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:
- Automated theorem proving and decision procedures
- Design and analysis of concurrent systems
- Formal methods
- Programming languages
- Software verification and testing
Here you can find my curriculum vitae: [pdf]
Publications
- M. Botinčan, P. Glavan and D. Runje. Verification of Causality Requirements in Java Memory Model is Undecidable. Proceedings of 8th Int. Conf. on Parallel Processing and Applied Mathematics (PPAM 09), Workshop on Language-Based Parallel Programming Models, 2009. [pdf]
- 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), 2009. [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]