Dragan Bosnacki

According to our database, Dragan Bosnacki authored at least 56 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification.

Salome Kazeminia, Max Joosten, Dragan Bosnacki, Carsten Marr

CoRR, 2024

2019

Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis.

Dragan Bosnacki, Natal A. W. van Riel, Mitko Veta

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Dependency safety for Java - Implementing and testing failboxes.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Sci. Comput. Program., 2019

2018

Modular Termination Verification of Single-Threaded and Multithreaded Programs.

Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

ACM Trans. Program. Lang. Syst., 2018

Model checking: recent improvements and applications.

Dragan Bosnacki, Anton Wijs

Int. J. Softw. Tools Technol. Transf., 2018

2017

HIFUtk: Visual Analytics for High Intensity Focused Ultrasound Simulation.

Daniela Modena, Edmond van Dijk, Dragan Bosnacki, Huub M. M. ten Eikelder, Michel A. Westenberg

Proceedings of the VCBM 17: Eurographics Workshop on Visual Computing for Biology and Medicine, 2017

2016

Many-core on-the-fly model checking of safety properties using GPUs.

Anton Wijs, Dragan Bosnacki

Int. J. Softw. Tools Technol. Transf., 2016

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014).

Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs

Sci. Comput. Program., 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

Dependency Safety for Java: Implementing Failboxes.

Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

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

Proceedings of the MODELSWARD 2016, 2016

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

Proceedings of the Model-Driven Engineering and Software Development, 2016

GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking.

Anton Wijs, Thomas Neele, Dragan Bosnacki

Proceedings of the FM 2016: Formal Methods, 2016

Partial-Order Reduction for GPU Model Checking.

Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Partial Order Reduction and Symmetry with Multiple Representatives.

Dragan Bosnacki, Mark Scheffer

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.

Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Modular Termination Verification.

Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs.

Anton Wijs, Dragan Bosnacki

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

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

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 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

Proceedings of the ICT Innovations 2014, 2014

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components.

Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

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

RNA-Editing with Combined Insertion and Deletion Preserves Regularity.

Erik P. de Vink, Hans Zantema, Dragan Bosnacki

Sci. Ann. Comput. Sci., 2013

2012

Combining Insertion and Deletion in RNA-editing Preserves Regularity

Erik P. de Vink, Hans Zantema, Dragan Bosnacki

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking.

Anton Wijs, Dragan Bosnacki

Proceedings of the Model Checking Software - 19th International Workshop, 2012

2011

Parallel probabilistic model checking on general purpose graphics processors.

Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs

Int. J. Softw. Tools Technol. Transf., 2011

2010

Model checking software: on some new waves and some evergreens.

Dragan Bosnacki, Stefan Edelkamp

Int. J. Softw. Tools Technol. Transf., 2010

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.

Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst

Proceedings of the Model Checking Software, 2010

2009

<i>In Silico</i> Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.

Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink

Trans. Comp. Sys. Biology, 2009

Partial-order reduction for general state exploring algorithms.

Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente

Int. J. Softw. Tools Technol. Transf., 2009

On commutativity based Edge Lean search.

Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled

Ann. Math. Artif. Intell., 2009

Efficient Probabilistic Model Checking on General Purpose Graphics Processors.

Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski

Proceedings of the Model Checking Software, 2009

Behavioural Analysis of an I²C Linux Driver.

Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Mining Maximal Frequent Subgraphs in KEGG Reaction Networks.

Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers

Proceedings of the Database and Expert Systems Applications, 2009

Large Scale Analysis of Small Repeats via Mining of the Human Genome.

Inge van den Berg, Dragan Bosnacki, Peter A. J. Hilbers

Proceedings of the Database and Expert Systems Applications, 2009

2008

Survey on Directed Model Checking.

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.

Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets.

Hans Zantema, Stefan Wagemans, Dragan Bosnacki

Proceedings of the Bioinformatics Research and Development, 2008

2007

The Design of a Multicore Extension of the SPIN Model Checker.

Gerard J. Holzmann, Dragan Bosnacki

IEEE Trans. Software Eng., 2007

Multi-Core Model Checking with SPIN.

Gerard J. Holzmann, Dragan Bosnacki

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Efficient Approximate Verification of Promela Models Via Symmetry Markers.

Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart

Proceedings of the Automated Technology for Verification and Analysis, 2007

2005

Improving Spin's Partial-Order Reduction for Breadth-First Search.

Dragan Bosnacki, Gerard J. Holzmann

Proceedings of the Model Checking Software, 2005

On Some Galois Connection Based Abstractions for the Mu-Calculus.

Dragan Bosnacki

Proceedings of the FM 2005: Formal Methods, 2005

2004

Cluster-Based Partial-Order Reduction.

Twan Basten, Dragan Bosnacki, Marc Geilen

Autom. Softw. Eng., 2004

Using Fairness to Make Abstractions Work.

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova

Proceedings of the Model Checking Software, 2004

Black Box Checking for Biochemical Networks.

Dragan Bosnacki

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.

Dragan Bosnacki

Proceedings of the Model Checking Software, 2003

Genetic Code as a Gray Code Revisited.

Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A. J. Hilbers

Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Scienes, 2003

2002

Symmetric Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski

Int. J. Softw. Tools Technol. Transf., 2002

A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.

Dragan Bosnacki

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Enhancing Partial-Order Reduction via Process Clustering.

Twan Basten, Dragan Bosnacki

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Heuristic for Symmetry Reductions with Scalarsets.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Model Checking SDL with Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.

Dragan Bosnacki

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998

Discrete-Time Promela and Spin.

Dragan Bosnacki, Dennis Dams

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Integrating Real Time into Spin: A Prototype Implementation.

Dragan Bosnacki, Dennis Dams

Proceedings of the Formal Description Techniques and Protocol Specification, 1998