Dragan Bosnacki
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
1622007
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
Formal Description Techniques and Protocol Specification, Testing and …, 1998
711998
Symmetric spin
D Bosnacki, D Dams, L Holenderski
62*2000
Model checking SDL with Spin
D Bošnački, D Dams, L Holenderski, N Sidorova
International Conference on Tools and Algorithms for the Construction and …, 2000
58*2000
Symmetric spin
D Bosnacki, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4 (1), 92, 2002
542002
Partial-order reduction for general state exploring algorithms
D Bošnački, S Leue, AL Lafuente
International Journal on Software Tools for Technology Transfer 11 (1), 39-51, 2009
522009
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
462008
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
441998
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
402005
Efficient probabilistic model checking on general purpose graphics processors
D Bošnački, S Edelkamp, D Sulewski
International SPIN Workshop on Model Checking of Software, 32-49, 2009
392009
A heuristic for symmetry reductions with scalarsets
D Bošnački, L Holenderski, D Dams
International Symposium of Formal Methods Europe, 518-533, 2001
372001
Multi-core model checking with SPIN
GJ Holzmann, D Bosnacki
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
362007
Enacting declarative languages using LTL: avoiding errors and improving performance
M Pešić, D Bošnački, WMP van der Aalst
International SPIN Workshop on Model Checking of Software, 146-161, 2010
352010
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 (1), 21-35, 2011
342011
GPUexplore: many-core on-the-fly state space exploration using GPUs
A Wijs, D Bošnački
International Conference on Tools and Algorithms for the Construction and …, 2014
302014
A nested depth first search algorithm for model checking with symmetry reduction
D Bosnacki
Lecture notes in computer science, 65-80, 2002
27*2002
Digitization of timed automata
D Bosnacki
STAR, 1999
271999
Enhancing state space reduction techniques for model checking
D Bošnacki
PhD thesis, Eindhoven University of Technology, 2001
252001
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
232012
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
222016
The system can't perform the operation now. Try again later.
Articles 1–20