Dragan Bosnacki

Geciteerd door

	Alles	Sinds 2016
Citaties	1390	451
h-index	21	13
i10-index	38	19

140

105

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020215 11 28 39 43 38 28 62 58 58 73 95 76 77 80 66 80 123 87 87 87 62 5

Medeauteurs

Anton WijsAssistant Professor at Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueGeverifieerd e-mailadres voor fel.cvut.cz
Peter HilbersTechnische Universiteit EindhovenGeverifieerd e-mailadres voor tue.nl
Gerard HolzmannNimble ResearchGeverifieerd e-mailadres voor nimbleresearch.com
Ruurd KuiperGeverifieerd e-mailadres voor tue.nl
Alberto Lluch LafuenteTechnical University of DenmarkGeverifieerd e-mailadres voor dtu.dk
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor win.tue.nl
Stefan LeueProfessor of Computer ScienceGeverifieerd e-mailadres voor uni-konstanz.de
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenGeverifieerd e-mailadres voor cs.kuleuven.be
Damian SulewskiGeverifieerd e-mailadres voor tzi.de
Natalia SidorovaTechnische Universiteit EindhovenGeverifieerd e-mailadres voor tue.nl
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Cornelis HuizingEindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
hans zantemaEindhoven university of technologyGeverifieerd e-mailadres voor tue.nl
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteGeverifieerd e-mailadres voor cs.rwth-aachen.de
A FehnkerUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl
Husain AljazzarGeverifieerd e-mailadres voor aljazzar.de
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Fraunhofer FIT || TU/e || TiUGeverifieerd e-mailadres voor pads.rwth-aachen.de
Marc GeilenEindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl

Dragan Bosnacki

assistant professor, Eindhoven University of Technology

Geverifieerd e-mailadres voor tue.nl - Homepage

formal verification model checking bioinformatics computational biology


Titel Sorteren op citaties Sorteren op jaar Sorteren op 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	165	2007
Integrating real time into Spin: A prototype implementation D Bošnački, D Dams Formal Description Techniques and Protocol Specification, Testing and …, 1998	75	1998
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	55	2002
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	53	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	49	2008
Discrete-time promela and spin D Bošnački, D Dams International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	46	1998
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	41	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	41	2005
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	40	2010
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	37	2014
Multi-core model checking with SPIN GJ Holzmann, D Bosnacki 2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007	37	2007
A heuristic for symmetry reductions with scalarsets D Bošnački, L Holenderski, D Dams International Symposium of Formal Methods Europe, 518-533, 2001	37	2001
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	35	2011
Digitization of timed automata D Bosnacki STAR, 1999	29	1999
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	25	2012
Enhancing state space reduction techniques for model checking D Bošnacki PhD thesis, Eindhoven University of Technology, 2001	25	2001
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	24	2016

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs