Dragan Bosnacki

Citado por

	Total	Desde 2019
Citas	1683	431
Índice h	26	13
Índice i10	41	18

120

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 13 33 31 39 39 30 65 58 58 70 91 85 84 84 72 78 119 81 96 95 64 61 75 108 27

Acceso público

Ver todo

9 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueDirección de correo verificada de fel.cvut.cz
Peter HilbersTechnische Universiteit EindhovenDirección de correo verificada de tue.nl
Ruurd KuiperDirección de correo verificada de tue.nl
Gerard HolzmannNimble ResearchDirección de correo verificada de nimbleresearch.com
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenDirección de correo verificada de cs.kuleuven.be
Alberto Lluch LafuenteTechnical University of DenmarkDirección de correo verificada de dtu.dk
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyDirección de correo verificada de uni-konstanz.de
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyDirección de correo verificada de win.tue.nl
Damian SulewskiDirección de correo verificada de tzi.de
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Natalia SidorovaTechnische Universiteit EindhovenDirección de correo verificada de tue.nl
Cornelis HuizingEindhoven University of TechnologyDirección de correo verificada de tue.nl
hans zantemaEindhoven university of technologyDirección de correo verificada de tue.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eDirección de correo verificada de pads.rwth-aachen.de
A FehnkerMacquarie UniversityDirección de correo verificada de mq.edu.au
Husain AljazzarDirección de correo verificada de aljazzar.de
Marc GeilenEindhoven University of TechnologyDirección de correo verificada de tue.nl

Seguir

Dragan Bosnacki

assistant professor, Eindhoven University of Technology

Dirección de correo verificada de tue.nl - Página principal

formal verification model checking bioinformatics computational biology


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	187	2007
Symmetric spin D Bošnački, D Dams, L Holenderski International Journal on Software Tools for Technology Transfer 4, 92-106, 2002	113	2002
Integrating real time into Spin: A prototype implementation D Bošnački, D Dams International Conference on Protocol Specification, Testing and Verification …, 1998	86	1998
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	57	2010
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	57	2009
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	56	2008
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	51	2014
Discrete-time promela and spin D Bošnački, D Dams International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	50	1998
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	48	2011
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	44	2009
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	44	2005
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	41	2001
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	40	2016
Multi-core model checking with SPIN GJ Holzmann, D Bosnacki 2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007	38	2007
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	36	2016
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	35	2016
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	34	2012
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	32	2010
Enhancing state space reduction techniques for model checking D Bosnacki	30	2001

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores