default search action
Dragan Bosnacki
Person information
- unicode name: Dragan Bošnački
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i1]Salome Kazeminia, Max Joosten, Dragan Bosnacki, Carsten Marr:
Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification. CoRR abs/2403.05379 (2024)
2010 – 2019
- 2019
- [j16]Dan Zhang, Dragan Bosnacki, Mark van den Brand
, Cornelis Huizing, Bart Jacobs
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019) - [p1]Dragan Bosnacki, Natal A. W. van Riel
Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis. Automated Reasoning for Systems Biology and Medicine 2019: 453-469 - 2018
- [j15]Dragan Bosnacki, Anton Wijs:
Model checking: recent improvements and applications. Int. J. Softw. Tools Technol. Transf. 20(5): 493-497 (2018) - [j14]Bart Jacobs
Modular Termination Verification of Single-Threaded and Multithreaded Programs. ACM Trans. Program. Lang. Syst. 40(3): 12:1-12:59 (2018) - 2017
- [c41]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: 73-82 - 2016
- [j13]Anton Wijs
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Formal Methods Syst. Des. 48(3): 274-300 (2016) - [j12]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130: 1 (2016) - [j11]Anton Wijs
Many-core on-the-fly model checking of safety properties using GPUs. Int. J. Softw. Tools Technol. Transf. 18(2): 169-185 (2016) - [c40]Thomas Neele
Partial-Order Reduction for GPU Model Checking. ATVA 2016: 357-374 - [c39]Anton Wijs
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM 2016: 694-701 - [c38]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) 2016: 249-273 - [c37]Dan Zhang, Dragan Bosnacki, Mark van den Brand
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD 2016: 578-588 - [c36]Dragan Bosnacki, Mark van den Brand
Dependency Safety for Java: Implementing Failboxes. PPPJ 2016: 15:1-15:6 - [e6]Dragan Bosnacki, Anton Wijs
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9641, Springer 2016, ISBN 978-3-319-32581-1 [contents] - 2015
- [c35]Bart Jacobs
Modular Termination Verification. ECOOP 2015: 664-688 - [c34]Dragan Bosnacki, Mark van den Brand
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS 2015: 141-160 - [c33]Dragan Bosnacki, Mark Scheffer:
Partial Order Reduction and Symmetry with Multiple Representatives. NFM 2015: 97-111 - 2014
- [c32]Anton Wijs
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV 2014: 310-326 - [c31]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: 299-308 - [c30]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: 64-69 - [c29]Anton Wijs
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. TACAS 2014: 233-247 - [e5]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents] - 2013
- [j10]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comput. Sci. 23(1): 39-73 (2013) - [j9]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) - [e4]Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. EPTCS 138, 2013 [contents] - 2012
- [c28]Anton Wijs
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN 2012: 98-116 - [c27]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62 - [e3]Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. EPTCS 99, 2012 [contents] - 2011
- [j8]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): 21-35 (2011) - 2010
- [j7]Dragan Bosnacki, Stefan Edelkamp:
Model checking software: on some new waves and some evergreens. Int. J. Softw. Tools Technol. Transf. 12(2): 89-95 (2010) - [c26]Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. SPIN 2010: 146-161
2000 – 2009
- 2009
- [j6]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled:
On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009) - [j5]Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. 11(1): 39-51 (2009) - [j4]Dragan Bosnacki, Tessa E. Pronk
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Comp. Sys. Biology 11: 69-89 (2009) - [c25]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: 198-202 - [c24]Willem P. A. Ligtenberg, Dragan Bosnacki, Peter A. J. Hilbers:
Mining Maximal Frequent Subgraphs in KEGG Reaction Networks. DEXA Workshops 2009: 213-217 - [c23]Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko:
Behavioural Analysis of an I2C Linux Driver. FMICS 2009: 205-206 - [c22]Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski:
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49 - 2008
- [c21]Hans Zantema, Stefan Wagemans, Dragan Bosnacki:
Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD 2008: 303-317 - [c20]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: 367-386 - [c19]Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs
Survey on Directed Model Checking. MoChArt 2008: 65-89 - 2007
- [j3]Gerard J. Holzmann, Dragan Bosnacki:
The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng. 33(10): 659-674 (2007) - [c18]Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart:
Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315 - [c17]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled:
On Commutativity Based Edge Lean Search. ICALP 2007: 158-170 - [c16]Gerard J. Holzmann, Dragan Bosnacki:
Multi-Core Model Checking with SPIN. IPDPS 2007: 1-8 - [e2]Dragan Bosnacki, Stefan Edelkamp:
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0 [contents] - 2006
- [c15]Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287 - 2005
- [c14]Dragan Bosnacki:
On Some Galois Connection Based Abstractions for the Mu-Calculus. FM 2005: 366-381 - [c13]Dragan Bosnacki, Gerard J. Holzmann:
Improving Spin's Partial-Order Reduction for Breadth-First Search. SPIN 2005: 91-105 - 2004
- [j2]Twan Basten
Cluster-Based Partial-Order Reduction. Autom. Softw. Eng. 11(4): 365-402 (2004) - [c12]Dragan Bosnacki:
Black Box Checking for Biochemical Networks. CMSB 2004: 225-230 - [c11]Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova:
Using Fairness to Make Abstractions Work. SPIN 2004: 198-215 - 2003
- [c10]Dragan Bosnacki, Huub M. M. ten Eikelder, Peter A. J. Hilbers:
Genetic Code as a Gray Code Revisited. METMBS 2003: 447-456 - [c9]Dragan Bosnacki:
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. SPIN 2003: 89-103 - 2002
- [j1]Dragan Bosnacki, Dennis Dams, Leszek Holenderski:
Symmetric Spin. Int. J. Softw. Tools Technol. Transf. 4(1): 92-106 (2002) - [c8]Dragan Bosnacki:
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. FORTE 2002: 65-80 - [e1]Dragan Bosnacki, Stefan Leue:
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2318, Springer 2002, ISBN 3-540-43477-1 [contents] - 2001
- [c7]Dragan Bosnacki, Dennis Dams, Leszek Holenderski:
A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533 - [c6]Twan Basten, Dragan Bosnacki:
Enhancing Partial-Order Reduction via Process Clustering. ASE 2001: 245-253 - 2000
- [c5]Dragan Bosnacki, Dennis Dams, Leszek Holenderski:
Symmetric Spin. SPIN 2000: 1-19 - [c4]Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
Model Checking SDL with Spin. TACAS 2000: 363-377
1990 – 1999
- 1999
- [c3]Dragan Bosnacki:
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. SPIN 1999: 40-56 - 1998
- [c2]Dragan Bosnacki, Dennis Dams:
Integrating Real Time into Spin: A Prototype Implementation. FORTE 1998: 423-438 - [c1]Dragan Bosnacki, Dennis Dams:
Discrete-Time Promela and Spin. FTRTFT 1998: 307-310
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: