Takip et
Boudewijn R. Haverkort
Boudewijn R. Haverkort
University of Twente
utwente.nl üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
10692003
Performance Evaluation of Computer Communication Systems: A Model-based Approach
BR Haverkort
John Wiley & Sons, 1998
4751998
Which battery model to use?
MR Jongerden, BR Haverkort
IET software 3 (6), 445-457, 2009
4112009
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
2522000
Performability modelling tools, evaluation techniques, and applications.
BRHM Haverkort
PhD thesis, University of Twente, 1992
241*1992
Composite performance and dependability analysis
KS Trivedi, JK Muppala, SP Woolet, BR Haverkort
Performance Evaluation 14 (3-4), 197-215, 1992
2351992
Battery modeling
MR Jongerden, B Haverkort
CTIT Technical Report Series, University of Twente, 2008
2272008
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
1872005
On the logical characterisation of performability properties
C Baier, B Haverkort, H Hermanns, JP Katoen
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
1652000
Fitting world-wide web request traces with the EM-algorithm
REA Khayari, R Sadre, BR Haverkort
Performance Evaluation 52 (2-3), 175-191, 2003
1602003
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
1332000
Smart industry: How ICT will change the game!
BR Haverkort, A Zimmermann
IEEE internet computing 21 (1), 8-10, 2017
1232017
Markovian models for performance and dependability evaluation
BR Haverkort
School organized by the European Educational Forum, 38-83, 2000
1212000
Performability modelling tools and techniques
BR Haverkort, IG Niemegeers
Performance evaluation 25 (1), 17-40, 1996
1191996
Performance evaluation and model checking join forces
C Baier, BR Haverkort, H Hermanns, JP Katoen
Communications of the ACM 53 (9), 76-85, 2010
1152010
Specification techniques for Markov reward models
BR Haverkort, KS Trivedi
Discrete Event Dynamic Systems 3 (2), 219-247, 1993
1091993
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
1072002
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
892007
Sensitivity and uncertainty analysis of Markov-reward models
BR Haverkort, AMH Meeuwissen
IEEE Transactions on Reliability 44 (1), 147-154, 1995
771995
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
761997
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20