Boudewijn R. Haverkort

Citado por

	Todos	Desde 2018
Citações	7304	1395
Índice h	38	17
Índice i10	121	40

420

210

105

315

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202330 55 65 71 65 48 89 67 132 103 149 149 234 195 297 273 320 339 388 386 405 415 381 358 400 377 328 237 255 228 209 138

Acesso público

Ver tudo

15 artigos

8 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Anne RemkeUniversität MünsterEmail confirmado em wwu.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail confirmado em cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail confirmado em cs.uni-saarland.de
Christel BaierTU DresdenEmail confirmado em tu-dresden.de
Marijn JongerdenHAN University of Applied SciencesEmail confirmado em han.nl
Ramin SadreUniversité catholique de LouvainEmail confirmado em uclouvain.be
Pieter-Tjerk de BoerAssociate professor, University of TwenteEmail confirmado em utwente.nl
Hamed GhasemiehPhD, University of TwenteEmail confirmado em utwente.nl
Freek van den BergPostdoctoral researcherEmail confirmado em vdberg.us
Aad van MoorselProfessor of Computer Science, University of Birmingham, UKEmail confirmado em bham.ac.uk
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail confirmado em utwente.nl
Björn F. PostemaTeacher, Christian University of Applied ScienceEmail confirmado em utwente.nl
Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityEmail confirmado em duke.edu
Geert HeijenkProfessor, University of TwenteEmail confirmado em heijenk.com
Werner ScheinhardtAssistant professor, University of TwenteEmail confirmado em utwente.nl
Justyna ChromikPhD candidate, University of TwenteEmail confirmado em utwente.nl
Rena BakhshiVU University AmsterdamEmail confirmado em bakhshi.org
Daniël ReijsbergenNanyang Technological UniversityEmail confirmado em ntu.edu.sg
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamEmail confirmado em vu.nl
Pepijn CrouzenGoogle inc.Email confirmado em google.com

Seguir

Boudewijn R. Haverkort

Dean, Tilburg School of Humanities & Digital Sciences, Tilburg University

Email confirmado em uvt.nl - Página inicial

cyber-physical systems critical infrastructures performance & dependability battery modelling stochastic model checking


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Model-checking algorithms for continuous-time Markov chains C Baier, B Haverkort, H Hermanns, JP Katoen IEEE Transactions on software engineering 29 (6), 524-541, 2003	1033	2003
Which battery model to use? MR Jongerden, BR Haverkort IET software 3 (6), 445-457, 2009	558	2009
Performance Evaluation of Computer Communication Systems: A Model-based Approach BR Haverkort John Wiley & Sons, 1998	459	1998
Performability modelling tools, evaluation techniques, and applications. BRHM Haverkort PhD thesis, University of Twente, 1992	239*	1992
Model checking continuous-time Markov chains by transient analysis C Baier, B Haverkort, H Hermanns, JP Katoen International conference on computer aided verification, 358-372, 2000	236	2000
Composite performance and dependability analysis KS Trivedi, JK Muppala, SP Woolet, BR Haverkort Performance Evaluation 14 (3-4), 197-215, 1992	226	1992
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes C Baier, H Hermanns, JP Katoen, BR Haverkort Theoretical Computer Science 345 (1), 2-26, 2005	165	2005
On the logical characterisation of performability properties C Baier, B Haverkort, H Hermanns, JP Katoen Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000	161	2000
Fitting world-wide web request traces with the EM-algorithm REA Khayari, R Sadre, BR Haverkort Performance Evaluation 52 (2-3), 175-191, 2003	152	2003
On the use of model checking techniques for dependability evaluation BR Haverkort, H Hermanns, JP Katoen Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000 …, 2000	130	2000
Performability modelling tools and techniques BR Haverkort, IG Niemegeers Performance evaluation 25 (1), 17-40, 1996	117	1996
Markovian models for performance and dependability evaluation BR Haverkort School organized by the European Educational Forum, 38-83, 2000	112	2000
Specification techniques for Markov reward models BR Haverkort, KS Trivedi Discrete Event Dynamic Systems 3 (2-3), 219-247, 1993	108	1993
Performance evaluation and model checking join forces C Baier, BR Haverkort, H Hermanns, JP Katoen Communications of the ACM 53 (9), 76-85, 2010	107	2010
Model checking performability properties B Haverkort, L Cloth, H Hermanns, JP Katoen, C Baier Proceedings International Conference on Dependable Systems and Networks, 103-112, 2002	104	2002
Smart industry: How ICT will change the game! BR Haverkort, A Zimmermann IEEE internet computing 21 (1), 8-10, 2017	92	2017
Model checking Markov chains with actions and state labels C Baier, L Cloth, BR Haverkort, M Kuntz, M Siegle IEEE Transactions on Software Engineering 33 (4), 209-224, 2007	88	2007
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets B Haverkort, A Bell, H Bohnenkamp Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999	78	1999
Sensitivity and uncertainty analysis of Markov-reward models BR Haverkort, AMH Meeuwissen IEEE Transactions on Reliability 44 (1), 147-154, 1995	77	1995
Steady-state analysis of infinite stochastic Petri nets: Comparing the spectral expansion and the matrix-geometric method BR Haverkort, A Ost Proceedings of the seventh international workshop on petri nets and …, 1997	74	1997

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores