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

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,791 ***
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,791 ***
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,611 ***
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,791 ***
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 0,690 ***
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 1,919 ***
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 2,990 ***
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,329 ***
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,980 ***
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,791 ***
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,665 ***
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 0,690 ***
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
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,665 ***
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,791 ***
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,980 ***
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,791 ***

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,791 ***

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,689 ***
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,791 ***
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 1,285 ***

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,239 ***

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,791 ***

1990

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