Dragan Bosnacki

Cited by

	All	Since 2018
Citations	1624	469
h-index	24	13
i10-index	41	18

120

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220236 14 32 34 40 39 30 64 58 60 70 90 83 79 83 73 79 118 82 102 88 61 65 71 81

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVerified email at tue.nl
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Peter HilbersTechnische Universiteit EindhovenVerified email at tue.nl
Ruurd KuiperVerified email at tue.nl
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
Natalia SidorovaTechnische Universiteit EindhovenVerified email at tue.nl
Damian SulewskiVerified email at tzi.de
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyVerified email at tue.nl
Cornelis HuizingEindhoven University of TechnologyVerified email at tue.nl
hans zantemaEindhoven university of technologyVerified email at tue.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
A FehnkerUniversity of TwenteVerified email at utwente.nl
Husain AljazzarVerified email at aljazzar.de
Marc GeilenEindhoven University of TechnologyVerified email at tue.nl

Dragan Bosnacki

assistant professor, Eindhoven University of Technology

Verified email at tue.nl - Homepage

formal verification model checking bioinformatics computational biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The design of a multicore extension of the SPIN model checker GJ Holzmann, D Bosnacki IEEE Transactions on Software Engineering 33 (10), 659-674, 2007	180	2007
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	114	2002
Integrating real time into Spin: A prototype implementation D Bošnački, D Dams International Conference on Protocol Specification, Testing and Verification …, 1998	86	1998
Model checking SDL with Spin D Bošnački, D Dams, L Holenderski, N Sidorova Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000	61*	2000
Enacting declarative languages using LTL: avoiding errors and improving performance M Pešić, D Bošnački, WMP van der Aalst Model Checking Software: 17th International SPIN Workshop, Enschede, The …, 2010	58	2010
Partial-order reduction for general state exploring algorithms D Bošnački, S Leue, A Lluch Lafuente International Journal on Software Tools for Technology Transfer 11, 39-51, 2009	56	2009
Survey on directed model checking S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar International Workshop on Model Checking and Artificial Intelligence, 65-89, 2008	54	2008
Discrete-time promela and spin D Bošnački, D Dams International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	51	1998
GPUexplore: many-core on-the-fly state space exploration using GPUs A Wijs, D Bošnački Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	47	2014
Parallel probabilistic model checking on general purpose graphics processors D Bošnački, S Edelkamp, D Sulewski, A Wijs International Journal on Software Tools for Technology Transfer 13, 21-35, 2011	45	2011
Efficient probabilistic model checking on general purpose graphics processors D Bošnački, S Edelkamp, D Sulewski Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009	43	2009
Improving spin’s partial-order reduction for breadth-first search D Bošnački, GJ Holzmann International SPIN Workshop on Model Checking of Software, 91-105, 2005	43	2005
A heuristic for symmetry reductions with scalarsets D Bošnački, L Holenderski, D Dams FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001	41	2001
Multi-core model checking with SPIN GJ Holzmann, D Bosnacki 2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007	38	2007
GPUexplore 2.0: unleashing GPU explicit-state model checking A Wijs, T Neele, D Bošnački FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016	34	2016
Many-core on-the-fly model checking of safety properties using GPUs A Wijs, D Bošnački International Journal on Software Tools for Technology Transfer 18, 169-185, 2016	32	2016
Improving GPU sparse matrix-vector multiplication for probabilistic model checking AJ Wijs, D Bošnački International SPIN Workshop on Model Checking of Software, 98-116, 2012	32	2012
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components A Wijs, JP Katoen, D Bošnački Formal Methods in System Design 48, 274-300, 2016	31	2016
A nested depth first search algorithm for model checking with symmetry reduction D Bosnacki Lecture notes in computer science, 65-80, 2002	29*	2002
Enhancing state space reduction techniques for model checking D Bosnacki	29	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors