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
1782007
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
Formal Description Techniques and Protocol Specification, Testing and …, 1998
851998
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
62*2000
Symmetric spin
D Bosnacki, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4 (1), 92, 2002
572002
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
552010
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
552009
Survey on directed model checking
S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar
Model Checking and Artificial Intelligence: 5th International Workshop …, 2009
542009
Discrete-time promela and spin
D Bošnački, D Dams
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 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
412014
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
412009
Improving spin’s partial-order reduction for breadth-first search
D Bošnački, GJ Holzmann
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA …, 2005
412005
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
Symmetric spin
D Bosnacki, DR Dams, L Holenderski
SPIN model checking and software verification: 7th international SPIN …, 2000
412000
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
382011
Multi-core model checking with SPIN
GJ Holzmann, D Bosnacki
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
362007
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
302016
Symmetric spin
D Bošnački, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4, 92-106, 2002
302002
Improving GPU sparse matrix-vector multiplication for probabilistic model checking
AJ Wijs, D Bošnački
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK …, 2012
292012
A nested depth first search algorithm for model checking with symmetry reduction
D Bosnacki
Lecture notes in computer science, 65-80, 2002
29*2002
Enhancing state space reduction techniques for model checking
D Bošnacki
PhD thesis, Eindhoven University of Technology, 2001
282001
The system can't perform the operation now. Try again later.
Articles 1–20