EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Haverkort, B.R.H.M.
Home Policy Brochure Browse Search User Area Contact Help

2016

van den Berg, F.G.B. and Postema, B.F. and Haverkort, B.R.H.M. (2016) Evaluating Load Balancing Policies for Performance and Energy-Efficiency. (Invited) In: Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016, 2-3 Apr 2016, Eindhoven, the Netherlands. pp. 98-117. Electronic Proceedings in Theoretical Computer Science 227. Open Publishing Association. ISSN 2075-2180
Chromik, J.J. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) Improving SCADA security of a local process with a power grid model. In: Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016, 23-25 Aug 2016, Belfast, UK. pp. 114-123. Electronic Workshops in Computing. BCS Learning & Development Ltd.. ISSN 1477-9358
Chromik, J.J. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) What's under the hood? Improving SCADA security with process awareness. In: Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016), 12 Apr 2016, Vienna, Austria. IEEE. ISBN 978-1-5090-1165-0
Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) Survivability analysis of a sewage treatment facility using hybrid Petri nets. Performance evaluation, 97. pp. 36-56. ISSN 0166-5316 *** ISI Impact 0,944 ***
Jongerden, M.R. and Haverkort, B.R.H.M. (2016) Battery Aging and the Kinetic Battery Model. Technical Report TR-CTIT-2016-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Jongerden, M.R. and Hüls, J. and Haverkort, B.R.H.M. and Remke, A.K.I. (2016) Assessing the Cost of Energy Independence. In: Proceedings of the IEEE International Energy Conference, ENERGYCON 2016, 4-8 Apr 2016, Leuven, Belgium. pp. 1-6. IEEE Power & Energy Society. ISBN 978-1-4673-8464-3
Jongerden, M.R. and Huls, J. and Remke, A.K.I. and Haverkort, B.R.H.M. (2016) Does Your Domestic Photovoltaic Energy System Survive Grid Outages? Energies, 9 (9). 736. ISSN 1996-1073 *** ISI Impact 2,077 ***
Kolesnichenko, A.V. and Haverkort, B.R.H.M. and Remke, A.K.I. and de Boer, P.T. (2016) Fitting a code-red virus spread model: An account of putting theory into practice. In: Proceedings of the 12th International Conference on the Design of Reliable Communication Networks (DRCN 2016), 14-17 Mar 2016, Paris, France. pp. 39-46. IEEE. ISBN 978-1-4673-8496-4
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2016) Model checking two layers of mean-field models. In: Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Springer series in reliability engineering. Springer Verlag, London, pp. 341-369. ISSN 1614-7839 ISBN 978-3-319-30597-4
Nies, G. and Stenger, M. and Krcal, J. and Hermanns, H. and Bisgaard, M. and Gerhardt, D. and Haverkort, B.R.H.M. and Jongerden, M.R. and Larsen, K.G. and Wognsen, E.R. (2016) Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In: Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4, 26 -30 Sep 2016, Guadalajara, Mexico. pp. 1-15. International Astronautical Federation. ISBN not assigned

2015

