Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 142.

Article

Abdouni Khayari, Rachid El and Sadre, Ramin and Haverkort, Boudewijn and Ost, Alexander (2004) The pseudo-self-similar traffic model: application and validation. Performance Evaluation, 56 (1-4). pp. 3-22. ISSN 0166-5316

(2006) IEEE Transactions on Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 3 (3). pp. 169-171. ISSN 1545-5971

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2005) Model Checking meets Performance Evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-15. ISSN 0163-5999

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

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performability assessment by model checking of Markov reward models. Formal Methods in System Design, 36 (1). pp. 1-36. ISSN 0925-9856

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Kuntz, Matthias and Siegle, Markus (2007) Model Checking Markov Chains with Actions and State Labels. IEEE Transactions on Software Engineering, 33 (4). pp. 209-224. ISSN 0098-5589

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Haverkort, Boudewijn R. (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

Bakhshi, Rena and Bonnet, Francois and Fokkink, Wan and Haverkort, Boudewijn (2008) Formal analysis techniques for gossiping protocols. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 34-46.

Bakhshi, Rena and Cloth, Lucia and Fokkink, Wan and Haverkort, Boudewijn R. (2008) Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS Performance Evaluation Review, 36 (3). pp. 31-39. ISSN 0163-5999

Bakhshi, Rena and Cloth, Lucia and Fokkink, Wan and Haverkort, Boudewijn R. (2011) Mean-field framework for performance evaluation of push–pull gossip protocols. Performance Evaluation, 68 (2). pp. 157-179. ISSN 0166-5316

Bell, Alexander and Haverkort, Boudewijn R. (2005) Sequential and distributed model checking of Petri nets. International Journal on Software Tools for Technology Transfer (STTT), 7 (1). pp. 43-60. ISSN 1433-2779

Bell, Alexander and Haverkort, Boudewijn R. (2006) Distributed Disk-Based Solution of Very Large Markov Chains. Formal Methods in System Design, 29 (2). pp. 177-196. ISSN 0925-9856

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol, Jaco van de (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 35-50. ISSN 1571-0661

Cerná, Ivana and Haverkort, Boudewijn R. (2008) Preface. Electronic Notes in Theoretical Computer Science, 198 (1-2). pp. 1-2. ISSN 1571-0661

Cerná, Ivana and Haverkort, Boudewijn R. (2011) Parallel and Distributed Methods in Verification. Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X

Coyle, Andrew and Haverkort, Boudewijn R. and Henderson, William and Pearce, Charles E.M. (1996) A Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings. Telecommunication Systems, 6 (2). pp. 203-227. ISSN 1018-4864

Drago, I. and O. Schmidt, R. de and Hofstede, R. and Sperotto, A. and Karimzadeh, M. and Haverkort, B.R. 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

El Abdouni Khayari, Rachid and Sadre, Ramin and Haverkort, Boudewijn R. (2003) Fitting World-Wide Web Request Traces with the EM-Algorithm. Performance Evaluation, 52 (2-3). pp. 175-191. ISSN 0166-5316

Foreest, Nicky D. van and Haverkort, Boudewijn R. and Mandjes, Michel R.H. and Scheinhardt, Werner R.W. (2007) Versatile Stochastic Models for Networks with Asymmetric TCP Sources. Performance Evaluation, 64 (6). pp. 507-523. ISSN 0166-5316

Franken, Leonard J.N. and Haverkort, Boudewijn R. (1994) The Performability Manager. IEEE Network, 8 (1). pp. 24-32. ISSN 0890-8044

Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2005) Performance and Verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). p. 3. ISSN 0163-5999

(2001) Performance and Dependability Modelling Techniques and Tools. Performance Evaluation, 44 (1-4). pp. 1-4.

