| 2016 | ATVA | Partial-Order Reduction for GPU Model Checking. | Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol |
| 2016 | FM | GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. | Anton Wijs, Thomas Neele, Dragan Bosnacki |
| 2016 | MODELSWARD | Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs |
| 2016 | MODELSWARD | Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs |
| 2015 | ECOOP | Modular Termination Verification. | Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper |
| 2014 | CAV | GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. | Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki |
| 2014 | MODELS | Towards Verified Java Code Generation from Concurrent State Machines. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs |
| 2014 | TACAS | GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. | Anton Wijs, Dragan Bosnacki |
| 2009 | FMICS | Behavioural Analysis of an I | Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko |
| 2007 | ATVA | Efficient Approximate Verification of Promela Models Via Symmetry Markers. | Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart |
| 2007 | ICALP | On Commutativity Based Edge Lean Search. | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |
| 2005 | FM | On Some Galois Connection Based Abstractions for the Mu-Calculus. | Dragan Bosnacki |
| 2002 | FORTE | A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. | Dragan Bosnacki |
| 2001 | FM | A Heuristic for Symmetry Reductions with Scalarsets. | Dragan Bosnacki, Dennis Dams, Leszek Holenderski |
| 2000 | TACAS | Model Checking SDL with Spin. | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova |
| 1998 | FORTE | Integrating Real Time into Spin: A Prototype Implementation. | Dragan Bosnacki, Dennis Dams |