van den Berg, F.G.B. and Haverkort, B.R.H.M. and Hooman, J. (2015) Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. In: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015, 14-16 Dec 2015, Berlin, Germany. pp. 158-163. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. ISBN 978-1-63190-096-9
van den Berg, F.G.B. and Hooman, Jozef and Hartmanns, A. and Haverkort, B.R.H.M. and Remke, A.K.I. (2015) Computing Response Time Distributions Using Iterative Probabilistic Model Checking. In: Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, 31 Aug - 1 Sep 2015, Madrid, Spain. pp. 208-224. Lecture notes in computer science 9272. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23266-9
van den Berg, F.G.B. and Remke, A.K.I. and Haverkort, B.R.H.M. (2015) iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. In: Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, 30 Aug - 1 Sep 2015, Madrid, Spain. pp. 227-242. Lecture Notes in Computer Science 9272. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23266-9
Delamare, J. and Bitachon, B. and Peng, Zixuan and Wang, Yushan and Haverkort, B.R.H.M. and Jongerden, M.R. (2015) Development of a Smart Grid Simulation Environment. In: Proceedings of the 29th and 30th Annual UK Performance Engineering Workshops (UKPEW 2014), 19 Sep 2014, Newcastle, UK. pp. 19-29. Electronic Notes in Theoretical Computer Science 318. Elsevier. ISSN 1571-0661
Ghasemieh, H. and Haverkort, B.R.H.M. and Jongerden, M.R. and Remke, A.K.I. (2015) Energy Resilience Modeling for Smart Houses. In: Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, 22-25 June 2015, Rio de Janeiro, Brasil. pp. 275-286. IEEE Computer Society. ISBN 978-1-4799-8629-3
Postema, B.F. and Haverkort, B.R.H.M. (2015) An AnyLogic simulation model for power and performance analysis of data centres. In: Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, 31 Aug - 01 Sep 2015, Madrid, Spain. pp. 258-272. Lecture Notes in Computer Science 9272. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-23266-9
Postema, B.F. and Haverkort, B.R.H.M. (2015) Energie besparen in datacentra. Bits en chips, 9. pp. 44-45. ISSN 1879-6443
Ramsgaard Wognsen, E. and Jongerden, M.R. and Haverkort, B.R.H.M. (2015) A Score Function for State of Charge Profiles for Rechargeable Batteries. Technical Report TR-CTIT-15-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2015) On hypothesis testing for statistical model checking. International journal on software tools for technology transfer, 17 (4). pp. 377-395. ISSN 1433-2779
Wognsen, E.R. and Haverkort, B.R.H.M. and Jongerden, M.R. and Hansen, R.R. and Larsen, K.G. (2015) A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, 02-04 Sept 2015, Madrid, Spain. pp. 305-320. Lecture Notes in Computer Science 9268. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-22974-4

2014

van den Berg, F.G.B. and Remke, A.K.I. and Haverkort, B.R.H.M. (2014) A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. In: Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, 14 Apr 2014, Berlin, Germany. pp. 80-93. OASICS 36. Schloss Dagstuhl. ISSN 2190-6807 ISBN 978-3-939897-66-8
Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2014) Hybrid Petri nets with multiple stochastic transition firings. In: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2014, 9-11 Dec 2014, Bratislava, Slovakia. pp. 217-224. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. ISBN 978-1-63190-057-0
Haverkort, B.R.H.M. and Postema, B.F. (2014) Towards Simple Models for Energy-Performance Trade-Offs in Data Centers. In: MMB & DFT 2014 : Proceedings of the International Workshops SOCNET 2014 and FGENET 2014, 19 Mar 2014, Bamberg, Germany. pp. 113-122. Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg. University of Bamberg Press. ISSN 1867-7401 ISBN 978-3-86309-208-5
Karagiannis, G. and Pham, G.T. and Nguyen, A.D. and Heijenk, G.J. and Haverkort, B.R.H.M. and Campfens, F. (2014) Performance of LTE for smart grid communications. In: Proceedings of the 17th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”, MMB & DFT 2014, 17-19 Mar 2014, Bamberg, Germany. pp. 225-239. Lecture Notes in Computer Science. Springer. ISBN 978-3-319-05358-5
Postema, B.F. and Haverkort, B.R.H.M. (2014) Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management. In: Proceedings of the International Workshop on Energy-Efficient Data Centres, E2DC 2014, 10 Jun 2014, Cambridge, United Kingdom. pp. 52-67. Lecture Notes in Computer Science 8945. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-15785-6
Postema, B.F. and Remke, A.K.I. and Haverkort, B.R.H.M. and Ghasemieh, H. (2014) Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. In: 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014, 17-19 Mar 2014, Bamberg, Germany. pp. 255-259. Lecture Notes in Computer Science 8376. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-05358-5

2013

Baier, C. and Hahn, E.M. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2013) Model checking for performability. Mathematical Structures in Computer Science, 23 (Special Issue 04). pp. 751-795. ISSN 0960-1295 *** ISI Impact 0,758 ***
van den Berg, F.G.B. and Remke, A.K.I. and Mooij, A. and Haverkort, B.R.H.M. (2013) Performance evaluation for collision prevention based on a domain specic language. In: Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013, 16-17 Sep 2013, Venice, Italy. pp. 276-287. Lecture Notes in Computer Science 8168. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40724-6
Drago, I. and de Oliveira Schmidt, R. and Hofstede, R.J. and Sperotto, A. and Karimzadeh Motallebi Azar, M. and Haverkort, B.R.H.M. and Pras, A. (2013) Networking for the Cloud: Challenges and Trends. PIK - Praxis der Informationsverarbeitung und Kommunikation, 36 (4). pp. 207-214. ISSN 0930-5157
Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. In: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, 02-04 Dec 2013, Vancouver, Canada. pp. 152-161. IEEE Computer Society. ISBN 978-0-7695-5130-2
Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) Analysis of a sewage treatment facility using hybrid Petri nets. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, 10-12 Dec 2013, Torino, Italy. pp. 165-174. ACM. ISBN 978-1-936968-48-0
Haverkort, B.R.H.M. (2013) The Dependable Systems-of-Systems Design Challenge. IEEE Security and Privacy, 11 (5). pp. 62-65. ISSN 1540-7993 *** ISI Impact 0,902 ***
Haverkort, B.R.H.M. (2013) Challenges for modelling and analysis in embedded systems and systems-of-systems design. (Invited) In: Proceedings Advances in Systems of Systems, AiSoS 2013, March 16, 2013, Rome, Italy. pp. 40-46. Electronic Proceedings in Theoretical Computer Science 133. arXiv.org. ISSN 2075-2180
Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) A logic for model-checking mean-field models. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 24-27 June 2013, Budapest, Hungary. pp. 1-12. International Conference on Dependable Systems and Networks. IEEE. ISSN 1530-0889 ISBN 978-1-4673-6471-3
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Reliable sequential testing for statistical model checking. In: Proceedings of the First Workshop on Statistical Model Checking, SMC 2013, 23 Sep 2013, Rennes, France. -.
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Recent advances in importance sampling for statistical model checking. In: Proceedings of the First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France. University of Twente, Centre for Telematics and Information Technology.
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Automated rare event simulation for stochastic Petri nets. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina. pp. 372-388. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4

2012

Ghasemieh, H. and Remke, A.K.I. and Haverkort, B.R.H.M. and Gribaudo, M. (2012) Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), 18-20 Sep 2012, London, UK. pp. 139-154. Lecture Notes in Computer Science 7595. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33364-4
Jongerden, M.R. and Haverkort, B.R.H.M. (2012) Lifetime Improvement by Battery Scheduling. In: Proceedings of the 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolarance, MMB & DFT 2012, 19-21 Mar 2012, Kaiserslautern, Germany. pp. 106-120. Lecture Notes in Computer Science 7201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28539-4
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2012) A logic for model-checking of mean-field models. Technical Report TR-CTIT-12-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2012) Rare event simulation for highly dependable systems with fast repairs. Performance evaluation, 69 (7–8). pp. 336-355. ISSN 0166-5316 *** ISI Impact 0,944 ***
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2012) Fast simulation for slow paths in Markov models. In: Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 Jun 2012, Trondheim, Norway. pp. 36-38. NTNU University Press. ISBN not assigned
Sadre, R. and Remke, A.K.I. and Hettinga, S.A. and Haverkort, B.R.H.M. (2012) Simulative and Analytical Evaluation for ASD-Based Embedded Software. In: 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings, 19-21 Mar 2012, Kaiserslautern, Germany. pp. 166-181. Lecture Notes in Computer Science 7201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28539-4

2011

Bakhshi, R. and Cloth, L. and Fokkink, W and Haverkort, B.R.H.M. (2011) Mean-field framework for performance evaluation of push–pull gossip protocols. Performance evaluation, 68 (2). pp. 157-179. ISSN 0166-5316 *** ISI Impact 0,944 ***
Cerna, I. and Haverkort, B.R.H.M. (2011) Parallel and Distributed Methods in Verification. Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X *** ISI Impact 0,585 ***
Haverkort, B.R.H.M. (2011) Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? (Invited) In: 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), September 21-23, 2011, Aalborg, Denmark. pp. 18-24. Lecture Notes in Computer Science 6919. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24309-7
Jongerden, M.R. and Haverkort, B.R.H.M. (2011) Lifetime improvement by battery scheduling. In: Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011, 7-8 Jul 2011, Bradford, UK. pp. 56-71. Inprint and Design. ISBN 978-0-9559703-3-7
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance evaluation, 68 (2). pp. 105-125. ISSN 0166-5316 *** ISI Impact 0,944 ***
Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. (2011) Is Quantitative Analysis of Stuxnet Possible? In: QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011, Borrowdale, United Kingdom. pp. 133-147. Lecture Notes in Computer Science 6977. Springer Verlag. ISSN 0302-9743
Sadre, R. and Haverkort, B.R.H.M. (2011) Decomposition-Based Queueing Network Analysis with FiFiQueues. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science 154. Springer Verlag, New York, pp. 643-699. ISBN 9781441964717
Yang, Yimeng and Heijenk, G.J. and Haverkort, B.R.H.M. (2011) An adaptive resource control mechanism in multi-hop ad-hoc networks. In: 9th IFIP international conference on Wired/Wireless Internet Communications, WWIC 2011, 15-17 June 2011, Vilanova i la Geltrú, Spain. pp. 309-322. Lecture Notes in Computer Science 6649. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-21559-9

