Dragan Bosnacki

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 13

Top Topics

Space Exploration

Formal Verification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

Salome Kazeminia, Max Joosten, Dragan Bosnacki, Carsten Marr
Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification. CoRR (2024)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019)
Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Dragan Bosnacki, Anton Wijs
Model checking: recent improvements and applications. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Daniela Modena, Edmond van Dijk, Dragan Bosnacki, Huub M. M. ten Eikelder, Michel A. Westenberg
HIFUtk: Visual Analytics for High Intensity Focused Ultrasound Simulation. VCBM (2017)
Anton Wijs, Dragan Bosnacki
Many-core on-the-fly model checking of safety properties using GPUs. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang
Dependency Safety for Java: Implementing Failboxes. PPPJ (2016)
Anton Wijs, Thomas Neele, Dragan Bosnacki
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM (2016)
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130 (2016)
Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
Partial-Order Reduction for GPU Model Checking. ATVA (2016)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) (2016)
Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Formal Methods Syst. Des. 48 (3) (2016)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD (2016)
Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper
Modular Termination Verification. ECOOP (2015)
Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS (2015)
Dragan Bosnacki, Mark Scheffer
Partial Order Reduction and Symmetry with Multiple Representatives. NFM (2015)
Dragan Bosnacki, Hubertus M. M. ten Eikelder, Marieke Maanders, Peter A. J. Hilbers
Robustness of the Gray Code Arrangements of the Genetic Code in Mitochondria. ICT Innovations (2014)
Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV (2014)
Anton Wijs, Dragan Bosnacki
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. TACAS (2014)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS (2014)
Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers
Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome. J. Bioinform. Comput. Biol. 11 (4) (2013)
Erik P. de Vink, Hans Zantema, Dragan Bosnacki
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comput. Sci. 23 (1) (2013)
Erik P. de Vink, Hans Zantema, Dragan Bosnacki
Combining Insertion and Deletion in RNA-editing Preserves Regularity MeCBIC (2012)
Anton Wijs, Dragan Bosnacki
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN (2012)
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
Parallel probabilistic model checking on general purpose graphics processors. Int. J. Softw. Tools Technol. Transf. 13 (1) (2011)
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. SPIN (2010)
Dragan Bosnacki, Stefan Edelkamp
Model checking software: on some new waves and some evergreens. Int. J. Softw. Tools Technol. Transf. 12 (2) (2010)
Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko
C Linux Driver. FMICS (2009)
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56 (2) (2009)
Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink
Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Comp. Sys. Biology 11 (2009)
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN (2009)
Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers
Mining Maximal Frequent Subgraphs in KEGG Reaction Networks. DEXA Workshops (2009)
Inge van den Berg, Dragan Bosnacki, Peter A. J. Hilbers
Large Scale Analysis of Small Repeats via Mining of the Human Genome. DEXA Workshops (2009)
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
Survey on Directed Model Checking. MoChArt (2008)
Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB (2008)
Hans Zantema, Stefan Wagemans, Dragan Bosnacki
Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD (2008)
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
On Commutativity Based Edge Lean Search. ICALP (2007)
Gerard J. Holzmann, Dragan Bosnacki
The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng. 33 (10) (2007)
Gerard J. Holzmann, Dragan Bosnacki
Multi-Core Model Checking with SPIN. IPDPS (2007)
Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA (2007)
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-Order Reduction for General State Exploring Algorithms. SPIN (2006)
Dragan Bosnacki, Gerard J. Holzmann
Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN (2005)
Dragan Bosnacki
On Some Galois Connection Based Abstractions for the Mu-Calculus. FM (2005)
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
Using Fairness to Make Abstractions Work. SPIN (2004)
Dragan Bosnacki
Black Box Checking for Biochemical Networks. CMSB (2004)
Twan Basten, Dragan Bosnacki, Marc Geilen
Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11 (4) (2004)
Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A. J. Hilbers
Genetic Code as a Gray Code Revisited. METMBS (2003)
Dragan Bosnacki
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. SPIN (2003)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
Symmetric Spin. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Dragan Bosnacki
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. FORTE (2002)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
A Heuristic for Symmetry Reductions with Scalarsets. FME (2001)
Twan Basten, Dragan Bosnacki
Enhancing Partial-Order Reduction via Process Clustering. ASE (2001)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
Symmetric Spin. SPIN (2000)
Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
Model Checking SDL with Spin. TACAS (2000)
Dragan Bosnacki
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. SPIN (1999)
Dragan Bosnacki, Dennis Dams
Integrating Real Time into Spin: A Prototype Implementation. FORTE (1998)
Dragan Bosnacki, Dennis Dams
Discrete-Time Promela and Spin. FTRTFT (1998)