Publications DACS group

Please note: This publication repository is under development and therefore not representative for the work of all individual researchers of the DACS group.

To search for publications by author, topic, project or year, please use the EEMCS EPrints Service.

2009

van den Berg, J.L. and Heijenk, G.J. and Osipov, E. and Staehle, D., ed. (2009) Wired / Wireless Internet Communications: 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 2009, Proceedings. Lecture Notes in Computer Science 5546. Springer Verlag, Berlin / Heidelberg / New York. ISSN 0302-9743 ISBN 978-3-642-02117-6

Brogle, M. and Heijenk, G.J. and Braun, T. and Konstantas, D., ed. (2009) Third ERCIM workshop on eMobility. CTIT Workshop Proceedings (WP 09-03). University of Twente, Enschede, The Netherlands. ISSN 1574-0846 ISBN 978-90-365-2846-7

Papadopouli, M. and Owezarski, P. and Pras, A., ed. (2009) Traffic Monitoring and Analysis: Proceedings of the First International Traffic Monitoring and Analysis Workshop (TMA2009). Lecture Notes in Computer Science 5537. Springer Verlag, Heidelberg, pp. 1-134. ISBN 978-3-642-01644-8

Sadre, R. and Pras, A., ed. (2009) Scalability of Networks and Services: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009). Lecture Notes in Computer Science 5637. Springer Verlag, Heidelberg, pp. 1-211. ISSN 0302-9743 ISBN 978-3-642-02626-3

Braun, T. and Kassler, A. and Kihl, M. and Racocevic, V. and Siris, V. and Heijenk, G.J. (2009) Multi-hop wireless networks. In: Traffic and QoS Management in Wireless Multimedia Networks. Springer Verlag, New York.

Chen, T. and Han, T. and Katoen, J.P. and Mereacre, A. (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 11-14 Aug 2009, Los Angeles. pp. 309-318. IEEE Computer Society Press. ISSN 1043-6871 ISBN 978-0-7695-3746-7

Coenen, T.J.M. and van den Berg, J.L. and Boucherie, R.J. (2009) Flow transfer times in wireless multihop ad hoc networks. In: Performance Modelling and Analysis of Heterogeneous Networks. Rivers Publishers, Aalborg, Denmark, pp. 113-132. ISBN 978-87-92329-18-9

Dimitrova, D.C. and van den Berg, J.L. and Heijenk, G.J. (2009) Analyzing the impact of relay station characteristics on uplink performance in cellular network. In: Third ERCIM Workshop on eMobility, 27 - 29 May 2009, Enschede, The Netherlands. pp. 31-42. CTIT. ISSN 1574-0846 ISBN 978-90-365-2846-7

Dimitrova, D.C. and van den Berg, J.L. and Heijenk, G.J. (2009) Performance analysis of uplink packet schedulers in cellular networks with relaying. In: Wireless and Mobile Networking: Second IFIP WG 6.8 Joint Conference, 09-11 Sep 2009, Gdansk, Poland. pp. 263-273. IFIP Advances in Information and Communication Technology 308. Springer Verlag. ISSN 1868-4238 ISBN 978-3-642-03840-2

Dimitrova, D.C. and van den Berg, J.L. and Heijenk, G.J. (2009) Performance of relay-enabled uplink in cellular networks - a flow level analysis. In: Proceedings of the International Conference on Ultra Modern Telecommunications, 12-14 Oct 2009, Sint Peterburg, Russia. pp. 1-8. IEEE Computer Society Press. ISBN 978-1-4244-3941-6

Dimitrova, D.C. and Heijenk, G.J. and van den Berg, J.L. (2009) Scheduling dependent modeling of inter-cell interference in UMTS EUL. In: Third International Conference on Next Generation Mobile Applications, Services and Technologies, 16-18 Sep 2009, Cardiff, Wales, UK. pp. 259-264. IEEE Computer Society Press. ISBN 978-0-7695-3786-3

Eardley, P and Chan, K. and Charny, A. and Geib, R. and Karagiannis, G. and Menth, M. and Tsou, T. (2009) Pre-Congestion Notification (PCN) Architecture. In: Proceedings of the 75th IETF. Request for Comments (RFC 5559). Internet Engineering Task Force (IETF). pp. 0-54. IETF (Internet Engineering Task Force). ISBN not assigned

van Eenennaam, E.M. and Klein Wolterink, W. and Karagiannis, G. and Heijenk, G.J. (2009) Exploring the Solution Space of Beaconing in VANETs. In: First IEEE Vehicular Networking Conference, VNC2009, 28-30 Oct 2009, Tokyo, Japan. IEEE Communications Society. ISBN 978-1-4244-5687-1

Fioreze, T. and Granville, L. and Pras, A. and Sperotto, A. and Sadre, R. (2009) Self-Management of Hybrid Networks: Can We Trust NetFlow Data? In: 11th IFIP/IEEE International Symposium on Integrated Network Management (IM 2009), 1-5 Jun 2009, Long Island, New York, USA. pp. 577-584. IEEE Computer Society Press. ISBN 978-1-4244-3487-9

Fioreze, T. and Granville, L. and Sadre, R. and Pras, A. (2009) A Statistical Analysis of Network Parameters for the Self-management of Lambda-Connections. In: Proceedings of the 3rd International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), June 30 - July 2, 2009, Enschede, The Netherlands. pp. 15-27. Lecture Notes in Computer Science 5637. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02626-3

Hofstede, R. J. and Fioreze, T. (2009) SURFmap: A Network Monitoring Tool Based on the Google Maps API. In: 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM 2009), 1-5 Jun 2009, Long Island, New York, USA. pp. 676-690. IEEE Computer Society Press. ISBN 978-1-4244-3487-9

Jehangir, A. (2009) A Security Architecture for Personal Networks. PhD thesis, Univ. of Twente. ISBN 978-90-365-2818-4

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. IEEE Computer Society Press. 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

Lastdrager, E. and Pras, A. (2009) Consistency of Network Traffic Repositories: An Overview. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands. pp. 173-178. Lecture Notes in Computer Science 5637. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02626-3

Liu, F. and Heijenk, G.J. (2009) On the impact of network dynamics on a discovery protocol for ad-hoc networks. International Journal of Business Data Communications and Networking, 5 (2). pp. 16-34. ISSN 1548-0631

Moreira Moura, G.C. and Fioreze, T. and de Boer, P.T. and Pras, A. (2009) Optical Switching Impact on TCP Throughput Limited by TCP Buffers. In: Proceedings of the 9th IEEE International Workshop on IP Operations and Management, 29-30 Oct 2009, Venice, Italy. pp. 161-166. Lecture Notes in Computer Science 5843. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04967-5

Moreira Moura, G.C. and Pras, A. (2009) Scalable Detection and Isolation of Phishing. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands. pp. 195-198. Lecture Notes in Computer Science 5637. Springer Verlag. ISBN 978-3-642-02626-3

Pras, A. and Nieuwenhuis, L.J.M. and van de Meent, R. and Mandjes, M.R.H. (2009) Dimensioning Network Links: A New Look at Equivalent Bandwidth. IEEE Network, 23 (2). pp. 5-10. ISSN 0890-8044 *** ISI Impact 3,068 ***

