Dragan Bošnački - Concepedia

Author

Dragan Bošnački

Eindhoven University of Technology ORCID

Also Known As

Bosnacki, D (Dragan), Bosnacki, D Dragan, Bosnacki, D., Bosnacki, Dragan, BoÅ¡naÄki, Dragan, Bošnacki, Dragan, Bošnački, Dragan, D Bošnački, D. Bosnacki, D. Bošnački

110

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

Eindhoven University of Technology RWTH Aachen University University of Bremen

About

Dragan Bošnački is an author at Eindhoven University of Technology specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	411
2	Medicine	2	2	32
3	Natural Sciences	2	2	41
4	Public Health	1	1	11
5	Biology	1	1	12

Dragan Bošnački

Publications

602

Citations

H-Index

Page 1

	Year	Citations
The Design of a Multicore Extension of the SPIN Model Checker Gerard J. Holzmann, Dragan Bošnački IEEE Transactions on Software Engineering EngineeringHardware Verification LanguageVerificationMagnetic ResonanceComputer Architecture	2007	128
Enhancing state space reduction techniques for model checking Dragan Bošnački Data Archiving and Networked Services (DANS) EngineeringAutomated ReasoningVerificationFormal MethodsProcess Control	2001	45
Symmetric spin Dragan Bošnački, Dennis Dams, Leszek Holenderski International Journal on Software Tools for Technology Transfer	2002	44
Parallel probabilistic model checking on general purpose graphics processors Dragan Bošnački, Stefan Edelkamp, Damian Sulewski, International Journal on Software Tools for Technology Transfer EngineeringProbabilistic VerificationVerificationFormal MethodsComputer Engineering	2010	39
Tens of images can suffice to train neural networks for malignant leukocyte detection Jens P. E. Schouten, Christian Matek, Luuk Jacobs, Scientific Reports	2021	36
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački Formal Methods in System Design	2016	33
Multi-Core Model Checking with SPIN Gerard J. Holzmann, Dragan Bošnački Program CheckingEngineeringHardware Verification LanguageVerificationComputer Architecture	2007	32
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units Dragan Bošnački, Stefan Edelkamp, Damian Sulewski, EngineeringGpu BenchmarkingVerificationComputer ArchitectureComputer-aided Verification	2010	29
Many-core on-the-fly model checking of safety properties using GPUs Anton Wijs, Dragan Bošnački International Journal on Software Tools for Technology Transfer	2015	29
Partial-order reduction for general state exploring algorithms Dragan Bošnački, Stefan Leue, Alberto Lluch Lafuente International Journal on Software Tools for Technology Transfer Mathematical ProgrammingReduced Order ModelingEngineeringPartial-order ReductionState Space Search	2008	28

Page 1