Haverkort, Boudewijn and Remke, Anne and Hartel, Pieter (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 11 (16). p. 23. ISSN 1879-6443

Haverkort, Boudewijn R. (1993) Approximate performability and dependability analysis using generalized stochastic Petri Nets. Performance Evaluation, 18 (1). pp. 61-78. ISSN 0166-5316

Haverkort, Boudewijn R. (2013) The dependable systems-of-systems design challenge. IEEE security & privacy, 11 (5). pp. 62-65. ISSN 1540-7993

Haverkort, Boudewijn R. and Meeuwissen, Adrianus M.H. (1995) Sensitivity and Uncertainty Analysis of Markov-Reward Models. IEEE Transactions on Reliability, 44 (1). pp. 147-154. ISSN 0018-9529

Haverkort, Boudewijn R. and Niemegeers, Ignas G. (1996) Performability Modelling Tools and Techniques. Performance Evaluation, 25 (1). pp. 17-40. ISSN 0166-5316

Heijenk, Geert and Haverkort, Boudewijn R. (1996) Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed Systems Engineering, 3 (1). pp. 53-67. ISSN 0967-1846

Jongerden, Marijn and Mereacre, Alexandru and Bohnenkamp, Henrik and Haverkort, Boudewijn and Katoen, Joost-Pieter (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2009) Which battery model to use? IET Software, 3 (6). pp. 445-457. ISSN 1751-8806

Khayari el Abdouni, Rachid and Sadre, Ramin and Haverkort, Boudewijn R. (2003) Fitting World-Wide Web Request Traces with the EM-Algorithm Performance Evaluation. Performance Evaluation, 52 . pp. 175-191. ISSN 0166-5316

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation, 68 (2). pp. 105-125. ISSN 0166-5316

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Rare event simulation for highly dependable systems with fast repairs. Performance evaluation, 69 (7–8). pp. 336-355. ISSN 0166-5316

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2007) CSL model checking algorithms for QBDs. Theoretical Computer Science, 382 (1). pp. 24-41. ISSN 0304-3975

Schuba, Marko and Haverkort, Boudewijn R. and Schneider, Gaby (2000) Performance evaluation of multicast communication in packet-switched networks. Performance Evaluation, 39 (1/4). pp. 61-80. ISSN 0166-5316

Smeitink, Eric and Dijk, Nico M. van and Haverkort, Boudewijn R. (1992) Product forms for availability models. Applied Stochastic Models and Data Analysis, 8 (4). pp. 283-302. ISSN 8755-0024

Trivedi, Kishor S. and Muppala, Jogesh K. and Woolet, Steven P. and Haverkort, Boudewijn R. (1992) Composite performance and dependability analysis. Performance Evaluation, 14 (2-3). pp. 197-215. ISSN 0166-5316

Yang, Yimeng and Haverkort, Boudewijn R. and Heijenk, Geert 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

Book

Baier, Christel and Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Hermanns, Holger and Siegle, Markus , eds. (2004) Validation of Stochastic Systems : A Guide to Current Research. Lecture Notes in Computer Science, 2925 . Springer-Verlag, Berlin, Germany. ISBN 9783540222651

Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M. , eds. (2004) Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society Press, Los Alamitos. ISBN 9780769521855

Book Section

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (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 9783540442523

Sadre, Ramin and Haverkort, Boudewijn R. (2011) Decomposition-based queueing network analysis with FiFiQueues. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science, 154 . Springer Science + Business Media, New York, pp. 643-699. ISBN 9781441964717

Conference or Workshop Item

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. pp. 358-372).

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Logical Characterisation of Performability Properties. In: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland (pp. pp. 780-792).

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS, March 29 - April 2, 2004, Barcelona, Spain (pp. pp. 61-76).

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany (pp. pp. 53-71).

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Haverkort, Boudewijn (2002) Simulation for continuous-time Markov chains. In: 13th International Conference on Concurrency Theory, CONCUR 2002, August 20-23, 2002, Brno, Czech Republic (pp. pp. 338-352).

Bakhshi, Rena and Endrullis, Jörg and Endrullis, Stefan and Fokkink, Wan and Haverkort, Boudewijn (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 september 2010, Williamsburg, Virginia, USA (pp. pp. 241-250).

Bakshi, Rena and Cloth, Lucia and Fokkink, Wan and Haverkort, Boudewijn (2009) Mean-Field Analysis for the Evaluation of Gossip Protocols. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 247-256).

Berg, Freek van den and Remke, Anne and Mooij, Arjan and Haverkort, Boudewijn (2013) Performance evaluation for collision prevention based on a domain specic language. In: 10th European Workshop on Performance Engineering, EPEW 2013, 16-17 September 2013, Venice, Italy (pp. pp. 276-287).

Berg, Hans van den and Karlsson, Gunnar and Karagiannis, Georgios and Haverkort, Boudewijn R. (2008) Message from the IWQoS 2008 chairs! In: 16th International Workshop on Quality of Service, IWQoS 2008, 2-4 June 2008, Enschede, the Netherlands (pp. p. 1).

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA (pp. pp. 512-521).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK (pp. pp. 243-248).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary (pp. pp. 5-10).

Boudali, Hichem and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (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. pp. 45-49).

Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol, Jaco van de (2007) Preface. In: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, 26-31 Aug 2006, Bonn, Germany (pp. V-VI).

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. pp. 117-118).