Roolvink, S. and Remke, A.K.I. and Stoelinga, M.I.A. (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: 9th International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary. pp. 4-7. PMCCS 2009. Budapest University of Technology and Economics. ISBN not assigned

Schippers, J. and Remke, A.K.I. and Punt, H. and Wegdam, M. and Haverkort, B.R.H.M. (2009) A Massively Scalable Architecture for Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, 24 Sept 2009, London. Electronic Notes in Theoretical Computer Science. Elsevier.

Schwartz, R.S. (2009) Towards an Over-the-horizon Awareness to Driver Support Systems in Highway Real-World Scenarios. Master's thesis, Univ. of Twente.

Sperotto, A. and Sadre, R. and de Boer, P.T. and Pras, A. (2009) Hidden Markov Model modeling of SSH brute-force attacks. In: Integrated Management of Systems, Services, Processes and People in IT, Proceedings of the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, October 27-28, 2009, Venice, Italy. pp. 164-176. Lecture Notes in Computer Science 5841/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04988-0

Sperotto, A. and Sadre, R. and van Vliet, D.F. and Pras, A. (2009) A Labeled Data Set For Flow-based Intrusion Detection. In: IP Operations and Management, Proceedings of the 9th IEEE Intenational Workshop IPOM 2009, October 29-30, 2009, Venice, Italy. pp. 39-50. Lecture Notes in Computer Science 5843/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04967-5

Sperotto, A. and Vliek, G. and Sadre, R. and Pras, A. (2009) Detecting Spam at the Network Level. In: Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, 7-9 Sep 2009, Barcelona. pp. 208-216. Lecture Notes in Computer Science 5733. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-03699-6

Westberg, L. and Eriksson, A. and Karagiannis, G. and Heijenk, G.J. and Rexhepi, V. and Partain, D. (2009) Dynamic QoS management in Differentiated Services using bandwidth brokers, RSVP aggregation and load control protocols. Patent EP1312226 (Assigned).

Yang, Y. 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. IEEE Communications Society.

2008

Braun, T. and Heijenk, G.J. and Konstantas, D. and Wulff, M., ed. (2008) Second ERCIM workshop on eMobility. Tampere University of Technology, Tampere, Finland. ISBN 978-952-15-1972-7

Harju, J. and Heijenk, G.J. and Langendörfer, P. and Siris, V.A., ed. (2008) Wired / Wireless Internet Communications: 6th International Conference, WWIC 2008, Tampere, Finland, May 2008, Proceedings. Lecture Notes in Computer Science 5031. Springer Verlag, Berlin / Heidelberg. ISSN 0302-9743 ISBN 978-3-540-68805-1

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. 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

Bargh, M.S. and Hulsebosch, B. and Eertink, E.H. and Heijenk, G.J. and Idserda, J. and Laganier, J. and Prasad, A.R. and Zugenmaier, A. (2008) Reducing handover latency in future IP-based wireless networks: Proxy Mobile IPv6 with simultaneous bindings. In: 9th International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 23-26 Jun 2008, Newport Beach / Irvine, USA. IEEE. ISBN 978-1-4244-2100-8

van den Berg, J.L. and Karlsson, G. (2008) Proceedings of the 16th International Workshop on Quality of Service. In: Proceedings of the 16th International Workshop on Quality of Service (IWQoS 2008), 2-4 June 2008, Enschede. 1. IEEE. ISSN 1548-615X ISBN 978-1-4244-2084-1

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 Press. 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: Proc. of 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, UK. pp. 243-248. IEEE Computer Society Press. 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. 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

van den Broek, G. and Schoenwaelder, J. and Pras, A. and Harvan, M. (2008) SNMP Trace Analysis Deﬁnitions. In: Resilient Networks and Services, 1-3 Jul 2008, Bremen. pp. 134-147. Lecture Notes in Computer Science 5127. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70586-4

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 Press. ISBN 978-0-7695-3360-5

Coenen, T.J.M. and van den Berg, J.L. and Boucherie, R.J. (2008) Analysis of a polling system modeling QoS differentiation in WLANs. In: Proceedings of ValueTools 2008, 20-23 Oct 2008, Athens, Greece. ACM. ISBN 978-963-9799-31-8

Dimitrova, D.C. and van den Berg, J.L. and Heijenk, G.J. and Litjens, R. (2008) Flow Level Performance Comparison of Packet Scheduling Schemes for UMTS EUL. In: Proceedings of the 6th International Conference on Wired/Wireless Internet Communications, 28-30 May 2008, Tampere, Finland. pp. 27-40. Lecture Notes in Computer Science LNCS 5031. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-68805-1

Dimitrova, D.C. and Heijenk, G.J. and van den Berg, J.L. and Litjens, R. (2008) Impact of inter-cell interference on ﬂow level performance of scheduling schemes for the UMTS EUL. In: Proceedings of the 4thIEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2008, 12-14 Oct 2008, Avignon, France. pp. 106-112. IEEE. ISBN 978-0-7695-3393-3

Dimitrova, D.C. and Karagiannis, G. and de Boer, P.T. (2008) Severe congestion handling approaches in NSIS RMD domains with bi-directional reservations. Computer Communications: The International Journal for the Computer and Telecommunications Industry, 13 (14). pp. 3153-3162. ISSN 0140-3664 *** ISI Impact 0,884 ***

van Eenennaam, E.M. and Heijenk, G.J. (2008) Providing over-the-horizon awareness to driver support systems. In: The Fourth International Workshop on Vehicle-to-Vehicle Communications, V2VCOM 2008, 3 Jun 2008, Eindhoven, The Netherlands. pp. 19-25. University of Twente. ISBN 978-90-365-2693-7

Fioreze, T. and Wolbers, M.O. and van de Meent, R. and Pras, A. (2008) Characterization of IP Flows Eligible for Lambda-Connections in Optical Networks. In: Proceedings of the 11th IEEE/IFIP Network Operations & Management Symposium (NOMS 2008), 7-11 April 2008, Salvador, Bahia, Brazil. pp. 256-262. IEEE Computer Society Press. ISSN 1542-1201 ISBN 978-1-4244-2066-7

Haverkort, B.R.H.M. (2008) Performance and Dependability Evaluation: Successes, Failures and Challenges. 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

Heijenk, G.J. and Bargh, M.S. and Laganier, J. and Prasad, A.R. (2008) Reducing handover latency in future IP-based wireless networks: Fast Proxy Mobile IPv6. In: Second ERCIM workshop on eMobility, 30 May 2008, Tampere, Finland. pp. 79-92. Tampere University of Technology. ISBN 978-952-15-1972-7

Hesselman, C.E.W. and Benz, H.P. and Pawar, P. and Liu, F. and Wegdam, M. and Wibbels, M. and Broens, T.H.F. and Brok, J. (2008) Bridging context management systems for different types of pervasive computing environments. In: Proceedings of the First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, 15-17 February 2008, Innsbruck, Austria. pp. 1-8. ACM International Conference Proceedings serie 278. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. ISBN 978-1-59593-984-5

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

Karagiannis, G. and Heijenk, G.J. and El Malki, K. and Soliman, H. (2008) Seamless handoff in Mobile IP. Patent US 7353027 (Assigned).

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

Litjens, R. and van den Berg, J.L. and Boucherie, R.J. (2008) Throughputs in processor sharing models for integrated stream and elastic traffic. Performance evaluation, 65 (2). pp. 152-180. ISSN 0166-5316 *** ISI Impact 1,524 ***

Liu, F. and Heijenk, G.J. (2008) Dynamic connectivity analysis of ABF-based ad-hoc networks. In: Proceedings of the 1st IFIP Wireless and Mobile Networking Conference, 30 Sep - 02 Oct 2008, Toulouse, France. pp. 407-420. Springer Verlag. ISBN 978-0-387-84838-9

Malhotra, R. (2008) Quality of service modeling and analysis for carrier ethernet. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 08-126 ISBN 978-90-365-2711-8

Papagianni, C. and Karagiannis, G. and Tselikas, N. D. and Sfakianakis, E. and Chochliouros, I. P. and Kabilafkas, D. and Cinkler, T. and Westberg, L. and Sjödin, P. and Hidell, M. and Heemstra de Groot, S.M. and Kontos, T. and Katsigiannis, C. and Pappas, C. and Antonakopoulou, A. and Venieris, I. S. (2008) Supporting end-to-end resource virtualization for Web 2.0 applications using Service Oriented Architecture. In: Proceedings of 2nd IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2008, 30 Nov - 4 Dec 2008, New Orleans, USA. 7. IEEE Communications Society. ISBN 978-1-4244-2324-8

Pavlou, G. and Pras, A. (2008) Series editorial - Topics in network and service management. IEEE Communications Magazine, 46 (5). pp. 136-137. ISSN 0163-6804 *** ISI Impact 2,799 ***

Pavlou, G. and Pras, A. (2008) Topics in Network and Service Management. IEEE Communications Magazine, 46 (10). pp. 138-139. ISSN 0163-6804 *** ISI Impact 2,799 ***

Prins, M. and Brunner, M. and Karagiannis, G. and Lundqvist, H. and Nunzi, G. (2008) Fast RTP Retransmission for IPTV - Implementation and Evaluation. In: IEEE Global Telecommunications Conference 2008, IEEE GLOBECOM 2008, 30 Nov - 4 Dec 2008, New Orleans, USA. 6. IEEE Communications Society. ISBN 978-1-4244-2324-8

Remke, A.K.I. (2008) Model Checking Structured Infinite Markov Chains. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 08-118 ISBN 978-90-8570-304-4

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 Press. 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

Sperotto, A. and Sadre, R. and Pras, A. (2008) Anomaly Characterization in Flow-Based Traffic Time Series. In: 8th IEEE International Workshop on IP Operations and Management, IPOM 2008, 22-26 September 2008, Samos, Greece. pp. 15-27. Lecture Notes in Computer Science 5275/2008. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-87356-3

Yang, Y. 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, Y. 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 Press. ISBN 978-0-7695-3360-5

Yu, Q. and Heijenk, G.J. (2008) Abiding Geocast for Warning Message Dissemination in Vehicular Ad Hoc Networks. In: Proceedings of the IEEE Vehicular Networks and Applications Workshop (Vehi-Mobi), 19 May 2008, Beijing. pp. 400-404. IEEE. ISBN 978-1-4244-2052-0

Zaburnenko, T.S. (2008) Efficient heuristics for simulating rare events in queuing networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-111 ISBN 978-90-365-2622-7

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

Pras, A. and van Sinderen, M.J., ed. (2007) Dependable and Adaptable Networks and Services - Proceedings of the 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 2007. Lecture Notes in Computer Science 4606 (149). Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-540-73529-8

Bader, A. and Westberg, L. and Karagiannis, G. and Kappler, C. and Phelan, T. (2007) RMD-QOSM - The Resource Management in Diffserv QOS Model. IETF Internet draft draft-ietf-nsis-rmd-12 Internet Engineering Task Force (IETF), USA.

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 3,569 ***

van Beijnum, B.J.F. and van Sinderen, M.J. and Quartel, D.A.C. and Pras, A. (2007) Computernetwerken. In: ICT-Zakboek, 3e Druk. Reed Business, Doetinchem, pp. 820-852. ISBN 978-90-6228-671-3

de Boer, P.T. and L'Ecuyer, P. and Rubino, G. and Tuffin, B. (2007) Estimating the Probability of a Rare Event Over a Finite Time Horizon. In: Proceedings of the 2007 Winter Simulation Conference, WSC'07, 9-12 Dec 2007, Washington, USA. pp. 403-411. IEEE. ISBN 978-1-4244-1306-5

de Boer, P.T. and Scheinhardt, W.R.W. (2007) Alternative proof and interpretations for a recent state-dependent importance sampling scheme. Queueing systems, 57 (2-3). pp. 61-69. ISSN 0257-0130 *** ISI Impact 1,045 ***

de Boer, P.T. and Scheinhardt, W.R.W. (2007) Alternative proof with interpretations for a recent state-dependent importance sampling scheme. Memorandum 1828, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850

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. CTIT Workshop Proceedings. 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

Chan, K. and Karagiannis, G. (2007) Pre-Congestion Notification Encoding Comparison. IETF Internet draft draft-chan-pcn-encoding-comparison-01 Internet Engineering Task Force (IETF), USA.

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 Press. ISBN 978-0-7695-2855-7

Eardley, P. and Babiarz, J. and Chan, K. and Charny, A. and Geib, R. and Karagiannis, G. and Menth, M. and Tsou, T. (2007) Pre-Congestion Notification Architecture. IETF Internet draft draft-eardley-pcn-architecture-00 Internet Engineering Task Force (IETF), USA.

Fioreze, T. and van de Meent, R. and Pras, A. (2007) An Architecture for the Self-management of Lambda-Connections in Hybrid Networks. In: 13th EUNICE Open European Summer School and IFIP TC6.6 Workshop on Dependable and Adaptable Networks and Services, 18-20 July 2007, Enschede, The Netherlands. pp. 141-148. Lecture Notes in Computer Science 4606. Springer Verlag. ISBN 3-540-73529-1

Fioreze, T. and Oude Wolbers, M. and van de Meent, R. and Pras, A. (2007) Offloading IP Flows onto Lambda-Connections. In: Proceedings of the 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, 29-31 Oct 2007, San Jose, USA. pp. 183-186. Lecture Notes in Computer Science 4785. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-75693-4

Fioreze, T. and Pras, A. (2007) Self-management of lambda-connections in optical networks. In: Proceedings of the 1st International Conference on Autonomous Infrastructure, Management and Security (AIMS 2007) Student Workshop, 21-23 Jun 2007, Oslo, Norway. pp. 212-215. Lecture Notes in Computer Science 4543. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-72985-3

Fioreze, T. and Wolbers, M. O. and van de Meent, R. and Pras, A. (2007) Finding Elephant Flows for Optical Networks. In: Application session proceeding of the 10th IFIP/IEEE International Symposium on Integrated Network Management (IM 2007), 21-25 May 2007, Munich, Germany. pp. 627-640. IEEE Computer Society Press. ISBN 1-4244-0799-0

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. pp. 507-523. ISSN 0166-5316 *** ISI Impact 1,524 ***

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

de Graaf, M. and van den Berg, J.L. and Boucherie, R.J. and Brouwer, F. and de Bruin, I. and Elfrink, H. and Fernandez-Diaz, I. and Heemstra de Groot, S.M. and de Haan, R. and de Jongh, J. and Nunez, S. and van Ommeren, J.C.W. and Roijers, F. and Stemerdink, J. and Tromp, E. (2007) Easy Wireless: broadband ad-hoc networking for emergency services. In: The Sixth Annual Mediterranean Ad Hoc Networking Workshop, 12-15 June 2007, Corfu, Greece. Ionian University. ISBN not assigned

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

Jehangir, A. and Heemstra de Groot, S.M. (2007) Securing Personal Network Clusters. In: Proceedings of the Third International Conference on Security and Privacy in Communication Networks, SecureComm 2007, 18-20 Sept 2007, Nice, France. 1217. IEEE Computer Society Press. ISBN 1-4244-0975-6

Jehangir, A. and Heemstra de Groot, S.M. (2007) Evaluating Secure Cluster Formation in Personal Networks. In: Proceedings of the IEEE Wireless Communications and Networking Conference, 11-15 March, 2007, Hong Kong. pp. 3134-3140. IEEE Computer Society Press. ISBN 1-4244-0659-5

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) 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. CTIT. ISSN 0929-0672

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

