Dragan Bosnacki
Dragan Bosnacki
Geverifieerd e-mailadres voor tue.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1652007
Integrating real time into Spin: A prototype implementation
D Bošnački, D Dams
Formal Description Techniques and Protocol Specification, Testing and …, 1998
751998
Symmetric spin
D Bosnacki, D Dams, L Holenderski
65*2000
Symmetric spin
D Bosnacki, D Dams, L Holenderski
International Journal on Software Tools for Technology Transfer 4 (1), 92, 2002
552002
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
55*2000
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
532009
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
492008
Discrete-time promela and spin
D Bošnački, D Dams
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
461998
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
412009
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
412005
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
402010
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
372014
Multi-core model checking with SPIN
GJ Holzmann, D Bosnacki
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
372007
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
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
352011
Digitization of timed automata
D Bosnacki
STAR, 1999
291999
A nested depth first search algorithm for model checking with symmetry reduction
D Bosnacki
Lecture notes in computer science, 65-80, 2002
28*2002
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
252012
Enhancing state space reduction techniques for model checking
D Bošnacki
PhD thesis, Eindhoven University of Technology, 2001
252001
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
242016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20