| 2022 | COMPSAC | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. | Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic |
| 2022 | SSS | Flexible Scheduling of Transactional Memory on Trees. | Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma |
| 2019 | TASE | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. | Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic |
| 2018 | EDUCON | Work in progress: Modernizing laboratories for innovative technologies in automotive. | Ivan Kastelan, Miroslav Popovic, Mario Vranjes, Gordana Velikic |
| 2017 | APSEC | Formalization and Verification of the PSTM Architecture. | Ailun Liu, Miroslav Popovic, Huibiao Zhu |
| 2017 | SPAA | Fast Scheduling in Distributed Transactional Memory. | Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma |
| 2015 | PODC | Impossibility Results for Distributed Transactional Memory. | Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma |
| 2015 | WFCS | iPRP: Parallel redundancy protocol for IP networks. | Miroslav Popovic, Maaz Mohiuddin, Dan-Cristian Tomozei, Jean-Yves Le Boudec |
| 2014 | CCS | Security Vulnerabilities of the Cisco IOS Implementation of the MPLS Transport Profile. | Upul Jayasinghe, Srgio Barreto Andrade, Miroslav Popovic, Teklemariam Tsegay Tesfay, Jean-Yves Le Boudec |
| 2012 | CoNEXT | MPTCP is not pareto-optimal: performance issues and a possible solution. | Ramin Khalili, Nicolas Gast, Miroslav Popovic, Utkarsh Upadhyay, Jean-Yves Le Boudec |
| 2010 | ADBIS | An Optimal Relationship-Based Partitioning of Large Datasets. | Darko Capko, Aleksandar Erdeljan, Miroslav Popovic, Goran Svenda |
| 2000 | ISSRE | Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD. | Miroslav Popovic, Vladimir Kovacevic, M. Skrbic |
| 1999 | ISSRE | Software development and testing methodology used for subscriber digital concentrator ACK-2000. | Miroslav Popovic, Vladimir Kovacevic, M. Skrbic |