Concepedia

Dragan Bošnački

DB

19

Publications

602

Citations

15

H-Index

1999

Active since

Affiliations

Eindhoven University of Technology(Current)

RWTH Aachen University

University of Bremen

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

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationSystems EngineeringParallel ComputingComputer EngineeringParallel ProgrammingProgram Analysis

Publications per year

1999–2021

19

Publications

19

The Design of a Multicore Extension of the SPIN Model Checker

Gerard J. Holzmann, Dragan Bošnački · IEEE Transactions on Software Engineering · 2007 · 128 citations · Full text

Engineering, Hardware Verification Language, Verification +21

Enhancing state space reduction techniques for model checking

Dragan Bošnački · Data Archiving and Networked Services (DANS) · 2001 · 45 citations · Full text

Engineering, Automated Reasoning, Verification +13

Dragan Bošnački, Dennis Dams, Leszek Holenderski · International Journal on Software Tools for Technology Transfer · 2002 · 44 citations

Parallel probabilistic model checking on general purpose graphics processors

Dragan Bošnački, Stefan Edelkamp, Damian Sulewski et al. · International Journal on Software Tools for Technology Transfer · 2010 · 39 citations

Engineering, Probabilistic Verification, Verification +10

Tens of images can suffice to train neural networks for malignant leukocyte detection

Jens P. E. Schouten, Christian Matek, Luuk Jacobs et al. · Scientific Reports · 2021 · 36 citations · Full text

Rows per page

1–5 of 19