Liu, F. and Goering, P.T.H. and Heijenk, G.J. (2007) Modeling service discovery in ad-hoc networks. In: Proceedings of the Fourth ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2007, 22 - 26 Oct 2007, Chania, Greece. pp. 9-16. Association for Computing Machinery. ISBN 978-1-59593-808-4

Liu, F. and Heijenk, G.J. (2007) Context discovery using attenuated Bloom filters in ad-hoc networks. Journal of Internet Engineering, 1 (1). pp. 49-58. ISSN 1791-177X

van de Meent, R. and Mandjes, M.R.H. and Pras, A. (2007) Smart Dimensioning of IP Network Links. In: Proceedings of the 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, 29-31 Oct 2007, San Jose, CA, USA. pp. 86-97. Lecture Notes in Computer Schience 4785. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-75693-4

Meijerink, A. and Taniman, R.O. and van Etten, W.C. (2007) Coherence-Multiplexed Optical RF Feeder Networks. Journal of lightwave technology, 25 (11). 3396 -3406. ISSN 0733-8724 *** ISI Impact 2,736 ***

Meijerink, A. and Taniman, R.O. and Heideman, G.H.L.M. and van Etten, W.C. (2007) Coherence Multiplex System Topologies. IEEE journal of selected topics in quantum electronics, 13 (5 part 2). 1433 -1445. ISSN 1077-260X *** ISI Impact 2,518 ***

Meyer, U. and Tschofenig, H. and Karagiannis, G. (2007) On the security of the Mobile IP protocol family. In: Proceedings of 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007, 26-30 Nov 2007, USA. 2. IEEE Communications Society. ISBN not assigned

Ooms, W.S. and Karagiannis, G. and van Deventer, M.O. and Veldhuizen, J. (2007) AAA architectures applied in multi-domain IMS (IP multimedia subsystem). In: Proceedings of 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007, 26-30 Nov 2007, USA. 6. IEEE Communications Society. ISBN 978-1-4244-2024-7

Pavlou, G. and Pras, A. (2007) Topics In Network And Service Management [Guest Editorial]. IEEE communications magazine, 45 (4). pp. 112-113. ISSN 0163-6804 *** ISI Impact 2,799 ***

Pavlou, G. and Pras, A. (2007) Network and Service Management [Guest Editorial]. IEEE communications magazine, 45 (10). pp. 102-103. ISSN 0163-6804 *** ISI Impact 2,799 ***

Pras, A. and Martin-Flatin, J.P. (2007) What Can Web Services Bring To Integrated Management? In: Handbook of Network and System Administration. Elsevier, Amsterdam. ISBN 978-0-444-52198-9

Pras, A. and Schoenwaelder, J. and Burgess, M. and Festor, O. and Martinez Perez, G. and Stadler, R. and Stiller, B. (2007) Key Research Challenges in Network Management. IEEE communications magazine, 45 (10). pp. 104-110. ISSN 0163-6804 *** ISI Impact 2,799 ***

Pras, A. and Schoenwaelder, J. and Stiller, B. (2007) Peer-to-Peer Technologies in Network and Service Management. Journal on Network and Service Management, 15 (3). pp. 285-288. ISSN 1064-7570 *** ISI Impact 0,685 ***

Prasad, A.R. and Laganier, J. and Zugenmaier, A. and Bargh, M. and Hulsebosch, B. and Eertink, E.H. and Heijenk, G.J. and Idserda, J. (2007) Mobility and key management in SAE/LTE. In: Proceedings of the 2007 Tyrrhenian International Workshop on Digital Communications, TIWDC’07, 9 - 12 Sept 2007, Island of Ischia, Italy. 3.2. Springer Verlag. ISBN not assigned

Quinten, V.M. and van de Meent, R. and Pras, A. (2007) Analysis of Techniques for Protection against Spam over Internet Telephony. In: Proceedings of EUNICE 2007:13th Open European Summer School and IFIP TC6.6 Workshop, July 2007, Enschede, Netherlands. pp. 70-77. Lecture Notes in Computer Science 4606. Springer Verlag. ISBN 978-3-540-73529-8

Quinten, V.M. and van de Meent, R. and Pras, A. (2007) Analysis of Techniques for Protection Against Spam over Internet Telephony. In: Proceedings of the 13th Open European Summer School and IFIP TC6.6 Workshop on Dependable and Adaptable Networks and Services, 18-20 Jul 2007, Enschede, the Netherlands. pp. 70-77. Lecture Notes in Computer Science 4606. Springer Verlag. ISBN 978-3-540-73529-8

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

Sadre, R. (2007) Decomposition-Based Analysis of Queueing Networks. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 06-95 ISBN 90-365-2444-X

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

Schoenwaelder, J. and Pras, A. and Harvan, M. and Schippers, J. and van de Meent, R. (2007) SNMP Traffic Analysis: Approaches, Tools, and First Results. In: Proceedings of the Tenth International Symposium on Integrated Network Management, 21-25 May 2007, Munich, Germany. pp. 324-332. IEEE Computer Society Press. ISBN 1-4244-0799-0