2010

Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performability assessment by model checking of Markov reward models. Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 *** ISI Impact 1,132 ***
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782 *** ISI Impact 3,301 ***
Bakhshi, R. and Endrullis, J. and Endrullis, S. and Fokkink, W. and Haverkort, B.R.H.M. (2010) Automating the mean-field method for large dynamic gossip networks. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010), 15-18 Sep 2010, Williamsburg, Virginia, USA. pp. 241-250. IEEE Computer Society. ISBN 978-0-7695-4188-4
Haverkort, B.R.H.M. and Katoen, J.P. and Larsen, K.G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, 18-21 Oct 2010, Heraklion, Greece. pp. 127-127. Lecture Notes in Computer Science 6416. Springer Verlag. ISBN 978-3-642-16560-3
Haverkort, B.R.H.M. and Kuntz, G.W.M. and Leitner-Fischer, F. and Remke, A.K.I. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 852-860. Taylor & Francis. ISBN 978-0-415-60427-7
Haverkort, B.R.H.M. and Kuntz, G.W.M. and Remke, A.K.I. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society. ISBN 978-1-4244-7499-8
Jongerden, M.R. and Haverkort, B.R.H.M. (2010) Computing lifetimes for battery-powered devices. In: Proceedings of the International Conference on Operations Research, OR2010, 1-3 Sep 2010, Munich, Germany. pp. 193-198. Springer Verlag. ISSN 0721-5924 ISBN 978-3-642-20008-3
Jongerden, M.R. and Mereacre, A. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. and Katoen, J.P. (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203 *** ISI Impact 4,708 ***
Kuntz, G.W.M. and Haverkort, B.R.H.M. and Remke, A.K.I. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 27-34. Taylor & Francis Group. ISBN 978-0-415-60427-7
Miliche, D. and de Graaf, M. and Hoekstra, G. and Jongerden, M.R. and Haverkort, B.R.H.M. (2010) A first Experimental Investigation of the Practical Efficiency of Battery Scheduling. In: Work shop on Ultra-Low Power Sensor Networks (WUPS), 23 Feb 2010, Hannover. pp. 241-246. VDE Verlag GMBH. ISBN 978-3-8007-3222-7
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2010) Rare event simulation for highly dependable systems with fast repairs. In: Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 15-18 Sep 2010, Williamsburg, Virginia. pp. 251-260. IEEE Press. ISBN 978-1-4244-8082-1
Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Bax, J. (2010) Setting the parameters right for two-hop IEEE 802.11e ad hoc networks. In: 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, 15-17 Mar 2010, Essen, Germany. pp. 168-182. Lecture Notes in Computer Science 5987. Springer Verlag. ISBN 978-3-642-12103-6
Schippers, J. and Remke, A.K.I. and Punt, H. and Wegdam, M. and Haverkort, B.R.H.M. (2010) A Massively Scalable Architecture for Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, 24 Sept 2009, London. pp. 109-130. Electronic Notes in Theoretical Computer Science 261. Elsevier. ISSN 1571-0661

2009

Bakshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2009) Mean-Field Analysis for the Evaluation of Gossip Protocols. In: IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 247-256. IEEE Computer Society. ISBN 978-0-7695-3808-2
Haverkort, B.R.H.M. (2009) Time-It's time for a change. (Invited) In: 2009 IEEE Symposium on Modelling, Analysis and Simulation of Copmputer and Telecommunication Systems, 21-23 September 2009, London, UK. pp. 569-569. IEEE Computer Society. ISSN 1526-7539 ISBN 978-1-4244-4926-2
Haverkort, B.R.H.M. and Remke, A.K.I. and Hartel, P.H. (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits en chips, 11 (16). pp. 23-23. ISSN 1879-6443
Jongerden, M.R. and Haverkort, B.R.H.M. (2009) Which battery model to use? IET Software, 3 (6). pp. 445-457. ISSN 1751-8806 *** ISI Impact 0,473 ***
Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal. pp. 63-72. IEEE Computer Society. ISBN 978-1-4244-4421-2
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 133-142. IEEE Computer Society. ISBN 978-0-7695-3808-2
van Sinderen, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and van de Pol, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Akşit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. Technical Report Number UNSPECIFIED, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Smit, G.J.M. and van der Hoeven, G.F. and Groote, J.F. and Otten, R.H.J.M. and Tonino, H. and Juurlink, B.H.H. and Haverkort, B.R.H.M. (2009) The 3TU Embedded Systems master in the Netherlands. In: 2009 Workshop on Embedded Systems Education, 15 Oct 2009, Grenoble, France. pp. 8-12. ACM. ISBN 978-1-60558-700-4
Yang, Yimeng and Heijenk, G.J. and Haverkort, B.R.H.M. (2009) Adaptive Resource Control in 2-hop Ad-Hoc Networks. In: Proceedings of the International Conference on Ultra Modern Telecommunications 2009, 12-14 Oct 2009, St. Petersburg. 199:1-199:9. IEEE Communications Society. ISBN 978-1-4244-3942-3

2008

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany. pp. 53-71. Texts in Logic and Games 2. Amsterdam University Press. ISBN 978-90-5356-576-6
Bakhshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2008) Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 32-39. ISSN 0163-5999
Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA. pp. 512-521. IEEE Computer Society. ISBN 978-1-4244-2397-2
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31, 2008 - April 3, 2008, Belfast, UK. pp. 243-248. IEEE Computer Society. ISBN 978-0-7695-3139-7
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. (Invited) In: Proceedings of the second workshop on foundations of interface theories (FIT), April 10, 2008, Budapest, Hungary. pp. 5-10. University of Aalborg. ISBN not assigned
Cloth, L. and Haverkort, B.R.H.M. (2008) The performability tool P'ility. In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St. Malo, France. pp. 117-118. IEEE Computer Society. ISBN 978-0-7695-3360-5
Haverkort, B.R.H.M. (2008) Performance and Dependability Evaluation: Successes, Failures and Challenges. (Invited) In: EPEW, 24-25 Sep 2008, Palma de Mallorca, Spain,. pp. 1-1. Lecture Notes in Computer Science 5261. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87411-9
Jongerden, M.R. and Haverkort, B.R.H.M. (2008) Battery Modeling. Technical Report TR-CTIT-08-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jongerden, M.R. and Haverkort, B.R.H.M. (2008) Which battery model to use? In: 24th UK Performance Engineering Workshop, 3-4 Jul 2208, London, UK. pp. 76-88. Technical Report Series of the Department of Computing, Imperial College London (DTR08-9). Imperial College London. ISSN 1469-4166 ISBN 978-0-9559703-0-6
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2008) Formal Dependability Engineering with MIOA. Technical Report TR-CTIT-08-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Remke, A.K.I. and Haverkort, B.R.H.M. (2008) A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks. In: The 6th International Conference on Formal Modelling and Analysis of Timed Systems, 15-17 Sept 2008, St. Malo, France. pp. 188-202. Lecture Notes in Computer Science. Springer Verlag. ISSN 0302-9743
Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Cloth, L. (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: Analytical and Stochastic Modeling Techniques and Application, 04-06 Jun 2008, Nicosia, Cyprus. pp. 279-294. Lecture Notes in Computer Science 5055. Springer. ISSN 0302-9743 ISBN 978-3-540-68980-5
Sadre, R. and Haverkort, B.R.H.M. (2008) Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm. In: 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS), 13-15 Feb 2008, Venice, Italy. pp. 254-261. IEEE Computer Society. ISBN 978-1-4244-1845-9
Sadre, R. and Haverkort, B.R.H.M. (2008) Changes in the Web from 2000 to 2007. In: Managing Large-Scale Service Deployment, 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, 22-26 Sep 2008, Samos Island, Greece. pp. 136-148. Lecture Notes in Computer Science 5273. Springer Verlag. ISBN 978-3-540-85999-4
Yang, Yimeng and Haverkort, B.R.H.M. and Heijenk, G.J. (2008) A centralized feedback control model for resource management in wireless networks. Praxis der Informationsverarbeitung und Kommunikation, 31 (1). pp. 51-56. ISSN 0930-5157
Yang, Yimeng and Haverkort, B.R.H.M. and Heijenk, G.J. (2008) A control-theoretic modeling approach for service differentiation in multi-hop ad-hoc networks. In: Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems, QEST 2008), 14-17 Sep 2008, St Malo, France. pp. 7-16. IEEE Computer Society. ISBN 978-0-7695-3360-5
Zaburnenko, T.S. and de Boer, P.T. and Haverkort, B.R.H.M. (2008) Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks. In: Proceedings of the seventh International Workshop on Rare Event Simulation, RESIM2008, 24-26 September 2008, Rennes, France. pp. 165-168. INRIA. ISBN not assigned
Černá, I. and Haverkort, B.R.H.M. (2008) Preface. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007. pp. 1-2. Elsevier. ISSN 1571-0661

