Follow
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
1862007
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
1132002
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
International Conference on Protocol Specification, Testing and Verification …, 1998
861998
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
60*2000
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
572010
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
572009
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
562008
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
501998
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
492014
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
472011
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
432009
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
432005
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
412001
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
392016
Multi-core model checking with SPIN
GJ Holzmann, D Bosnacki
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
382007
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
352016
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
342016
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
332012
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
312010
A nested depth first search algorithm for model checking with symmetry reduction
D Bosnacki
Lecture notes in computer science, 65-80, 2002
29*2002
The system can't perform the operation now. Try again later.
Articles 1–20