Sperotto, A. and van de Meent, R. (2007) A Survey of the High-Speed Self-Learning Intrusion Detection Research Area. In: First International Conference on Autonomous Infrastructure, Management and Security, 21-22 Jun 2007, Oslo, Norway. pp. 196-199. Lecture Notes in Computer Science 4543. Springer Verlag. ISBN 978-3-540-72985-3

Sperotto, A. and Pelillo, M. (2007) Szemeredi's Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation. In: Energy Minimization Methods in Computer Vision and Pattern Recognition Energy Minimization Methods in Computer Vision and Pattern Recognition, 6th International Conference, EMMCVPR 2007, 27-29 Aug 2007, EZhou, Hubei, China. pp. 13-27. Lecture Notes in Computer Science 4679. Springer Verlag. ISBN 978-3-540-74195-4

Taniman, R.O. and van Bochove, A.C. and de Boer, P.T. (2007) Bitloading with reduced computational complexity order for a multicarrier multimode PON. In: 12th Annual Symposium IEEE/LEOS Benelux, 17-18 Dec 2007, Brussels, Belgium. pp. 171-174. Universite Libre de Bruxelles. ISBN 978-2-9600753-0-4

Taniman, R.O. and van Bochove, A.C. and de Boer, P.T. and Sikkes, B. (2007) Dynamic capacity allocation for low-cost multicarrier multimode PON. In: Proceedings of the Thirty-third European Conference on Optical Communication, 16-20 Sep 2007, Berlin, Germany. pp. 55-56. VDE Verlag GMBH. ISBN 9783800730421

Taniman, R.O. and van Bochove, A.C. and de Boer, P.T. and Sikkes, B. (2007) Application of feasible vertex labeling for dynamic capacity allocation of a multicarrier multimode PON. In: Proceedings of the Twelfth European Conference on Networks and Optical Communications, 18-21 June 2007, Stockholm, Sweden. pp. 407-414. Acreo AB. ISBN 978-91-633-0869-7

van Wanrooij, W. and Pras, A. (2007) Scheduling Feed Retrieval. In: Proceedings of the IEEE International Conference on Communications, ICC 2007, 24-28 June 2007, Glasgow, Scotland. pp. 2064-2069. IEEE Communications Society. ISBN 1-4244-0353-7

Westberg, L. and Bhargava, A. and Bader, A. and Karagiannis, G. (2007) LC-PCN: The Load Control PCN Solution. IETF Internet draft draft-westberg-pcn-load-control-02 Internet Engineering Task Force (IETF), USA.

Woudt, E.M. and de Boer, P.T. and van Ommeren, J.C.W. (2007) Improving Adaptive Importance Sampling Simulation of Markovian Queueing Models using Non-parametric Smoothing. Simulation, 83 (12). pp. 811-820. ISSN 0037-5497 *** ISI Impact 0,783 ***

Yang, Y. 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

Arlat, J. and Bondavalli, A. and Haverkort, B.R.H.M. and Verissimo, P., ed. (2006) IEEE Transactions on Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 3 (3). pp. 169-171. ISSN 1545-5971 *** ISI Impact 2,093 ***

Abendroth, D. and van den Berg, J.L. and Mandjes, M.R.H. (2006) A versatile model for TCP bandwidth sharing in networks with heterogeneous users. AEU : International journal of electronics and communications, 60 (4). pp. 267-278. ISSN 1434-8411 *** ISI Impact 0,371 ***

Al-Shaer, E. and Pras, A. and Brownlee, N. (2006) Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON). In: Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON), 3 April 2006, Vancouver. pp. 1-4. IEEE. ISBN 1-4244-0145-3

Babiarz, J. and Chan, K. and Karagiannis, G. and Eardley, P. (2006) SIP Controlled Admission and Preemption. IETF Internet draft draft-babiarz-pcn-sip-cap-00 Internet Engineering Task Force (IETF).

Bader, A. and Karagiannis, G. and Westberg, L. and Kappler, C. and Phelan, T. (2006) RMD-QOSM - The Resource Management in Diffserv QoS model. Internet Draft draft-ietf-nsis-rmd-08 Internet Engineering Task Force (IETF).

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

van den Berg, J.L. and Mandjes, M.R.H. and van de Meent, R. and Pras, A. and Roijers, F. and Venemans, P.H.A. (2006) QoS aware bandwidth provisioning of IP links. Computer networks, 50 (5). pp. 631-647. ISSN 1389-1286 *** ISI Impact 1,304 ***

van den Berg, J.L. and Roijers, F. and Mandjes, M.R.H. (2006) Performance Modeling of a Bottleneck Node in an IEEE 802.11 Ad-hoc Network. In: Ad Hoc Now 2006, 5th International Conference on Ad hoc Networks & Wireless, 17-19 August 2006, Ottawa, Canada. pp. 321-336. Lecture Notes in Computer Science 4104. Springer Verlag. ISSN 0302-9743 ISBN 3-540-37246-6

de Boer, P.T. (2006) Analysis of State-Independent Importance-Sampling Measures for the Two-Node Tandem Queue. ACM Transactions on Modeling and Computer Simulation, 16 (3). pp. 225-250. ISSN 1049-3301 *** ISI Impact 1,029 ***

de Boer, P.T. (2006) Some Observations on Importance Sampling and RESTART. In: Sixth Rare-Event Simulation Workshop, RESIM2006, 8 - 10 October 2006, Bamberg, Germany. pp. 217-223. ISBN not assigned

Briscoe, B. and Eardley, P. and Songhurst, D. and Le Faucheur, F. and Charny, A. and Liatsos, V. and Babiarz, J. and Chan, K. and Dudley, S. and Karagiannis, G. and Bader, A. and Westberg, L. (2006) Pre-Congestion Notification marking. IETF Internet draft draft-briscoe-tsvwg-cl-phb-03 Internet Engineering Task Force (IETF).

Briscoe, B. and Eardley, P. and Songhurst, D. and Le Faucheur, F. and Charny, A. and Liatsos, V. and Babiarz, J. and Chan, K. and Dudley, S. and Karagiannis, G. and Bader, A. and Westberg, L. (2006) An edge-to-edge Deployment Model for Pre-Congestion Notification: Admission Control over a DiffServ Region. IETF Internet draft draft-briscoe-tsvwg-cl-architecture-04 Internet Engineering Task Force (IETF).

Cheung, S.K. and van den Berg, J.L. and Boucherie, R.J. (2006) Insensitive bounds for the moments of the sojourn time distribution in the M/G/1 processor-sharing queue. Queueing systems, 53 (1-2). pp. 7-18. ISSN 0257-0130 *** ISI Impact 1,045 ***

Cloth, L. (2006) Model Checking Algorithms for Markov Reward Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-81 ISBN 90-365-2317-6

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

Coenen, T.J.M. and Goering, P.T.H. and Jehangir, A. and van den Berg, J.L. and Boucherie, R.J. and Heemstra de Groot, S.M. and Heijenk, G.J. and Dhillon, S.S. and Lu, W. and Lo, A. and van Mieghem, P.F.A. and Niemegeers, I.G.M.M. (2006) Architectural and QoS aspects of Personal Networks. In: Proceedings of First International Workshop on Personalized Networks, PerNets 2006, 21 July 2006, San Jose, CA, USA. IEEE. ISBN 0-7803-9792-4

Coenen, T.J.M. and Goering, P.T.H. and Jehangir, A. and van den Berg, J.L. and Boucherie, R.J. and Heemstra de Groot, S.M. and Heijenk, G.J. and Dhillon, S.S. and Lu, W. and Lo, A. and van Mieghem, P.F.A. and Niemegeers, I.G.M.M. (2006) Architectural aspects of QoS-aware personal networks. Memorandum 1802, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

El Allali, H. and Heijenk, G.J. and Lo, A. and Niemegeers, I.G.M.M. (2006) A measurement-based admission control algorithm for resource management in diffserv IP networks. In: Proceedings 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06)., 11-14 September 2006, Helsinki, Finland. pp. 1-5. IEEE Computer Society Press. ISBN 1-4244-0330-8

Fioreze, T. and Neisse, R. and Granville, L. and Almeida, M.J. and Pras, A. (2006) A policy-based hierarchical approach for management of grids and networks. In: Application session proceedings of the 10th IEEE/IFIP Network Operations & Management Symposium (NOMS 2006), 3-7 Apr 2006, Vancouver, Canada. pp. 1-14. IEEE. ISSN 1542-1201 ISBN 1-4244-0143-7

Fioreze, T. and Pras, A. (2006) Using Self-management for Establishing Light Paths in Optical Networks: an Overview. In: Proceedings of the 12th Open European Summer School, 18-20 Sept 2006, Stuttgart, Germany. pp. 17-20. Institut für Kommunikationsnetze und Rechnersysteme, Universität Stuttgart. ISBN 3-938965-02-9

Gijsen, B.M.M. and van der Mei, R.D. and van den Berg, J.L. and van Wingerden, K.M.C. (2006) Sojourn-time approximations in queueing networks with feedback. Performance evaluation, 63 (8). pp. 743-758. ISSN 0166-5316 *** ISI Impact 1,524 ***

Goering, P.T.H. and Heijenk, G.J. (2006) Service discovery using Bloom filters. In: Proceedings of the twelfth annual conference of the Advanced School for Computing and Imaging, June 14-16, 2006, Lommel, Belgium. pp. 219-227. Advanced School for Computing and Imaging (ASCI). ISBN 90-810849-1-7

