Dragan Bosnacki

Cited by

	All	Since 2018
Citations	1604	426
h-index	25	13
i10-index	43	17

120

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 16 32 39 47 37 28 63 58 59 74 93 84 77 84 75 79 120 83 96 89 62 61 71 47

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anton WijsAssistant Professor 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
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Ruurd KuiperVerified email at tue.nl
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Stefan LeueProfessor of Computer ScienceVerified email at uni-konstanz.de
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
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
Integrating real time into Spin: A prototype implementation D Bošnački, D Dams Formal Description Techniques and Protocol Specification, Testing and …, 1998	85	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	62*	2000
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	57	2009
Symmetric spin D Bosnacki, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4 (1), 92, 2002	57	2002
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	56	2010
Survey on directed model checking S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar Model Checking and Artificial Intelligence: 5th International Workshop …, 2009	54	2009
Discrete-time promela and spin D Bošnački, D Dams Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998	50	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	43	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	43	2011
Improving spin’s partial-order reduction for breadth-first search D Bošnački, GJ Holzmann Model Checking Software: 12th International SPIN Workshop, San Francisco, CA …, 2005	43	2005
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	42	2009
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
Symmetric spin D Bosnacki, DR Dams, L Holenderski SPIN model checking and software verification: 7th international SPIN …, 2000	41	2000
Multi-core model checking with SPIN GJ Holzmann, D Bosnacki 2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007	36	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	33	2016
Improving GPU sparse matrix-vector multiplication for probabilistic model checking AJ Wijs, D Bošnački Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK …, 2012	31	2012
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	31	2002
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	30	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

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