D. Bošnački

Most-cited papers

The Design of a Multicore Extension of the SPIN Model Checker
G. Holzmann, D. Bošnački
2007IEEE Transactions on Software Engineering148 citations Open access
Semantic Scholar
Symmetric Spin
D. Bošnački, D. Dams, L. Holenderski
2000International Journal on Software Tools for Technology Transfer (STTT)104 citations
Semantic Scholar
Enhancing state space reduction techniques for model checking
D. Bošnački
200176 citations
Semantic Scholar
Integrating Real Time into Spin: A Prototype Implementation
D. Bošnački, D. Dams
1998Formal Techniques for (Networked and) Distributed Systems71 citations
Semantic Scholar
Survey on Directed Model Checking
Stefan Edelkamp, Viktor Schuppan, D. Bošnački, Anton Wijs +2 more
2009Model Checking and Artificial Intelligence53 citations Open access
Semantic Scholar
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
M. Pesic, D. Bošnački, Wil M.P. van der Aalst
2010SPIN48 citations Open access
Semantic Scholar
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs
Anton Wijs, D. Bošnački
2014International Conference on Tools and Algorithms for Construction and Analysis of Systems43 citations
Semantic Scholar
Discrete-Time Promela and Spin
D. Bošnački, D. Dams
1998Formal Techniques in Real-Time and Fault-Tolerant Systems42 citations
Semantic Scholar
Tens of images can suffice to train neural networks for malignant leukocyte detection
Jens P. E. Schouten, C. Matek, Luuk Jacobs, M. Buck +2 more
2021Scientific Reports39 citations Open access
Semantic Scholar
Parallel probabilistic model checking on general purpose graphics processors
D. Bošnački, Stefan Edelkamp, Damian Sulewski, Anton Wijs
2010International Journal on Software Tools for Technology Transfer (STTT)39 citations
Semantic Scholar
Model Checking SDL with Spin
D. Bošnački, D. Dams, L. Holenderski, N. Sidorova
2000International Conference on Tools and Algorithms for Construction and Analysis of Systems36 citations
Semantic Scholar
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
D. Bošnački, Stefan Edelkamp, Damian Sulewski
2009SPIN33 citations
Semantic Scholar
Multi-Core Model Checking with SPIN
G. Holzmann, D. Bošnački
2007IEEE International Parallel and Distributed Processing Symposium33 citations
Semantic Scholar
Improving Spin's Partial-Order Reduction for Breadth-First Search
D. Bošnački, G. Holzmann
2005SPIN33 citations
Semantic Scholar
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
Anton Wijs, Thomas Neele, D. Bošnački
2016World Congress on Formal Methods30 citations
Semantic Scholar
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
Anton Wijs, J. Katoen, D. Bošnački
2016Formal methods in system design29 citations Open access
Semantic Scholar
Digitization of Timed Automata
D. Bošnački
199929 citations
Semantic Scholar
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units
D. Bošnački, Stefan Edelkamp, Damian Sulewski, Anton Wijs
20102010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology28 citations
Semantic Scholar
A Heuristic for Symmetry Reductions with Scalarsets
D. Bošnački, D. Dams, L. Holenderski
2001FME28 citations
Semantic Scholar
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking
Anton Wijs, D. Bošnački
2012SPIN27 citations
Semantic Scholar
Many-core on-the-fly model checking of safety properties using GPUs
Anton Wijs, D. Bošnački
2015International Journal on Software Tools for Technology Transfer (STTT)26 citations Open access
Semantic Scholar
Modelling the temperature evolution of bone under high intensity focused ultrasound
H. T. ten Eikelder, D. Bošnački, A. Elevelt, K. Donato +7 more
2016Physics in Medicine and Biology24 citations Open access
Semantic Scholar
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
Anton Wijs, J. Katoen, D. Bošnački
2014International Conference on Computer Aided Verification21 citations
Semantic Scholar
Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors
D. Bošnački, Max Odenbrett, Anton Wijs, Willem P. A. Ligtenberg +1 more
2012BMC Bioinformatics19 citations Open access
Semantic Scholar
Partial-Order Reduction for GPU Model Checking
Thomas Neele, Anton Wijs, D. Bošnački, J. van de Pol
2016Automated Technology for Verification and Analysis17 citations Open access
Semantic Scholar
Enhancing partial-order reduction via process clustering
T. Basten, D. Bošnački
2001International Conference on Automated Software Engineering17 citations Open access
Semantic Scholar
Modular Termination Verification
B. Jacobs, D. Bošnački, R. Kuiper
2015European Conference on Object-Oriented Programming15 citations
Semantic Scholar
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness
D. Bošnački
2003SPIN15 citations
Semantic Scholar
Genetic Code as a Gray Code Revisited
D. Bošnački, H. T. ten Eikelder, P. Hilbers
2003International Conference on Mathematics and Engineering Techniques in Medicine and Biological Scienes14 citations
Semantic Scholar
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis
D. Bošnački, H. T. ten Eikelder, M. Steijaert, E. D. de Vink
2008Computational Methods in Systems Biology13 citations
Semantic Scholar
Model checking software: on some new waves and some evergreens
D. Bošnački, Stefan Edelkamp
2010International Journal on Software Tools for Technology Transfer (STTT)12 citations
Semantic Scholar
An analysis of medical device communication standard IEEE 1073.2
A. Mooij, N. Goga, J. Wesselink, D. Bošnački
200312 citations
Semantic Scholar
Modular Termination Verification of Single-Threaded and Multithreaded Programs
B. Jacobs, D. Bošnački, R. Kuiper
2018ACM Transactions on Programming Languages and Systems11 citations Open access
Semantic Scholar
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
D. Bošnački
2002Formal Techniques for (Networked and) Distributed Systems11 citations Open access
Semantic Scholar
Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis
D. Bošnački, N. V. van Riel, M. Veta
2019Automated Reasoning for Systems Biology and Medicine10 citations
Semantic Scholar
Using Fairness to Make Abstractions Work
D. Bošnački, N. Ioustinova, N. Sidorova
2004SPIN9 citations Open access
Semantic Scholar
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
D. Bošnački, S. Leue
20029 citations
Semantic Scholar
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
D. Bošnački, M. van den Brand, Joost Gabriels, B. Jacobs +4 more
2015International Workshop on Formal Aspects of Component Software8 citations Open access
Semantic Scholar
Stochastic modeling of codon bias with PRISM
T. Pronk, D. Vink, D. Bošnački, T. Breit
20078 citations
Semantic Scholar
Modeling the interference between shear and longitudinal waves under high intensity focused ultrasound propagation in bone
D. Modena, M. Baragona, D. Bošnački, Bjt Boris Breuer +4 more
2018Physics in Medicine and Biology7 citations Open access
Semantic Scholar
Towards Verified Java Code Generation from Concurrent State Machines
Dan Zhang, D. Bošnački, M. van den Brand, Luc Engelen +3 more
2014AMT@MoDELS7 citations
Semantic Scholar
Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome
Willem P. A. Ligtenberg, D. Bošnački, P. Hilbers
2013J. Bioinform. Comput. Biol.7 citations
Semantic Scholar
Behavioural Analysis of an I2C Linux Driver
D. Bošnački, A. Mathijssen, Y. Usenko
2009International Workshop on Formal Methods for Industrial Critical Systems7 citations Open access
Semantic Scholar
On commutativity based Edge Lean search
D. Bošnački, Edith Elkind, B. Genest, D. Peled
2007Annals of Mathematics and Artificial Intelligence7 citations Open access
Semantic Scholar
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness
D. Bošnački
1999SPIN7 citations
Semantic Scholar
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations
Dan Zhang, D. Bošnački, M. van den Brand, C. Huizing +3 more
2016International Conference on Model-Driven Engineering and Software Development6 citations
Semantic Scholar
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition
D. Bošnački, T. Pronk, E. D. de Vink
2009Trans. Comp. Sys. Biology6 citations
Semantic Scholar
Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification
Salome Kazeminia, Max Joosten, D. Bošnački, C. Marr
2024arXiv.org5 citations
Semantic Scholar
Model Checking Software
D. Bošnački, S. Leue
2002Lecture Notes in Computer Science5 citations Open access
Semantic Scholar
Discrete-Time Spin
D. Bošnački, D. Dams
19995 citations
Semantic Scholar