Folgen
Dragan Bosnacki
Dragan Bosnacki
assistant professor, Eindhoven University of Technology
Bestätigte E-Mail-Adresse bei tue.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1872007
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
1192002
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
International Conference on Protocol Specification, Testing and Verification …, 1998
851998
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
622010
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
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
592008
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
582009
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
532014
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
511998
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
502011
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
452009
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
442005
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
432016
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
402001
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
392016
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
382016
Multi-core model checking with SPIN
GJ Holzmann, D Bosnacki
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
382007
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
362012
GPU-PRISM: an extension of PRISM for general purpose graphics processing units
D Bošnački, S Edelkamp, D Sulewski, A Wijs
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
332010
Tens of images can suffice to train neural networks for malignant leukocyte detection
JPE Schouten, C Matek, LFP Jacobs, MC Buck, D Bošnački, C Marr
Scientific Reports 11 (1), 7995, 2021
312021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20