2007

Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Siegle, M. (2007) Model Checking Markov Chains with Actions and State Labels. IEEE transactions on software engineering, 33 (4). pp. 209-224. ISSN 0098-5589 *** ISI Impact 1,516 ***
Boudali, H. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK. pp. 45-49. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0
Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2007) Computing Battery Lifetime Distributions. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 25-28 Jun 2007, Edinburgh, UK. pp. 780-789. IEEE Computer Society. ISBN 978-0-7695-2855-7
van Foreest, N.D. and Haverkort, B.R.H.M. and Mandjes, M.R.H. and Scheinhardt, W.R.W. (2007) Versatile Stochastic Models for Networks with Asymmetric TCP Sources. Performance evaluation, 64 (6). pp. 507-523. ISSN 0166-5316 *** ISI Impact 0,944 ***
Goering, P.T.H. and Heijenk, G.J. and Haverkort, B.R.H.M. and Haarman, R. (2007) The effect of mobility on local service discovery in the Ahoy ad-hoc network system. In: Proceedings of the European Performance Engineering Workshop, EPEW 2007, 27 - 28 Sept 2007, Berlin, Germany. pp. 284-300. Lecture Notes in Computer Science 4748. Springer Verlag. ISBN 978-3-540-75210-3
Haverkort, B.R.H.M. and Kuntz, G.W.M. (2007) Extending the Logic IM-SPDL with Impulse and State Rewards. Technical Report TR-CTIT-07-58, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) SPDL Model Checking via Property-Driven State Space Generation. Technical Report TR-CTIT-07-59, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour. In: Proceedings of The Eighth International Workshop on Performability Modeling of Computer and Communication Systems, 20-21 Sept 2007, Edinburgh, UK. pp. 50-56. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Proceedings of the Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 Sept 2007, Berlin, Germany. pp. 80-96. Lecture Notes in Computer Science 4748. Springer Verlag. ISBN 978-3-540-75210-3
Kuntz, G.W.M. and Haverkort, B.R.H.M. (2007) Parallel CSRL Model Checking: First Results and Pointers to the Future. In: Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification, 08 July 2007, Berlin, Germany. pp. 105-120. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Remke, A.K.I. and Haverkort, B.R.H.M. (2007) CSL Model Checking Algorithms for Infinite-state Structured Markov chains. In: 5th International Conference, FORMATS 2007, 3-5 Oct 2007, Salzburg. pp. 336-351. Lecture Notes in Computer Science 4763. Springer Verlag. ISBN 978-3-540-75453-4
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2007) CSL model checking algorithms for QBDs. Theoretical computer science, 382 (1). pp. 24-41. ISSN 0304-3975 *** ISI Impact 0,643 ***
Sadre, R. and Haverkort, B.R.H.M. and Reinelt, P. (2007) A Fixed-Point Algorithm for Closed Queueing Networks. In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany. pp. 154-170. Lecture Notes in Computer Science 4748. Springer. ISSN 0302-9743 ISBN 978-3-540-75210-3
Yang, Yimeng and Haverkort, B.R.H.M. and Heijenk, G.J. (2007) A centralized feedback control model for resource management in wireless networks. In: Proceedings of the The Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8), 20 - 21 Sept 2007, Edinburgh, Scotland. pp. 10-16. CTIT Workshop Proceedings. Centre for Telematics and Information Technology University of Twente. ISSN 1574-0846