Cloth, Lucia and Bohnenkamp, Henrik and Haverkort, Boudewijn (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Joint International Workshop Process Algebra and Probabilistic Models and Performance Modeling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany (pp. pp. 152-167).

Cloth, Lucia and Haverkort, Boudewijn R. (2005) Model checking for survivability! In: Second International Conference on the Quantitative Evaluation of Systems, 2005, 19-22 Sept. 2005, Torino, Italy (pp. pp. 145-154).

Cloth, Lucia and Haverkort, Boudewijn R. (2006) Five Performability Algorithms. A Comparison. In: MAM 2006: Markov Anniversary Meeting, 12-14 Jun 2006, Charleston, SC, USA (pp. pp. 39-54).

Cloth, Lucia and Jongerden, Marijn R. and Haverkort, Boudewijn R. (2007) Computing Battery Lifetime Distributions. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK (pp. pp. 780-789).

El Abdouni Khayari, Rachid and Sadre, Ramin and Haverkort, Boudewijn (2001) Fitting World-Wide Web Request Traces with the EM-Algorithm. In: Internet Performance and Control of Network Systems II, 21 August 2001, Denver, Colorado (pp. pp. 211-220).

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 September 2012, London, UK (pp. pp. 139-154).

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2013) Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. In: 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, 2-4 December 2013, Vancouver, Canada.

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2013) Analysis of a sewage treatment facility using hybrid Petri nets. In: 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, 10-12 December 2013, Torino, Italy.

Goering, Patrick and Heijenk, Geert and Haverkort, Boudewijn and Haarman, Robbert (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. pp. 284-300).

Haverkort, B.R. and Kuntz, M. and Leitner-Fischer, F. and Remke, A. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 852-860).

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 27-34).

Haverkort, B.R. and Kuntz, M. and Remke, A. 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 2010, 28 June - 1 July 2010, Chicago, IL, USA (pp. pp. 419-424).

Haverkort, Boudewijn and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks, DSN, 23-26 June 2002, Bethesda, MD, USA (pp. pp. 103-112).

Haverkort, Boudewijn R. (1991) Approximate performability analysis using generalized stochastic petri nets. In: Fourth International Workshop on Petri Nets and Performance Models, PNPM, 2-5 Dec. 1991, Melbourne, Australia (pp. pp. 300-309).

Haverkort, Boudewijn R. (1995) Matrix-geometric solution of infinite stochastic Petri nets. In: International Computer Performance and Dependability Symposium, 1995, 24-26 April 1995, Erlangen, Germany (pp. pp. 72-81).

Haverkort, Boudewijn R. (2008) Performance and Dependability Evaluation: Successes, Failures and Challenges. In: 5th European Performance Engineering Workshop, EPEW 2008, 24-25 September 2008, Palma de Mallorca, Spain (pp. p. 1).

Haverkort, Boudewijn R. (2011) Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? In: 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, September 21-23, 2011, Aalborg, Denmark (pp. pp. 18-24).

Haverkort, Boudewijn R. (2006) Can we quantitatively assess security? In: Workshop on Empirical Evaluation of Dependability and Security, WEEDS 2006, June 25-28, 2006, Philadelphia, PA, USA (pp. pp. 125-128).

Haverkort, Boudewijn R. (2013) Challenges for modelling and analysis in embedded systems and systems-of-systems design. In: Advances in Systems of Systems, AiSoS 2013, March 16, 2013, Rome, Italy (pp. pp. 40-46).

Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany (pp. pp. 228-237).

Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Larsen, Kim G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, October 18-21, 2010, Heraklion, Greece (pp. p. 127).

Haverkort, Boudewijn R. and Meeuwissen, Adrianus M.H. (1992) Sensitivity and Uncertainty Analyses in Performability modelling. In: 11th Symposium on Reliable Distributed Systems, 5-7 Oct. 1992, Houston, Texas (pp. pp. 93-102).

Haverkort, Boudewijn R. and Moorsel, Aad P.A. van (1995) Using the probabilistic evaluation tool for the analytical solution of large Markov models. In: Sixth International Workshop on Petri Nets and Performance Models, 1995, 3-6 Oct. 1995, Durham, NC (pp. pp. 206-207).

Haverkort, Boudewijn R. and Moorsel, Aad P.A. van and Speelman, Dirk-Jan (1994) XMGM: performance modeling using matrix geometric techniques. In: Second International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 1994, 31 Jan.-2 Feb. 1994, Durham, North Carolina, USA (pp. pp. 152-157).