Heijenk, G.J. (2006) System and method for fair, channel-dependent scheduling for wireless systems. Patent US7126927 (Assigned).

Heijenk, G.J. and Liu, F. (2006) Interference-based routing in multi-hop wireless infrastructures. Computer Communications, 29 (13-14). pp. 2693-2701. ISSN 0140-3664 *** ISI Impact 0,884 ***

Jehangir, A. and Heemstra de Groot, S.M. (2006) A Security Architecture for Personal Networks. In: First International Workshop on Personalized Networks, 21 July 2006, San Jose, California, USA. IEEE. ISBN 0-7803-9792-4

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

Karagiannis, G. (2006) A method for header compression context control during handover in mobile data communication networks. Patent EP1303963 (Assigned).

Karagiannis, G. and Jones, V.M. and Heemstra de Groot, S.M. (2006) Support of Future Disaster Response Using Generalized Access Networks (GANs). Technical Report TR-CTIT-06-44, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Karagiannis, G. and Jones, V.M. and Heemstra de Groot, S.M. (2006) Support of Future Disaster Response Using Generalized Access Networks (GANs). In: Information Technology in Biomedicine, ITAB 2006, 26-28 Oct 2006, Ioannina, Greece. International Special Topic Conference on Information Technology in Biomedicine. IEEE Engineering in Medicine and Biology Society. ISBN not assigned

Karagiannis, G. and Westberg, L. and Bader, A. and Tschofenig, H. (2006) Resource Unavailability (RU) Per Domain Behavior. IETF Internet draft draft-karagiannis-ru-pdb-03 Internet Engineering Task Force (IETF).

Kuntz, G.W.M. (2006) Symbolic Semantics and Verification of Stochastic Process Algebras. PhD thesis, Friedrich-Alexander-Universitaet Erlangen-Nuernberg.

Kuntz, G.W.M. and Siegle, M. (2006) CASPA: Symbolic Model Checking of Stochastic Systems. In: Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 465-468. VDE Verlag. ISBN 3-800-72945-8

Kuntz, G.W.M. and Siegle, M. (2006) Symbolic Model Checking of Stochastic Systems: Theory and Implementation. In: Proceedings of the 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria. pp. 89-107. Lecture Notes in Computer Science 3925. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-33102-5

Liu, F. and Heijenk, G.J. (2006) Context discovery using attenuated Bloom codes: model description and validation. Technical Report TR-CTIT-06-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Liu, F. and Heijenk, G.J. (2006) Context discovery using attenuated Bloom filters in ad-hoc networks. In: Proceedings 4th International Conference on Wired/Wireless Internet Communications, WWIC 2006, May 9-12, 2006, Bern, Switzerland. pp. 13-25. Lecture Notes in Computer Science 3970. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-34023-8

Mandjes, M.R.H. and van de Meent, R. (2006) Resource dimensioning through buffer sampling. Technical Report TR-CTIT-06-56, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Manner, J. and Karagiannis, G. and McDonald, A. (2006) NSLP for Quality-of-Service signalling. Internet Draft draft-ietf-nsis-qos-nslp-12 Internet Engineering Task Force (IETF).

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 Press. 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. Springer Verlag. ISBN 978-3-8007-2945-6

van de Meent, R. (2006) Network link dimensioning: a measurement & modeling based approach. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-79 ISBN 90-365-2305-2

van de Meent, R. and Mandjes, M.R.H. and Pras, A. (2006) Smart Dimensioning of IP Network Links. Technical Report TR-CTIT-06-69, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

van de Meent, R. and Mandjes, M.R.H. and Pras, A. (2006) Gaussian traffic everywhere? In: Proceedings of the 2006 IEEE International Conference on Communications, 10-14 Jun 2006, Istanbul, Turkey. pp. 573-578. IEEE Computer Society. ISBN 1-4244-0355-3

Meijerink, A. and Taniman, R.O. and van Etten, W.C. (2006) A coherence multiplexed optical RF feeder network. In: Proceedings of the URSI Benelux 2006, 12 May 2006, Eindhoven, Netherlands. pp. 15-15. ISBN not assigned

Nicola, V.F. and Zaburnenko, T.S. (2006) Efficient Importance Sampling Heuristics for the Simulation of Population Overflow in Feed-Forward Queueing Networks. In: Proceedings of the Sixth Rare-Event Simulation Workshop, RESIM2006, 8 - 10 October 2006, Bamberg, Germany. pp. 144-152. Otto-Friedrich University. ISBN not assigned

Nicola, V.F. and Zaburnenko, T.S. (2006) Efficient Simulation of Population Overflow in Parallel Queues. In: Proceedings of the 2006 Winter Simulation Conference, WSC'06, 3 - 6 December 2006, Monterey, California, USA. pp. 398-405. WSC. ISBN 1424405017

Nicola, V.F. and Zaburnenko, T.S. (2006) Efficient Heuristics for the Simulation of Buffer Overflow in Series and Parallel Queueing Networks. In: Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'2006), 11-13 October 2006, Pisa, Italy. 37. ACM International Conference Proceeding Series 180. ACM Press. ISBN 1-59593-504-5

Pavlou, G. and Pras, A. (2006) Network and service management. IEEE communications magazine, 44 (3). pp. 132-132. ISSN 0163-6804 *** ISI Impact 2,799 ***

Pavlou, G. and Pras, A. (2006) Editorial Network and service management. IEEE communications magazine, 44 (10). pp. 58-59. ISSN 0163-6804 *** ISI Impact 2,799 ***

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 Press. 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

Roijers, F. and van den Berg, J.L. and Fan, X. and Fleuren, M. (2006) A performance study on service integration in IEEE 802.11E wireless LANs. Computer Communications, 29 (13-14). pp. 2621-2633. ISSN 0140-3664 *** ISI Impact 0,884 ***

Taniman, R.O. and Sikkes, B. and van Bochove, A.C. and de Boer, P.T. (2006) Stable-matching-based subcarrier assignment method for multimode PON using a multicarrier variant of subcarrier multiplexing. In: 11th European Conference on Networks & Optical Communications, 10-13 July 2006, Berlin, Germany. pp. 442-449. Fraunhofer Institute for Telecommunications. ISBN 3-923613-40-7

Timmer, M. and de Boer, P.T. and Pras, A. (2006) How to Identify the Speed Limiting Factor of a TCP Flow. In: Fourth IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services, 3 April 2006, Vancouver, Canada. pp. 17-24. IEEE. ISBN 1-4244-0145-3

Zaburnenko, T.S. and Nicola, V.F. (2006) Efficient Heuristics for Simulating Population Overflow in Parallel Networks. In: The 2006 Russian-Scandinavian Symposium on Probability Theory and Applied Probability, 26-31 August 2006/, Petrozavodsk, Russia. pp. 86-93. ISBN not assigned

Zhang, J. and Monteiro, E. and Mendes, P. and Karagiannis, G. and Andres-Colas, J. (2006) InterDomain-QOSM: The NSIS QOS Model for Inter-domain Signaling to Enable End-to-End QoS Provisioning Over Heterogeneous Network Domains. IETF Internet draft draft-zhang-nsis-interdomain-qosm-03 Internet Engineering Task Force (IETF).

2005

Al-Shaer, E. and Pras, A. and Owezarski, P., ed. (2005) Proceedings of the 3rd IEEE/IFIP Workshop on End-to-End Monitoring Technques and Services. In: The 3rd IEEE/IFIP Workshop on End-to-End Monitoring Technques and Services, 15 May 2005, Nice, France. pp. 1-2. IEEE. ISBN 0-7803-9249-3

Clemm, A. and Festor, O. and Pras, A., ed. (2005) Proceedings of the 9th IFIP/IEEE International Symposium on Integrated Network Management. In: The 9th IFIP/IEEE International Symposium on Integrated Network Management, 16-18 May 2005, Nice, France. IEEE Communications Society. ISBN 0-7803-9087-1

Ait Yaiz, R. and Heijenk, G.J. (2005) Providing QoS in Bluetooth. Cluster Computing, 8 (2-3). 223- 231. ISSN 1386-7857 *** ISI Impact 0,591 ***

Bader, A. and Karagiannis, G. and Westberg, L. and Kappler, C. and Phelan, T. and Tschofenig, H. and Heijenk, G.J. (2005) QoS signaling across heterogeneous wired/wireless networks: resource management in diffserv using the NSIS protocol suite. In: Proceedings Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, QSine 2005, 22 - 24 Aug 2005, Orlando, Florida, USA. 51. IEEE Computer Society. ISBN 0-7695-2423-0

Bader, A. and Westberg, L. and Karagiannis, G. (2005) Using IP as Transport Technology in Third Generation and Beyond Radio Access Networks. In: Quality of Service - IWQoS 2005: 13th International Workshop (IWQoS 2005), 21-23 June 2005, Passau, Germany. pp. 372-374. Lecture Notes in Computer Science 3552. Springer. ISSN 0302-9743 ISBN 3-540-26294-6

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 (TCS), 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,806 ***

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

de Boer, P.T. (2005) Rare-event simulation of non-Markovian queueing networks using a state-dependent change of measure determined using cross-entropy. Annals of operations research, 134 (1). pp. 69-100. ISSN 0254-5330 *** ISI Impact 0,619 ***

