Tom van Dijk

Cituota

	Visi	Nuo 2019
Šaltiniai	954	690
h-rodyklė	15	14
i10-rodyklė	18	17

160

120

20122013201420152016201720182019202020212022202320246 6 9 28 39 61 101 116 92 88 104 144 140

Viešas pasiekiamumas

Peržiūrėti viską

10 straipsnių

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Jaco van de PolProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
Alfons LaarmanLeiden UniversityPatvirtintas el. paštas liacs.leidenuniv.nl
Jeroen MeijerEijsinkPatvirtintas el. paštas eijsink.nl
Armin BiereProfessor of Computer Science, University of FreiburgPatvirtintas el. paštas informatik.uni-freiburg.de
Stefan BlomUniversity of TwentePatvirtintas el. paštas utwente.nl
Gijs KantPhD Student in Computer Science, University of TwentePatvirtintas el. paštas cs.utwente.nl
Salomon SickertPatvirtintas el. paštas tum.de
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéPatvirtintas el. paštas lip6.fr
Wytse OortwijnTNO-ESIPatvirtintas el. paštas tno.nl
Robert WilleTechnical University of Munich and SCCH GmbHPatvirtintas el. paštas tum.de
Robert MeolicHead of IT at OperatoPatvirtintas el. paštas meolic.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwentePatvirtintas el. paštas utwente.nl
David N. JansenRadboud Universiteit NijmegenPatvirtintas el. paštas cs.ru.nl
Ernst Moritz HahnUniversity of TwentePatvirtintas el. paštas utwente.nl
Andrea TurriniInstitute of Software, Chinese Academy of SciencesPatvirtintas el. paštas ios.ac.cn
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Lijun ZhangInstitute of Software, Chinese Academy of SciencesPatvirtintas el. paštas ios.ac.cn
Guillermo A. PérezAssociate Professor, University of AntwerpPatvirtintas el. paštas uantwerp.be
Robert RubbensUniversity of TwentePatvirtintas el. paštas student.utwente.nl
Marieke HuismanPatvirtintas el. paštas ewi.utwente.nl

Stebėti

Tom van Dijk

University of Twente

Patvirtintas el. paštas utwente.nl - Pagrindinis puslapis

Computer Science Formal Methods Model Checking Algorithms Logic in Computer Science


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2015	217	2015
Oink: An implementation and evaluation of modern parity game solvers T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2018	86	2018
Sylvan: multi-core framework for decision diagrams T van Dijk, J van de Pol International Journal on Software Tools for Technology Transfer 19 (6), 675-696, 2017	85	2017
Sylvan: Multi-core Decision Diagrams T van Dijk, JC van de Pol TACAS 2015, 2015	74	2015
Hardware model checking competition 2017 A Biere, T van Dijk, K Heljanko Proceedings of the 17th Conference on Formal Methods in Computer-Aided …, 2017	69*	2017
Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019	51	2019
Lace: non-blocking split deque for work-stealing T van Dijk, JC van de Pol European Conference on Parallel Processing, 206-217, 2014	50	2014
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, A Laarman, J van de Pol Electronic Notes in Theoretical Computer Science, 2012	45	2012
Tagged BDDs: combining reduction rules from different decision diagram types T van Dijk, R Wille, R Meolic 2017 Formal Methods in Computer Aided Design (FMCAD), 108-115, 2017	33	2017
Attracting tangles to solve parity games T van Dijk Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	31	2018
A comparative study of BDD packages for probabilistic symbolic model checking T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ... Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015	29	2015
Multi-core symbolic bisimulation minimisation T van Dijk, J van de Pol International journal on software tools for technology transfer 20 (2), 157-177, 2018	27	2018
Multi-core symbolic bisimulation minimisation T van Dijk, J van de Pol International Conference on Tools and Algorithms for the Construction and …, 2016	27	2016
The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024	26	2024
Sylvan: multi-core decision diagrams T van Dijk	26	2016
Distributed binary decision diagrams for symbolic reachability W Oortwijn, T Dijk, J Pol Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017	15	2017
Simple Fixpoint Iteration To Solve Parity Games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019	12	2019
A Parity Game Tale of Two Counters T van Dijk arXiv preprint arXiv:1807.10210, 2018	12	2018
The Parallelization of Binary Decision Diagram Operations for Model Checking T van Dijk University of Twente, 2012	10	2012
Multi-core and/or symbolic model checking T van Dijk, A Laarman, J van de Pol 12th International Workshop on Automated Verification of Critical Systems …, 2012	9	2012

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai