Integrating Real Time into Spin: A Prototype Implementation. - Dragan Bosnacki; Dennis Dams (FORTE, 1998)

Discrete-Time Promela and Spin. - Dragan Bosnacki; Dennis Dams (FTRTFT, 1998)

Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. - Dragan Bosnacki (SPIN, 1999)

Model Checking SDL with Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski; Natalia Sidorova (TACAS, 2000)

A Heuristic for Symmetry Reductions with Scalarsets. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski (FME, 2001)

Enhancing Partial-Order Reduction via Process Clustering. - Twan Basten; Dragan Bosnacki (ASE, 2001)

A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. - Dragan Bosnacki (FORTE, 2002)

Symmetric Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski (Int. J. Softw. Tools Technol. Transf., 2002)

Genetic Code as a Gray Code Revisited. - Dragan Bosnacki; Huub M. M. ten Eikelder; Peter A. J. Hilbers (METMBS, 2003)

A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. - Dragan Bosnacki (SPIN, 2003)

Black Box Checking for Biochemical Networks. - Dragan Bosnacki (CMSB, 2004)

Using Fairness to Make Abstractions Work. - Dragan Bosnacki; Natalia Ioustinova; Natalia Sidorova (SPIN, 2004)

Cluster-Based Partial-Order Reduction. - Twan Basten; Dragan Bosnacki; Marc Geilen (Autom. Softw. Eng., 2004)

On Some Galois Connection Based Abstractions for the Mu-Calculus. - Dragan Bosnacki (FM, 2005)

Improving Spin's Partial-Order Reduction for Breadth-First Search. - Dragan Bosnacki; Gerard J. Holzmann (SPIN, 2005)

Efficient Approximate Verification of Promela Models Via Symmetry Markers. - Dragan Bosnacki; Alastair F. Donaldson; Michael Leuschel; Thierry Massart (ATVA, 2007)

Multi-Core Model Checking with SPIN. - Gerard J. Holzmann; Dragan Bosnacki (IPDPS, 2007)

The Design of a Multicore Extension of the SPIN Model Checker. - Gerard J. Holzmann; Dragan Bosnacki (IEEE Trans. Software Eng., 2007)

Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. - Hans Zantema; Stefan Wagemans; Dragan Bosnacki (BIRD, 2008)

Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. - Dragan Bosnacki; Huub M. M. ten Eikelder; Marvin N. Steijaert; Erik P. de Vink (CMSB, 2008)

Survey on Directed Model Checking. - Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar Fehnker; Husain Aljazzar (MoChArt, 2008)

Large Scale Analysis of Small Repeats via Mining of the Human Genome. - Inge van den Berg; Dragan Bosnacki; Peter A. J. Hilbers (DEXA Workshops, 2009)

Mining Maximal Frequent Subgraphs in KEGG Reaction Networks. - Willem P. A. Ligtenberg; Dragan Bosnacki; Peter A. J. Hilbers (DEXA Workshops, 2009)

Behavioural Analysis of an I2C Linux Driver. - Dragan Bosnacki; Aad Mathijssen; Yaroslav S. Usenko (FMICS, 2009)

Efficient Probabilistic Model Checking on General Purpose Graphics Processors. - Dragan Bosnacki; Stefan Edelkamp; Damian Sulewski (SPIN, 2009)

On commutativity based Edge Lean search. - Dragan Bosnacki; Edith Elkind; Blaise Genest; Doron A. Peled (Ann. Math. Artif. Intell., 2009)

Partial-order reduction for general state exploring algorithms. - Dragan Bosnacki; Stefan Leue; Alberto Lluch-Lafuente (Int. J. Softw. Tools Technol. Transf., 2009)

In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. - Dragan Bosnacki; Tessa E. Pronk; Erik P. de Vink (Trans. Comp. Sys. Biology, 2009)

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. - Maja Pesic; Dragan Bosnacki; Wil M. P. van der Aalst (SPIN, 2010)

Model checking software: on some new waves and some evergreens. - Dragan Bosnacki; Stefan Edelkamp (Int. J. Softw. Tools Technol. Transf., 2010)

Parallel probabilistic model checking on general purpose graphics processors. - Dragan Bosnacki; Stefan Edelkamp; Damian Sulewski; Anton Wijs (Int. J. Softw. Tools Technol. Transf., 2011)

Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. - Anton Wijs; Dragan Bosnacki (SPIN, 2012)

Combining Insertion and Deletion in RNA-editing Preserves Regularity - Erik P. de Vink; Hans Zantema; Dragan Bosnacki (MeCBIC, 2012)

RNA-Editing with Combined Insertion and Deletion Preserves Regularity. - Erik P. de Vink; Hans Zantema; Dragan Bosnacki (Sci. Ann. Comput. Sci., 2013)

Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome. - Willem P. A. Ligtenberg; Dragan Bosnacki; Peter A. J. Hilbers (J. Bioinform. Comput. Biol., 2013)

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. - Anton Wijs; Joost-Pieter Katoen; Dragan Bosnacki (CAV, 2014)

Robustness of the Gray Code Arrangements of the Genetic Code in Mitochondria. - Dragan Bosnacki; Hubertus M. M. ten Eikelder; Marieke Maanders; Peter A. J. Hilbers (ICT Innovations, 2014)

Towards Verified Java Code Generation from Concurrent State Machines. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Luc Engelen; Cornelis Huizing; Ruurd Kuiper 001; Anton Wijs (AMT@MoDELS, 2014)

GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. - Anton Wijs; Dragan Bosnacki (TACAS, 2014)

Modular Termination Verification. - Bart Jacobs 002; Dragan Bosnacki; Ruurd Kuiper 001 (ECOOP, 2015)

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. - Dragan Bosnacki; Mark van den Brand; Joost Gabriels; Bart Jacobs 002; Ruurd Kuiper 001; Sybren Roede; Anton Wijs; Dan Zhang 002 (FACS, 2015)

Partial Order Reduction and Symmetry with Multiple Representatives. - Dragan Bosnacki; Mark Scheffer (NFM, 2015)

Partial-Order Reduction for GPU Model Checking. - Thomas Neele; Anton Wijs; Dragan Bosnacki; Jaco van de Pol (ATVA, 2016)

GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. - Anton Wijs; Thomas Neele; Dragan Bosnacki (FM, 2016)

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (MODELSWARD (Revised Selected Papers), 2016)

Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Ruurd Kuiper 001; Bart Jacobs 002; Anton Wijs (MODELSWARD, 2016)

Dependency Safety for Java: Implementing Failboxes. - Dragan Bosnacki; Mark van den Brand; Philippe Denissen; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs; Maciej Wilkowski; Dan Zhang 002 (PPPJ, 2016)

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. - Anton Wijs; Joost-Pieter Katoen; Dragan Bosnacki (Formal Methods Syst. Des., 2016)

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). - Dragan Bosnacki; Stefan Edelkamp; Alberto Lluch-Lafuente; Anton Wijs (Sci. Comput. Program., 2016)

Many-core on-the-fly model checking of safety properties using GPUs. - Anton Wijs; Dragan Bosnacki (Int. J. Softw. Tools Technol. Transf., 2016)

HIFUtk: Visual Analytics for High Intensity Focused Ultrasound Simulation. - Daniela Modena; Edmond van Dijk; Dragan Bosnacki; Huub M. M. ten Eikelder; Michel A. Westenberg (VCBM, 2017)

Model checking: recent improvements and applications. - Dragan Bosnacki; Anton Wijs (Int. J. Softw. Tools Technol. Transf., 2018)

Modular Termination Verification of Single-Threaded and Multithreaded Programs. - Bart Jacobs 002; Dragan Bosnacki; Ruurd Kuiper 001 (ACM Trans. Program. Lang. Syst., 2018)

Dependency safety for Java - Implementing and testing failboxes. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (Sci. Comput. Program., 2019)

Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis. - Dragan Bosnacki; Natal A. W. van Riel; Mitko Veta (Automated Reasoning for Systems Biology and Medicine, 2019)

Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification. - Salome Kazeminia; Max Joosten; Dragan Bosnacki; Carsten Marr (CoRR, 2024)