de Boer, P.T. and Kroese, D.P. and Mannor, S. and Rubinstein, R.Y. (2005) A Tutorial on the Cross-Entropy Method. Annals of operations research, 134 (1). pp. 19-67. ISSN 0254-5330 *** ISI Impact 0,619 ***

Brandhorst, C.J. and Pras, A. (2005) DNS: A statistical analysis of name server traffic at local network-to-Internet connections. In: EUNICE 2005 - Proceedings of the 11th Open European Summer School and IFIP WG6.4/6.6/6.9 Workshop, Colmenarejo, Madrid, Spain. pp. 72-78. ISBN 84-89315-43-4

Cheung, S.K. and van den Berg, J.L. and Boucherie, R.J. (2005) Decomposing the queue length distribution of processor-sharing models into queue lengths of permanent customer queues. Performance Evaluation, 62 (1-4). pp. 100-116. ISSN 0166-5316 *** ISI Impact 1,524 ***

Clemm, A. and Festor, O. and Pras, A. (2005) Managing New Networked Worlds - A Report on IM 2005. Journal of Network and Systems Management, 13 (3). pp. 351-354. ISSN 1064-7570 *** ISI Impact 0,685 ***

Cloth, L. and Katoen, J.P. and Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: Int. Conf. on Dependable Systems and Networks, 28 June - 01 July, Yokohama, Japan. pp. 722-731. IEEE Computer Society. ISBN 0 7695 2282 3

Fu, X. and Schulzrinne, H. and Bader, A. and Hogrefe, D. and Kappler, C. and Karagiannis, G. and Tschofenig, H. and van den Bosch, S. (2005) NSIS: A New Extensible IP Signaling Protocol Suite. IEEE Communications Magazine, 43 (10). pp. 133-141. ISSN 0163-6804 *** ISI Impact 2,799 ***

Hancock, R. and Karagiannis, G. and Loughney, J. and van den Bosch, S. (2005) Next Steps in Signaling (NSIS): Framework. In: Proceedings of the 63rd IETF. Request for Comments (RFC 4080). Internet Engineering Task Force (IETF).

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

Heijenk, G.J. and Liu, F. (2005) Interference-based routing in multi-hop wireless infrastructures. In: Proceedings Wired/Wireless Internet Communications: Third International Conference, WWIC 2005, 11 - 13 May 2005, Xanthi, Greece. pp. 117-127. Lecture Notes in Computer Science 3510 / 2005. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-25899-X

Jehangir, A. and Heemstra de Groot, S.M. (2005) A secure and lightweight ad-hoc routing algorithm for personal networks. In: Proceesings of the Eigth International Symposium on Wireless Personal Multimedia Communications (WPMC'05), 18-22 Sep 2005, Aalborg, Denmark. Causal Productions. ISSN 0908-1224 ISBN 87-90834-79-8

Jeong, S. and Lee, S. and Karagiannis, G. and Lieshout, G. (2005) 3GPP QoS Model for Networks Using 3GPP QoS Classes. IETF Internet draft draft-jeong-nsis-3gpp-qosm-02 Internet Engineering Task Force (IETF).

Jones, V.M. and Karagiannis, G. and Heemstra de Groot, S.M. (2005) Ad hoc networking and ambient intelligence to support future disaster response. Technical Report TR-CTIT-05-70, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Jones, V.M. and Karagiannis, G. and Heemstra de Groot, S.M. (2005) Ad hoc networking and ambient intelligence to support future disaster response. In: Proceedings of the 5th Workshop on Applications and Services in Wireless Networks (ASWN05), 29 June - 1 July 2005, Paris, France. pp. 137-146. IEEE Communications Society. ISBN 2-9156-18-08-9

Kamilova, M. and Hesselman, C.E.W. and Widya, I.A. and Huizer, E. (2005) Adding Policy-based Control to Mobile Hosts Switching between Streaming Proxies. In: 6TH IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6-8 June 2005, Stockholm, Sweden. pp. 243-246. IEEE Computer Society Press. ISBN 0-7695-2265-3

Kamilova, M. and Hesselman, C.E.W. and Widya, I.A. and Huizer, E. (2005) Application-level Policies for Automatic Switching between Content Redistributors. In: 5th. Workshop on Applications and Services in Wireless Networks (ASWN2005), 29 June - 1 July 2005, Paris, France. pp. 245-254. Institut National des Télécommunications. ISBN 2-9156-18-08-9

Karagiannis, G. (2005) Method and system for inter-operability between mobile IP and RSVP during route optimization. Patent US6925075 (Assigned).

Karagiannis, G. and Rexhepi, V. (2005) Jitter reduction in Differentiated Services (Diffserv) networks. Patent US6973102 (Assigned).

Lo, A. and Heijenk, G.J. and Niemegeers, I.G.M.M. (2005) Performance evaluation of MPEG-4 video streaming over UMTS networks using an integrated tool environment. In: Proceedings 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2005, 24 - 28 July 2005, Philadelphia, PA, USA. pp. 676-682. The Society for Modeling & Simulation International (SCS). ISBN 1-56555-300-4

Lo, A. and Heijenk, G.J. and Niemegeers, I.G.M.M. (2005) Evaluation of MPEG-4 video streaming over UMTS/WCDMA dedicated channels. In: Proceedings First International Conference on Wireless Internet, WICON'05, 10 - 15 July 2005, Budapest, Hungary. pp. 182-189. IEEE Computer Society. ISBN 0-7695-2382-X

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

Pavlou, G. and Pras, A. (2005) Introducing the Series on Network and Service Management. IEEE Communications Magazine, 43 (10). pp. 60-60. ISSN 0163-6804 *** ISI Impact 2,799 ***

Párhonyi, R. (2005) Micro payment gateways. PhD thesis, University of Twente, Enschede, The Netherlands. CTIT Ph.D.-thesis series No. 05-72 ISBN 90-365-2239-0

Párhonyi, R. and Nieuwenhuis, L.J.M. and Pras, A. (2005) Second generation micropayment systems: lessons learned. In: Proceedings of the Fifth IFIP conference on e-Commerce, e-Business, and e-Government, I3E 2005, 26-28 Oct 2005, Poznan, Poland. pp. 345-359. Springer. ISBN 0-387-28753-1

Párhonyi, R. and Nieuwenhuis, L.J.M. and Pras, A. (2005) The rise and fall of micropayment systems. In: Handbuch E-Money, E-Payment & M-Payment. Springer Verlag, Heidelberg, Germany, pp. 343-361. ISBN 978-3-7908-1651-8

Párhonyi, R. and Quartel, D.A.C. and Pras, A. and Nieuwenhuis, L.J.M. (2005) An interconnection architecture for micropayment systems. In: Seventh International Conference on Electronic Commerce (ICEC 2005), Aug 2005, Xi'an, China. pp. 633-640. ISBN 1-59593-113-9

Pras, A. and van de Meent, R. and Mandjes, M.R.H. (2005) QoS in Hybrid Networks - An Operator's Perspective. In: Quality of Service - IWQoS 2005: 13th International Workshop (IWQoS 2005), 21-23 June 2005, Passau, Germany. pp. 388-391. Lecture Notes in Computer Science 3552. Springer Verlag. ISSN 0302-9743 ISBN 3-540-26294-6

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

Taniman, R.O. and van Bochove, A.C. (2005) Duplexing methods for PON systems using multimode fiber with multicarrier transmission. In: 10th Annual Symposium IEEE/LEOS Benelux, 1-2 Dec 2005, Mons, Belgium. pp. 149-152. Faculte Polytechnique de Mons. ISBN 2-9600226-4-5

van Wanrooij, W. and Pras, A. (2005) DNS Zones Revisited. In: EUNICE 2005 - Proceedings of the 11th Open European Summer School and IFIP WG6.4/6.6/6.9 Workshop, 6-8 July 2005, Colmenarejo, Madrid, Spain. pp. 84-92. ISBN 84-89315-43-4

van Wanrooij, W. and Pras, A. (2005) Data on Retention. In: Proceedings of the16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2005), 24-26 Oct 2005, Barcelona, Spain. pp. 60-71. Springer Verlag. ISSN 0302-9743 ISBN 3-540-29388-4

2004

Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed. (2004) Validation of Stochastic Systems. Lecture Notes in Computer Science 2925. Springer-Verlag. ISBN 3-540-22265-0

Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M., ed. (2004) Proceedings of the First Int. Conf. on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society Press, Los Alamitos. ISBN 0-7695-2185-1

Ait Yaiz, R. (2004) Intra-piconet scheduling in Bluetooth. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 04-62 ISBN 90-365-2049-5

Bader, A. and Westberg, L. and Karagiannis, G. (2004) RMD (Resource Management in Diffserv) QoS-NSLP model. IETF Internet draft draft-bader-rmd-qos-model-00 Internet Engineering Task Force (IETF).

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

de Boer, P.T. (2004) Rare-event simulation of non-Markovian queueing networks using a state-dependent change of measure determined using cross-entropy. In: The 5th International Workshop on Rare Event Simulation and Combinatorial Optimization (RESIM COP 2004), 7-8 September 2004, Budapest, Hungary.

de Boer, P.T. (2004) Analysis of state-independent IS measures for the two-node tandem queue (extended abstract). In: The 5th International Workshop on Rare Event Simulation and Combinatorial Optimization (RESIM COP 2004), 7-8 September 2004, Budapest, Hungary.

de Boer, P.T. and Kroese, D.P. and Rubinstein, R.Y. (2004) A Fast Cross-Entropy Method for Estimating Buffer Overflows in Queueing Networks. Management Science, 50 (7). pp. 883-895. ISSN 0025-1909 *** ISI Impact 2,354 ***

Drevers, T. and van de Meent, R. and Pras, A. (2004) Prototyping Web Services based Network Monitoring. In: Proceedings 10th Open European Summer School (EUNICE 2004) and IFIP WG 6.3 Workshop, 14-16 June, 2004, Tampere, Finland. pp. 135-142. ISBN 952-15-1187-7. ISBN 952-15-1187-7

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 1,524 ***

El Zarki, M. and Heijenk, G.J. and Lee, K.S. (2004) Wireless Internet. In: The Internet Encyclopedia. John Wiley & Sons, Hoboken, NJ, USA, pp. 831-849. ISBN 0-471-22201-1

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

Kamilova, M. and Hesselman, C.E.W. and Widya, I.A. and Huizer, E. (2004) A Policy-based System for Handoffs between Intermediary Content Providers in the Wireless Internet. In: The 13th IST Mobile and Wireless Communications Summit 2004, 27-30 June 2004, Lyon, France. 813- 818. CEA-LETI Pub..

Karagiannis, G. and Bader, A. and Pongracz, G. and Császár, A. and Takács, A. and Szabó, R. and Westberg, L. (2004) RMD - A lightweight application of NSIS. In: Networks 2004, 13-16 June 2004, Viena, Austria. pp. 211-216. 11th International Telecommunications Network Strategy and Planning Symposium, NETWORKS 2004. IEEE. ISBN 3-8007-2840-0

Lo, A. and Heijenk, G.J. and Niemegeers, I.G.M.M. (2004) The impact of UMTS/WCDMA channel round-trip time variations on TCP Vegas throughput. In: Proceedings 13th International Conference on Computer Communications and Networks, ICCCN 2004, 11 - 13 Oct 2004, Chicago, USA. 67- 72. IEEE Computer Society. ISSN 1095-2055 ISBN 0-7803-8814-3

Lo, A. and Heijenk, G.J. and Niemegeers, I.G.M.M. (2004) On the performance of TCP Vegas over UMTS/WCDMA channels with large round-trip time variations. In: Proceedings IFIP TC6 9th International Conference on Personal Wireless Communications, PWC 2004, 21 - 23 Sep 2004, Delft, The Netherlands. 330- 342. Lecture Notes in Computer Science 3260. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-23162-5

van de Meent, R. and Pras, A. (2004) Assessing Unknown Network Traffic. Technical Report TR-CTIT-04-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Oosthoek, S. and Jacobsson, M. and Karagiannis, G. (2004) Maintenance of sliding window aggregated state using combination of soft state and explicit release principles. Patent US6687655 (Assigned).

Párhonyi, R. and Pras, A. and Quartel, D.A.C. (2004) Collaborative Micropayment Systems. In: The 19th World Telecommunications Congress (WTC/ISS 2004), Sept 2004, Seoul, Korea. ISBN 89-950043-2-0

Pras, A. and Drevers, T. and van de Meent, R. and Quartel, D.A.C. (2004) Comparing the Performance of SNMP and Web Services-Based Management. IEEE Transactions on Network and Service Management, 1 (2). pp. 72-82. ISSN 1932-4537

Pras, A. and Schönwälder, J. and Festor, O. (2004) Guest editorial - XML-based management of networks and services. IEEE Communications Magazine, 42 (7). pp. 56-57. ISSN 0163-6804 *** ISI Impact 2,799 ***

Remke, A.K.I. (2004) Model checking Quasi Birth Death processes. Master's thesis, RWTH Aachen, Univ. of Twente.

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

Ait Yaiz, R. and Heijenk, G.J. (2003) Providing delay guarantees in Bluetooth. In: Proceedings 23rd International Conference on Distributed Computing Systems Workshops, ICDCSW 2003, 19-22 May 2003, Providence, Rhode Island, USA. 722- 728. IEEE Computer Society. ISBN 0-7695-1921-0

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

de Bruin, I. and Heijenk, G.J. and El Zarki, M. and Zan, J.L. (2003) Fair channel-dependent scheduling in CDMA systems. In: Proceedings IST Mobile & Wireless Communications Summit 2003, 15 - 18 Jun 2003, Aveiro, Portugal. 737- 741. ISBN 972-98368-1-7

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 1,524 ***

Lo, A. and Heijenk, G.J. and Bruma, C. (2003) Performance of TCP over UMTS common and dedicated channels. In: Proceedings IST Mobile & Wireless Communications Summit 2003, 15 - 18 Jun 2003, Aveiro, Portugal. pp. 138-142. ISBN 972-98368-1-7

Salvador, M.R. (2003) MAC protocols for optical packet-switched WDM rings. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 03-47 ISBN 9036518628

Westberg, L. and Jacobsson, M. and de Kogel, M. and Oosthoek, S. and Partain, D. and Rexhepi, V. and Wallentin, P. and Karagiannis, G. (2003) Resource Management in Diffserv On DemAnd (RODA) PHR. IETF Internet draft draft-westberg-rmd-od-phr-04 Internet Engineering Task Force (IETF).

Westberg, L. and Jacobsson, M. and Oosthoek, S. and Partain, D. and Rexhepi, V. and Szabó, R. and Wallentin, P. and Karagiannis, G. (2003) Resource Management in Diffserv (RMD) Framework. IETF Internet draft draft-westberg-rmd-framework-04 Internet Engineering Task Force (IETF).

Zan, J.L. and Heijenk, G.J. and El Zarki, M. (2003) Fair & power-efficient channel-dependent scheduling for CDMA packet networks. In: Proceedings of the International Conference on Wireless Networks, ICWN 2003, 23 - 26 Jun 2003, Las Vegas, USA. pp. 315-321. ISBN 1-932415-03-3

Zan, J.L. and Heijenk, G.J. and El Zarki, M. (2003) A real-time traffic scheduling algorithm in CDMA packet networks. In: Proceedings 14th IEEE 2003 International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2003, 7 - 10 Sep 2003, Beijing, China. pp. 2397-2401. IEEE Computer Society. ISBN 0-7803-7822-9

2002

Ait Yaiz, R. and Heijenk, G.J. (2002) Polling best effort traffic in Bluetooth. Wireless Personal Communications, 23 (1). pp. 195-206. ISSN 0929-6212 *** ISI Impact 0,331 ***

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. 338-352. 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.

El Allali, H. and Heijenk, G.J. (2002) Traffic characterization for a UMTS radio access network. In: Proceedings of the 2002 4th International Workshop on Mobile and Wireless Communications Network, MWCN 2002, 9 - 11 Sep 2002, Stockholm, Sweden. pp. 497-501. IEEE Computer Society. ISBN 0-7803-7605-6

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 Press. ISBN 0-7695-1597-5

Heijenk, G.J. and Ait Yaiz, R. (2002) Predictive fair polling mechanism in a wireless access scheme. Patent WO 02/33986 (Pending).

Karagiannis, G. (2002) Scalability and Congestion Control in Broadband Intelligent and Mobile Networks. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 02-xx ISBN 9036517389

Salvador, M.R. and Heemstra de Groot, S.M. and Dey, D. (2002) Supporting PIM-SM in All-Optical Lambda-Switched Networks. Technical Report TR-CTIT-02-13, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Westberg, L. and Eriksson, A. and Karagiannis, G. and Heijenk, G.J. and Rexhepi, V. and Partain, D. (2002) Dynamic QoS management in Differentiated Services using bandwidth brokers, RSVP aggregation and load control protocols. Patent WO 02/11461 (Pending).

Westberg, L. and Heijenk, G.J. and Karagiannis, G. and Oosthoek, S. and Partain, D. and Rexhepi, V. and Szabó, R. and Wallentin, P. and El Allali, H. (2002) Resource management in Diffserv measurement-based admission control PHR. Internet Draft draft-westberg-rmd-mbac-phr-00 Internet Engineering Task Force.

van der Zee, M. and Heijenk, G.J. (2002) Method and system for transmitting data. Patent WO 02/28057 (Pending).

2001

Haverkort, B.R.H.M. and Harper, R., ed. (2001) Performance and Dependability Modelling Techniques and Tools. Performance Evaluation, 44 (1-4). pp. 1-4.

Ait Yaiz, R. and Heijenk, G.J. (2001) Polling best effort traffic in Bluetooth. In: Proceedings Fourth International Symposium on Wireless Personal Multimedia Communications, WPMC'01, 9 - 12 Sep 2001, Aalborg, Denmark. pp. 1381-1386. Center for Personkommunikation. ISBN 87-988568-0-4

Ait Yaiz, R. and Heijenk, G.J. (2001) Polling in Bluetooth: a simplified best effort case. In: Proceedings 7th annual CTIT Workshop - Mobile Communications in Perspective, 8 Feb 2001, Enschede, The Netherlands. pp. 91-96. Centre for Telematics and Information Technology, University of Twente. ISBN 90-3651-546-7

de Boer, P.T. and Nicola, V.F. and van Ommeren, J.C.W. (2001) The Remaining Service Time Upon Reaching a High Level in M/G/1 Queues. Queueing Systems, 39 (1). pp. 55-78. ISSN 0257-0130 *** ISI Impact 1,045 ***

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