2006

Bell, A. and Haverkort, B.R.H.M. (2006) Distributed Disk-Based Solution of Very Large Markov Chains. Formal Methods in System Design, 29 (2). pp. 177-196. ISSN 0925-9856 *** ISI Impact 1,132 ***
Cloth, L. and Haverkort, B.R.H.M. (2006) Five Performability Algorithms. A Comparison. In: MAM 2006: Markov Anniversary Meeting, 12-14 Jun 2006, Charleston, SC, USA. pp. 39-54. Boson Books. ISBN 1 932482 34 2
Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2006) Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models. Technical Report TR-CTIT-06-58, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Haverkort, B.R.H.M. (2006) Can we quantitatively assess security? In: Workshop on Empirical Evaluation of Dependability and Security (WEEDS), June 25-28, 2006, Philadelphia, PA, USA. pp. 125-128. IEEE Computer Society.
Kalden, R.A. and Haverkort, B.R.H.M. (2006) Measuring and modelling of application flow length in commercial GPRS networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 september 2006, Riverside, CA, USA. pp. 83-92. IEEE Computer Society. ISBN 0769526659
Martinez Verdugo, J.M. and Haverkort, B.R.H.M. (2006) MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets. In: Proceedings of the Third Int'l. Conference on the Quantitative Evaluation of Systems, September 11-14, 2006, Riverside, CA, USA. pp. 133-134. IEEE Computer Society. ISBN 978-0-7695-2665-2
Martinez Verdugo, J.M. and Haverkort, B.R.H.M. (2006) CSL model checking of deterministic and stochastic Petri nets. In: Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 265-282. VDE VERLAG. ISBN 978-3-8007-2945-6
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 Sept 2006, Riverside, CA. pp. 63-72. IEEE Computer Society. ISBN 0769526659
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs. In: First International Conference on Performance Evaluation Methodologies and Tools, 10 Oct 2006, Pisa, Italy. 7. ACM. ISBN 1-59593-506-1
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way. In: Stochastic Performance Models for Resource Allocation in Communication Systems, 8-10 Nov 2006, Amsterdam, the Netherlands. pp. 23-26. Centrum voor Wiskunde en Informatica. ISBN not assigned

2005

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2005) Model checking meets performance evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-16. ISSN 0163-5999
Baier, C. and Hermanns, H. and Katoen, J.P. and Haverkort, B.R.H.M. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical computer science, 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,643 ***
Bell, A. and Haverkort, B.R.H.M. (2005) Sequential and distributed model checking of Petri nets. International journal on software tools for technology transfer, 7 (1). pp. 43-60. ISSN 1433-2779
Haverkort, B.R.H.M. and Katoen, J.P. (2005) Performance and verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 3-3. ISSN 0163-5999
Martinez, J.M. and Haverkort, B.R.H.M. (2005) CSL Model Checking of Deterministic and Stochastic Petri Nets. Technical Report TR-CTIT-05-63, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Remke, A.K.I. and Haverkort, B.R.H.M. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: Proceedings of the 7th International Workshop on Performability Modeling of Computer and communication Systems, 23-24 Oct 2005, Turin. pp. 23-26. Alma Riska, Andras Horvath. ISBN not assigned
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2005) Model checking Infinite-State Markov Chains. In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005), 4-8 Apr 2005, Edinburgh, UK. pp. 237-252. Lecture Notes in Computer Science 3440. Springer. ISBN 9783540253334

2004

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 61-76. Lecture Notes in Computer Science 2988. Springer. ISBN 3-540-21299-X
El Abdouni Khayari, R. and Sadre, R. and Haverkort, B.R.H.M. and Ost, A. (2004) The Pseudo-Self-Similar Traffic Model: Application and Validation. Performance Evaluation, 56. pp. 3-22. ISSN 0166-5316 *** ISI Impact 0,944 ***
van Foreest, N.D. and Haverkort, B.R.H.M. and Mandjes, M.R.H. and Scheinhardt, W.R.W. (2004) Versatile Markovian models for networks with asymmetric TCP sources. Memorandum 1734, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2004) Model Checking Infinite-State Markov Chains. Technical Report TR-CTIT-04-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2003

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Technical Report TR-CTIT-03-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 1,516 ***
El Abdouni Khayari, R. and Sadre, R. and Haverkort, B.R.H.M. (2003) Fitting World-Wide Web Request Traces with the EM-Algorithm. Performance evaluation, 52 (2-3). pp. 175-191. ISSN 0166-5316 *** ISI Impact 0,944 ***