Haverkort, Boudewijn R. and Postema, Björn (2014) Towards Simple Models for Energy-Performance Trade-Offs in Data Centers. In: MMB & DFT 2014 International Workshops SOCNET 2014 and FGENET 2014, 19 March 2014, Bamberg, Germany (pp. pp. 113-122).

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: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal.

Jongerden, Marijn and Haverkort, Boudewijn (2010) Computing lifetimes for battery-powered devices. In: Proceedings of the International Conference on Operations Research, OR2010, 1-3 Sep 2010, Munich, Germany.

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2008) Which battery model to use? In: 24th UK Performance Engineering Workshop, 3-4 July 2008, London, UK (pp. pp. 76-88).

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2011) Lifetime improvement by battery scheduling. In: 27th Annual UK Performance Engineering Workshop, UKPEW 2011, 7-8 Jul 2011, Bradford, UK (pp. pp. 56-71).

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2012) Lifetime Improvement by Battery Scheduling. In: 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolarance, MMB & DFT 2012, 19-21 March 2012, Kaiserslautern, Germany (pp. pp. 106-120).

Kalden, Roger and Haverkort, Boudewijn R. (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. pp. 83-92).

Karagiannis, G. and Pham, G.T. and Nguyen, A.D. and Heijenk, G.J. and Haverkort, B.R. and Campfens, F. (2014) Performance of LTE for smart grid communications. In: 17th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, 17-19 March 2014, Bamberg, Germany.

Khayari el Abdouni, Rachid and Sadre, Ramin and Haverkort, Boudewijn R. (2002) A Class-Based Least-Recently-Used Caching Algorithm for WWW Proxies. In: 13th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, TOOLS, September 2-5, 2003, Urbana, IL, USA (pp. pp. 273-290).

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 133-142).

Kolesnichenko, Anna and Boer, Pieter-Tjerk de and Remke, Anne and Haverkort, Boudewijn R. (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. pp. 1-12).

Kolesnichenko, Anna and Boer, Pieter-Tjerk de and Remke, Anne and Zambon, Emmanuele and Haverkort, Boudewijn R. (2011) Is Quantitative Analysis of Stuxnet Possible? In: 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, September 5-8, 2011, Aachen, Germany (pp. pp. 9-10).

Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Octtober 2011, Borrowdale, United Kingdom (pp. pp. 133-147).

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany (pp. pp. 80-96).

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour. In: Eighth International Workshop on Performability Modeling of Computer and Communication Systems, 20-21 Sept 2007, Edinburgh, UK (pp. pp. 50-56).

Martinez, José M and Haverkort, Boudewijn R. (2006) MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 September 2006, Riverside, CA, USA (pp. pp. 133-134).

Martinez, José M and Haverkort, Boudewijn R. (2006) CSL model checking of deterministic and stochastic Petri nets. In: 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nürnberg, Germany (pp. pp. 265-282).

Miliche, Damien and Graaf, Maurits de and Hoekstra, Gerard and Jongerden, Marijn and Haverkort, Boudewijn (2010) A first Experimental Investigation of the Practical Efficiency of Battery Scheduling. In: Workshop on Ultra-Low Power Sensor Networks (WUPS), 23 Feb 2010, Hannover, Germany (pp. pp. 241-246).

Moorsel, Aad P.A. van and Haverkort, Boudewijn R. and Niemegeers, Ignas G. (1992) A method for analyzing the performance aspects of the fault-tolerance mechanisms in FDDI. In: IEEE Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM, 4-8 May 1992, Florence, Italy (pp. pp. 372-381).

Postema, Björn and Remke, Anne and Haverkort, Boudewijn R. and Ghasemieh, Hamed (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 March 2014, Bamberg, Germany (pp. pp. 255-259).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2010) Rare event simulation for highly dependable systems with fast repairs. In: Seventh International Conference on Quantitative Evaluation of SysTems, QEST 2010, 15-18 Sep 2010, Williamsburg, Virginia. (In Press)

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Fast simulation for slow paths in Markov models. In: Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 June 2012, Trondheim, Norway (pp. pp. 36-38).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Automated rare event simulation for stochastic Petri nets. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 372-388).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Reliable sequential testing for statistical model checking. In: First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France.

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Recent advances in importance sampling for statistical model checking. In: First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France.

Remke, Anne and Haverkort, Boudewijn R. and Heijenk, Geert and Cloth, Lucia (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA, June 4-6, 2008, Nicosia, Cyprus (pp. pp. 279-294).

Remke, A. and Haverkort, B.R. 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. pp. 23-26).

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. pp. 188-202).