El Allali, H. and Heijenk, G.J. (2001) Resource management in IP-based radio access networks. In: Proceedings 7th annual CTIT Workshop - Mobile Communications in Perspective, 8 Feb 2001, Enschede, The Netherlands. pp. 19-24. Centre for Telematics and Information Technology, University of Twente. ISBN 90-3651-546-7

Heijenk, G.J. and Karagiannis, G. and Rexhepi, V. and Westberg, L. (2001) DiffServ resource management in IP-based radio access networks. In: Proceedings Fourth International Symposium on Wireless Personal Multimedia Communications, WPMC'01, 9 - 12 Sep 2001, Aalborg, Denmark. pp. 1469-1474. Center for Personkommunikation. ISBN 87-988568-0-4

van der Zee, M. and Heijenk, G.J. (2001) Quality of Service in Bluetooth networking - part I. Technical Report TR-CTIT-01-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2000

Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Smith, C.U., ed. (2000) Computer Performance Evaluation: Modelling Techniques and Tools. Lecture Notes in Computer Science 1786. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-67260-5

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

de Boer, P.T. (2000) Analysis and efficient simulation of queueing models of telecommunication systems. PhD thesis, University of Twente, Enschede, The Netherlands. CTIT Ph.D.-thesis series No. 00-30 ISBN 90-365-1505-X

de Boer, P.T. and Nicola, V.F. and Rubinstein, R.Y. (2000) Adaptive Importance Sampling Simulation of Queueing Networks. In: The 2000 Winter Simulation Conference (WSC'00), 10-13 December 2000, Orlando, Florida, USA. pp. 646-655. IEEE. ISBN 0-7803-6582-8

Dey, D. and Koonen, A.M.J. and Salvador, M.R. (2000) Network Architecture of a Packet-switched WDM. Technical Report TR-CTIT-00-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

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 Press. ISBN 0769505430

Karagiannis, G. and Heijenk, G.J. (2000) QoS in GPRS. Technical Report TR-CTIT-00-29, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Karagiannis, G. and Heijenk, G.J. (2000) Mobility support for ubiquitous Internet. Technical Report TR-CTIT-00-28, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Karagiannis, G. and Rexhepi, V. and Heijenk, G.J. (2000) A framework for QoS & mobility in the Internet next generation. Technical Report TR-CTIT-00-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Niemegeers, I.G.M.M. and Salvador, M.R. and Heemstra de Groot, S.M. and Dey, D. (2000) A Receiver-initiated WDM Multicast TreeConstruction Protocol to Support IP Dense Mode Multicast Routing inAll-Optical Lambda-Switched Networks. Technical Report TR-CTIT-00-22, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Rexhepi, V. and Heijenk, G.J. (2000) Interoperability of Integrated Services and Differentiated Services architectures. Technical Report TR-CTIT-00-30, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Rexhepi, V. and Karagiannis, G. and Heijenk, G.J. (2000) A framework for QoS & mobility in the Internet next generation. In: Proceedings 6th Open European Summerschool, Eunice 2000, 13 - 15 Sep 2000, Enschede, The Netherlands. pp. 77-84. University of Twente. ISBN 90-3651-498-3

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 1,524 ***

1999

de Boer, P.T. and Nicola, V.F. and Srinivasan, R. (1999) On the Estimation of Rare Event Probabilities Involving IID Sums. In: The Second International Workshop on Rare Event Simulation (RESIM'99), 11-12 March 1999, Enschede, The Netherlands. pp. 133-138.

Garvels, M.J.J. and Kroese, D.P. (1999) On the entrance distribution in RESTART simulation. Technical Report TR-CTIT-99-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Heijenk, G.J. (1999) Mobile IP. In: Proceedings 5th Open European Summerschool, Eunice 1999, 1 - 3 Sep 1999, Barcelona, Spain. 207. Universitat Politecnica de Catalunya. ISBN 84-7653-717-4

Karagiannis, G. and Heijenk, G.J. (1999) Mobile IP: state of the art report. Technical Report TR-CTIT-99-21, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Salvador, M.R. and Heemstra de Groot, S.M. and Niemegeers, I.G.M.M. (1999) Protocol and networking design issues for local access WDM networks. Technical Report TR-CTIT-99-05, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

van der Zee, M. and Ait Yaiz, R. and Heijenk, G.J. (1999) Quality of Service over Specific Link Layers: state of the art report. Technical Report TR-CTIT-99-22, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

van der Zee, M. and Heijenk, G.J. (1999) Quality of Service routing: state of the art report. Technical Report TR-CTIT-99-20, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

1998

de Boer, P.T. and Nicola, V.F. and van Ommeren, J.C.W. (1998) The remaining service time upon reaching a high level in M/G/1 queues. Technical Report TR-CTIT-98-12, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Garvels, M.J.J. and Kroese, D.P. (1998)
A comparison of RESTART implementations. Memorandum 1443, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Garvels, M.J.J. and Kroese, D.P. (1998) A comparison of RESTART implementations. Technical Report TR-CTIT-98-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

1997

de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Probability. Technical Report TR-CTIT-97-36, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Pobability. Technical Report TR-CTIT-97-27, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Kroese, D.P. and Nicola, V.F. (1997) Efficient Simulation of Backlogs in Fluid Flow Lines. Technical Report TR-CTIT-97-28, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

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

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 1,524 ***

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

Heijenk, G.J. (1995) Connectionless communications using the Asynchronous Transfer Mode. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 95-03 ISBN 90-365-0733-2

Heijenk, G.J. (1995) Simulation of a connectionless server for B-ISDN. Memoranda Informatica 95-06, University of Twente, Enschede, Netherlands. ISSN 0924-3755

Heijenk, G.J. and Niemegeers, I.G.M.M. (1995) Modelling the reassembly buffer in a connectionless server. In: Performance Modelling and Evaluation of ATM Networks. Chapman & Hall, London, pp. 573-595. ISBN 0-412-71140-0

Pras, A. (1995) Network Management Architectures. PhD thesis, University of Twente, Enschede, The Netherlands. CTIT Ph.D.-thesis series No. 95-02 ISBN 90-365-0728-6

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 3,068 ***

Heijenk, G.J. and El Zarki, M. and Niemegeers, I.G.M.M. (1994) Modelling segmentation and reassembly processes in communication networks. In: Proceedings of the 14th Internetional Teletraffic Congres, ITC 14, 6 - 10 Jun 1994, Antibes Juan-les-Pins, France. pp. 513-524. Teletraffic Science and Engineering 1a. Elsevier. ISBN 0-444-82031-0

Heijenk, G.J. and Hou, X. and Niemegeers, I.G.M.M. (1994) Communication systems supporting multimedia multi-user applications. IEEE Network, 8 (1). pp. 34-44. ISSN 0890-8044 *** ISI Impact 3,068 ***

Heijenk, G.J. and Niemegeers, I.G.M.M. (1994) Modelling the reassembly buffer in a connectionless server: extended version. Memoranda Informatica 94-43, University of Twente, Enschede, Netherlands. ISSN 0924-3755

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 1,524 ***

Heijenk, G.J. and El Zarki, M. and Niemegeers, I.G.M.M. (1993) Customer creation and combination in queueing networks. Memoranda Informatica 93-35, University of Twente, Enschede, Netherlands. ISSN 0924-3755

Heijenk, G.J. and Jordense, M.A. and Niemegeers, I.G.M.M. (1993) Description of a multi-media multi-user service. In: Proceedings of the Second International Conference on Computer Communications and Networks, IC3N, 28 - 30 Jun 1993, San Diego, CA, USA. pp. 213-220. International Society for Computers & Their Applications. ISBN 1-880843-05-6

Niemegeers, I.G.M.M. and Heijenk, G.J. and Hou, X. (1993) Signalling and control in B ISDN. In: Proceedings of the 4th International Conference on Advances in Communication and Control, COMCON 4, 14 - 18 Jun 1993, Rhodes, Greece. pp. 745-757. Optimization Software Inc. ISBN 0-911575-42-1

1992

Heijenk, G.J. and van Moorsel, A.P.A. and Niemegeers, I.G.M.M. (1992) Performance of a connectionless protocol over ATM. In: Proceedings of the International Workshop on Advanced Communications and Applications for High Speed Networks, IWACA '92, 16 - 19 Mar 1992, Munich, Germany. pp. 123-130. Siemens. ISBN not assigned

Heijenk, G.J. and Niemegeers, I.G.M.M. (1992) Variable bandwidth connections for a connectionless service on ATM: performance modelling and evaluation. In: Proceedings of the IFIP TC6 Workshop on Broadband Communications, 20 - 22 Jan 1992, Estoril, Portugal. pp. 361-372. IFIP Transactions C-4. Elsevier. ISSN 0926-549X ISBN 0-444-89464-0

Niemegeers, I.G.M.M. and Heijenk, G.J. (1992) The evolution of signalling from ISDN to B-ISDN. In: Proceedings of Americas Telecom 92, Technical Symposium, 6 - 11 Apr 1992, Acapulco, Mexico. pp. 19-24.

1990

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

Heijenk, G.J. (1990) Signalling in the B-ISDN: a survey of the state-of-the-art. Memoranda Informatica 90-35, University of Twente, Enschede, Netherlands. ISSN 0923-1714