2002

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. Technical Report TR-CTIT-02-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science 2459. Springer Verlag, Berlin, pp. 261-289. ISBN 3-540-44252-9
Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 473-489. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7
El Abdouni Khayari, R. and Sadre, R. and Haverkort, B.R.H.M. and Zoschke, N. (2002) A Class-Based Weighted-Fair Queueing Algorithm for WWW Proxy Scheduling. In: SPIE 4865 Internet Performance and Control of Network Systems III, Boston, Massachusetts. pp. 120-131. Int. Soc. for Optial Engineering.
Haverkort, B.R.H.M. and Cloth, L. and Hermanns, H. and Katoen, J.P. and Baier, C. (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks (DSN), 23-26 June 2002, Bethesda, MD, USA. pp. 103-112. IEEE Computer Society. ISBN 0-7695-1597-5

2001

Cloth, L. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Process Algebra and Probabilistic Models, Performance Modeling and Verification, 2001, Aachen, Germany. pp. 152-167. Lecture Notes in Computer Science 2165. ISBN 3-540-42556-X
Ehren, S. and Ludwig, N. and Haverkort, B.R.H.M. and El Abdouni Khayari, R. (2001) Entwurf, Implementierung und Bewertung eines Kryptographiemoduls fuer Client-Server Handelssysteme. In: 5th Int. Conf. on Wirtschaftsinformatik -- Information Age Economy, Augsburg, Germany. pp. 503-516. Physica-Verlag.
El Abdouni Khayari, R. and Sadre, R. and Haverkort, B.R.H.M. (2001) Fitting World-Wide Web Request Traces with the EM-Algorithm. In: SPIE 4523 (Internet Performance and Control of Network Systems II), 21 August 2001, Denver, Colorado. pp. 211-220. Society for Optical Communications. ISBN 0-8194-4247-X

2000

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA. pp. 358-372. Lecture Notes in Computer Science 1855. Springer Verlag. ISBN 3-540-67770-4
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154
Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430
Schuba, M. and Haverkort, B.R.H.M. and Schneider, G. (2000) Performance Evaluation of Multicast Communication in Packet-Switched Networks. Performance evaluation, 39. pp. 61-80. ISSN 0166-5316 *** ISI Impact 0,944 ***

1996

Coyle, A. and Haverkort, B.R.H.M. and Henderson, W. and Pearce, C. (1996) A Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings. Telecommunication Systems, 6 (2). pp. 203-227. ISSN 1018-4864 *** ISI Impact 0,822 ***
Haverkort, B.R.H.M. and Niemegeers, I.G.M.M. (1996) Performability Modelling Tools and Techniques. Performance evaluation, 25 (1). pp. 17-40. ISSN 0166-5316 *** ISI Impact 0,944 ***
Heijenk, G.J. and Haverkort, B.R.H.M. (1996) Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed System Engineering, 3 (1). pp. 53-67. ISSN 0967-1846

1995

Haverkort, B.R.H.M. and Meeuwissen, A.M.H. (1995) Sensitivity and Uncertainty Analysis of Markov Reward Models. IEEE Transactions on Reliability, 44 (1). pp. 147-154. ISSN 0018-9529 *** ISI Impact 2,287 ***

1994

Franken, L.J.N. and Haverkort, B.R.H.M. (1994) The Performability Manager. IEEE Network, 8 (1). pp. 24-32. ISSN 0890-8044 *** ISI Impact 2,899 ***

1993

Haverkort, B.R.H.M. (1993) Approximate Performability and Dependability Analysis using Generalized Stochastic Petri Nets. Performance evaluation, 18. pp. 61-78. ISSN 0166-5316 *** ISI Impact 0,944 ***

1990

Haverkort, B.R.H.M. (1990) Performability Modelling Tools, Evaluation Techniques and Applications. PhD thesis, University of Twente. ISBN 90-9003915-5