Dragan Bosnacki

64 papers A* 3A 4B 4C 4Journal 16Unranked 26

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