Theo dõi
Dragan Bosnacki
Dragan Bosnacki
assistant professor, Eindhoven University of Technology
Email được xác minh tại tue.nl - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1902007
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
1212002
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
International Conference on Protocol Specification, Testing and Verification …, 1998
861998
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
632010
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
63*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
622008
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 (1), 39-51, 2009
572009
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
542014
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
522011
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
511998
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
452016
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
442009
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
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
412016
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 (2), 169-185, 2016
412016
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
392012
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
392001
Multi-core model checking with SPIN
GJ Holzmann, D Bosnacki
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
372007
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
352021
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
342010
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20