Remke, Anne and Haverkort, Boudewijn R. (2007) CSL Model Checking Algorithms for Infinite-state Structured Markov chains. In: 5th International Conferenceon Formal Modeling and Analysis of Timed Systems, FORMATS 2007, October 3-5, 2007, Salzburg, Austria (pp. pp. 336-351).

Remke, Anne and Haverkort, Boudewijn R. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: 7th International Workshop on Performability Modeling of Computer and Communication Systems, 23-24 Oct 2005, Turin, Italy (pp. pp. 23-26).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2005) Model checking Infinite-State Markov Chains. In: 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 4-8 April 2005, Edinburgh, UK (pp. pp. 237-252).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (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 September 2006, Riverside, CA, USA (pp. pp. 63-72).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (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 (pp. p. 7).

Remke, Anne and Haverkort, Boudewijn R. and Heijenk, Geert and Bax, Jesper (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 March 2010, Essen, Germany (pp. pp. 168-182).

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. pp. 136-148).

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. pp. 254-261).

Sadre, Ramin and Haverkort, Boudewijn R. and Reinelt, Patrick (2007) A Fixed-Point Algorithm for Closed Queueing Networks. In: Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany (pp. pp. 154-170).

Sadre, Ramin and Remke, Anne and Hettinga, Sjors and Haverkort, Boudewijn (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 Tolarance, MMB & DFT 2012, 19-21 March 2012, Kaiserslautern, Germany (pp. pp. 166-181).

Schippers, Jorrit and Remke, Anne and Punt, Henk and Wegdam, Maarten and Haverkort, Boudewijn (2009) A Massively Scalable Architecture For Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, PASM 2009, 24 September 2009, London, UK. (In Press)

Smit, Gerard J.M. and Hoeven, Gerrit F. van der and Groote, Jan Friso and Otten, Ralph H.J.M. and Tonino, Hans and Juurlink, Ben H.H. and Haverkort, Boudewijn R.H.M. (2009) The 3TU Embedded Systems master in the Netherlands. In: Workshop on Embedded Systems Education, WISE, 15 Oct 2009, Grenoble, France (pp. pp. 8-12).

Yang, Yimeng and Haverkort, Boudewijn R. and Heijenk, Geert J. (2007) A centralized feedback control model for resource management in wireless networks. In: Eighth International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS-8, 20 - 21 Sept 2007, Edinburgh, Scotland (pp. pp. 10-16).

Yang, Yimeng and Haverkort, Boudewijn R. and Heijenk, Geert J. (2008) A control-theoretic modeling approach for service differentiation in multi-hop ad-hoc networks. In: Fifth International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St Malo, France (pp. pp. 7-16).

Yang, Yimeng and Heijenk, Geert and Haverkort, Boudewijn R. (2009) Adaptive Resource Control in 2-hop Ad-Hoc Networks. In: International Conference on Ultra Modern Telecommunications 2009, 12-14 Oct 2009, St. Petersburg. (In Press)

Yang, Yimeng and Heijenk, Geert and Haverkort, Boudewijn R. (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. pp. 309-322).

Zaburnenko, Tatiana S. and Boer, Pieter-Tjerk de and Haverkort, Boudewijn R.H.M. (2008) Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks. In: Seventh International Workshop on Rare Event Simulation, RESIM 2008, 24-26 September 2008, Rennes, France (pp. pp. 165-168).

Report

Aksit, Mehmet and Mostert, Rene and Haverkort, Boudewijn (1990) Compiler generation based on grammar inheritance. [Report]

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. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. [Report]

Cloth, Lucia and Haverkort, Boudewijn R. and Jongerden, Marijn (2006) Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models. [Report]

Foreest, N.D. van and Haverkort, B.R. and Mandjes, M.R.H. and Scheinhardt, W.R.W. (2004) Versatile Markovian models for networks with asymmetric TCP sources. [Report]

Haverkort, Boudewijn R. and Kuntz, Matthias (2007) Extending the Logic IM-SPDL with Impulse and State Rewards. [Report]

Jongerden, M.R. and Haverkort, B.R. (2008) Battery Modeling. [Report]

Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn R. (2012) A logic for model-checking of mean-field models. [Report]

Kuntz, Matthias and Haverkort, Boudewijn (2008) Formal Dependability Engineering with MIOA. [Report]

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) SPDL Model Checking via Property-Driven State Space Generation. [Report]

Martinez, José M and Haverkort, Boudewijn R. (2005) CSL model checking of Deterministic and Stochastic Petri Nets. [Report]

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2004) Model checking infinite-state Markov chains. [Report]

Sinderen, M.J. van and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and Pol, J.C. van de and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Aksit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. [Report]

This list was generated on Wed Jul 23 05:18:21 2014 CEST.