Research Output 1989 2019

2008
53 Downloads (Pure)

A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks

Remke, A. K. I. & Haverkort, B. R. H. M., 15 Sep 2008, The 6th International Conference on Formal Modelling and Analysis of Timed Systems. Berlin: Springer, p. 188-202 15 p. 10.1007/978-3-540-85778-5_14. (Lecture Notes in Computer Science; no. 302).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
11532 Downloads (Pure)

Battery Modeling

Jongerden, M. R. & Haverkort, B. R. H. M., 9 Jan 2008, Enschede: Design and Analysis of Communication Systems (DACS). 18 p. (CTIT Technical Report Series; no. TR-CTIT-08-01)

Research output: Book/ReportReportProfessional

File
4 Citations (Scopus)
7 Downloads (Pure)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks

Remke, A., Haverkort, B. R., Heijenk, G. & Cloth, L., 4 Jun 2008, Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings. Al-Begain, K., Heindl, A. & Telek, M. (eds.). Berlin- Heidelberg: Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 5055).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Ad hoc networks
Quality of service
Local area networks
Throughput
Bandwidth
7 Citations (Scopus)
22 Downloads (Pure)

Changes in the Web from 2000 to 2007

Sadre, R. & Haverkort, B. R. H. M., Sep 2008, Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. London: Springer, p. 136-148 13 p. 10.1007/978-3-540-87353-2_11. (Lecture Notes in Computer Science; vol. 5273, no. WP 08-02).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
World Wide Web
Servers
2 Citations (Scopus)
14 Downloads (Pure)

Characterization of IP Flows Eligible for Lambda-Connections in Optical Networks

Fioreze, T., Oude Wolbers, M., van de Meent, R. & Pras, A., 2008, Proceedings of the 11th IEEE/IFIP Network Operations & Management Symposium (NOMS 2008). Piscataway, NJ: IEEE Computer Society Press, p. 256-262 7 p. (IEEE/IFIP Network Operations & Management Symposium ).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fiber optic networks
Data communication systems
Labels
Quality of service
Throughput
9 Citations (Scopus)
47 Downloads (Pure)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Blom, S., Haverkort, B. R. H. M., Kuntz, G. W. M. & van de Pol, J. C., 3 Dec 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation. Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 35-50 16 p. 10.1016/j.entcs.2008.11.012. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
6 Downloads (Pure)

Dynamic connectivity analysis of ABF-based ad-hoc networks

Liu, F. & Heijenk, G., 2008, Proceedings of the 1st IFIP Wireless and Mobile Networking Conference. Berlin: Springer, p. 407-420 14 p. 10.1007/978-0-387-84839-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
61 Downloads (Pure)

Efficient heuristics for simulating rare events in queuing networks

Zaburnenko, T. S., 25 Jan 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 172 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
9 Downloads (Pure)

Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks

Zaburnenko, T. S., de Boer, P-T. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the seventh International Workshop on Rare Event Simulation, RESIM2008. Rennes, France: INRIA, p. 165-168 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
1 Citation (Scopus)
53 Downloads (Pure)

Fast RTP Retransmission for IPTV - Implementation and Evaluation

Prins, M. J., Prins, M. J., Brunner, M., Karagiannis, G., Lundqvist, H. & Nunzi, G., 2 Dec 2008, IEEE Global Telecommunications Conference 2008, IEEE GLOBECOM 2008. IEEE Communications Society, p. 6 6 p. 10.1109/GLOCOM.2008.ECP.444

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
15 Downloads (Pure)

Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm

Sadre, R. & Haverkort, B. R., Feb 2008, 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS). Los Alamitos: IEEE Computer Society Press, p. 254-261 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
HTTP
Agglomeration
Communication systems
Servers
Sampling
11 Citations (Scopus)
64 Downloads (Pure)

Flow Level Performance Comparison of Packet Scheduling Schemes for UMTS EUL

Dimitrova, D. C., van den Berg, H. L., Heijenk, G. & Litjens, R., 2008, Proceedings of the 6th International Conference on Wired/Wireless Internet Communications. Berlin Heidelberg: Springer, p. 27-40 16 p. 10.1007/978-3-540-68807-5_3. (Lecture Notes in Computer Science; vol. LNCS 5031).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
43 Downloads (Pure)

Formal analysis techniques for gossiping protocols

Bakhshi, R., Bonnet, F., Fokkink, W. & Haverkort, B. R. H. M., 2008, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. p. 34-46

Research output: Contribution to journalArticleAcademic

File
22 Downloads (Pure)

Formal Dependability Engineering with MIOA

Kuntz, G. W. M. & Haverkort, B. R. H. M., 4 Jun 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. 274/TR-CTIT-08-39)

Research output: Book/ReportReportProfessional

File
1 Citation (Scopus)
55 Downloads (Pure)

Impact of inter-cell interference on flow level performance of scheduling schemes for the UMTS EUL

Dimitrova, D. C., Heijenk, G., van den Berg, H. L. & Litjens, R., 2008, Proceedings of the 4thIEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2008. Piscataway: IEEE, p. 106-112 7 p. 10.1109/WiMob.2008.107

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
35 Downloads (Pure)

Mean-field analysis for the evaluation of gossip protocols

Bakhshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Dec 2008, In : SIGMETRICS performance evaluation review. 36, WP 08-02/3, p. 32-39 8 p., 10.1145/1481506.1481513.

Research output: Contribution to journalArticleAcademicpeer-review

File
6 Downloads (Pure)

Message from the IWQoS 2008 chairs!

Karlsson, G., Karagiannis, G. & Haverkort, B. R. H. M., Jun 2008, 2008 16th International Workshop on Quality of Service: Enschede, The Netherlands, 2-4 June 2008. van den Berg, H. L. & Karlsson, G. (eds.). New York: IEEE, p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
49 Downloads (Pure)

Model Checking Structured Infinite Markov Chains

Remke, A. K. I., 20 Jun 2008, Zutphen: Woermann Printing Service. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Performance and Dependability Evaluation: Successes, Failures and Challenges

Haverkort, B. R. H. M., 24 Sep 2008, EPEW. London: Springer, p. 1-1 1 p. 10.1007/978-3-540-87412-6_1. (Lecture Notes in Computer Science; vol. 5261, no. 412).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

5 Downloads (Pure)

Preface

Cerná, I. & Haverkort, B. R. H. M., 4 Mar 2008, 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007. Amsterdam: Elsevier, p. 1-2 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
20 Downloads (Pure)

Providing over-the-horizon awareness to driver support systems

van Eenennaam, M. & Heijenk, G., 3 Jun 2008, The Fourth International Workshop on Vehicle-to-Vehicle Communications, V2VCOM 2008. Enschede: University of Twente, p. 19-25 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
63 Downloads (Pure)

Quality of service modeling and analysis for carrier ethernet

Malhotra, R., 31 Oct 2008, 157 p.

Research output: ThesisPhD Thesis - Research external, graduation UTAcademic

File
20 Downloads (Pure)

Reachability in continuous-time Markov reward decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Graedel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
21 Downloads (Pure)

Reducing handover latency in future IP-based wireless networks: Fast Proxy Mobile IPv6

Heijenk, G., Bargh, M. S., Laganier, J. & Prasad, A. R., 30 May 2008, Second ERCIM workshop on eMobility. Tampere, Finland: Tampere University of Technology, p. 79-92 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
107 Downloads (Pure)

Reducing handover latency in future IP-based wireless networks: Proxy Mobile IPv6 with simultaneous bindings

Bargh, M. S., Hulsebosch, B., Eertink, E. H., Heijenk, G., Idserda, J., Laganier, J., Prasad, A. R. & Zugenmaier, A., 2008, 9th International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). Piscataway: IEEE, p. - 10 p. 10.1109/WOWMOM.2008.4594849

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Routers
Wireless networks
Packet loss
Communication systems
Network protocols
22 Downloads (Pure)

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the second workshop on foundations of interface theories (FIT). Aalborg, Denmark: University of Aalborg, p. 5-10 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File

Second ERCIM workshop on eMobility

Braun, T. (ed.), Heijenk, G. (ed.), Konstantas, D. (ed.) & Wulff, M. (ed.), 30 May 2008, Tampere, Finland: Tampere University of Technology. 115 p.

Research output: Book/ReportBook editingAcademic

23 Downloads (Pure)

Series editorial: Topics in network and service management

Pavlou, G. & Pras, A., May 2008, In : IEEE communications magazine. 46, WP 08-02/5, p. 136-137 2 p., 10.1109/MCOM.2008.4511661.

Research output: Contribution to journalArticleAcademic

File
1 Citation (Scopus)

Severe congestion handling approaches in NSIS RMD domains with bi-directional reservations

Dimitrova, D. C., Karagiannis, G. & de Boer, P-T., 5 Sep 2008, In : Computer communications. 13, WoTUG-31/14, p. 3153-3162 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
9 Downloads (Pure)

SNMP Trace Analysis Definitions

van den Broek, G., Schoenwaelder, J., Pras, A. & Harvan, M., Jul 2008, Resilient Networks and Services. London: Springer, p. 134-147 14 p. 10.1007/978-3-540-70587-1. (Lecture Notes in Computer Science; vol. 5127).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
25 Downloads (Pure)

Supporting end-to-end resource virtualization for Web 2.0 applications using Service Oriented Architecture

Papagianni, C., Karagiannis, G., Tselikas, N. D., Sfakianakis, E., Chochliouros, I. P., Kabilafkas, D., Cinkler, T., Westberg, L., Sjödin, P., Hidell, M., Heemstra de Groot, S. M., Kontos, T., Katsigiannis, C., Pappas, C., Antonakopoulou, A. & Venieris, I. S., 30 Nov 2008, Proceedings of 2nd IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2008. IEEE Communications Society, p. 7 7 p. 10.1109/GLOCOMW.2008.ECP.30

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
16 Downloads (Pure)

Telecommunication economics - summary on the dagstuhl perspectives seminar no. 08043

Hammainen, H., Chen, H., Pras, A., Huitema, G., Waldburger, M., Hausheer, D., Antoniadis, P., Reichl, P., Kubasik, J. & Stiller, B., 2008, Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik. 8 p.

Research output: Book/ReportReportProfessional

File
2 Citations (Scopus)
43 Downloads (Pure)

The performability tool P'ility

Cloth, L. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008. Los Alamitos: IEEE Computer Society, p. 117-118 2 p. 10.1109/QEST.2008.27

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Citations (Scopus)
13 Downloads (Pure)

Throughputs in processor sharing models for integrated stream and elastic traffic

Litjens, R., van den Berg, H. L. & Boucherie, R. J., Feb 2008, In : Performance evaluation. 65, 2, p. 152-180 29 p., 10.1016/j.peva.2007.05.002.

Research output: Contribution to journalArticleAcademicpeer-review

File
1 Citation (Scopus)
47 Downloads (Pure)

Topics in Network and Service Management

Pavlou, G. & Pras, A., Oct 2008, In : IEEE communications magazine. 46, WP 08-02/10, p. 138-139 2 p., 10.1109/MCOM.2008.4644131.

Research output: Contribution to journalArticleAcademic

File
241 Downloads (Pure)

Which battery model to use?

Jongerden, M. R. & Haverkort, B. R. H. M., 3 Jul 2008, 24th UK Performance Engineering Workshop: 3–4 July 2008. Argent-Katwala, A., Dingle, N. J. & Harder, U. (eds.). Imperial College London, p. 76-88 13 p. (Department of Computing Technical Reports; vol. 2008, no. 9).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Analytical models
Laptop computers
Stochastic models
Navigation systems
Mobile devices

Wired / Wireless Internet Communications: 6th International Conference, WWIC 2008, Tampere, Finland, May 2008, Proceedings

Harju, J. (ed.), Heijenk, G. (ed.), Langendörfer, P. (ed.) & Siris, V. A. (ed.), 2008, Berlin / Heidelberg: Springer. 225 p. (Lecture Notes in Computer Science; vol. 5031)

Research output: Book/ReportBook editingAcademic

2007
3 Citations (Scopus)
94 Downloads (Pure)

AAA architectures applied in multi-domain IMS (IP multimedia subsystem)

Ooms, W. S., Karagiannis, G., van Deventer, M. O. & Veldhuizen, J., 26 Nov 2007, Proceedings of 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007. Devetsikiotis, M. & Michailidis, G. (eds.). USA: IEEE Communications Society, p. 6 6 p. 10.1109/GLOCOMW.2007.4437781

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
67 Downloads (Pure)

A centralized feedback control model for resource management in wireless networks

Yang, Y., Haverkort, B. R. & Heijenk, G. J., 20 Sep 2007, Proceedings of the The Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L., Hiltunen, M. & van Moorsel, A. (eds.). Enschede, p. 10-16 7 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Feedback control
Wireless networks
Wireless local area networks (WLAN)
Control theory
Resource allocation
23 Downloads (Pure)

Advances in emergency networking

de Graaf, M., van den Berg, H. L., Boucherie, R. J., Elfrink, H., Heemstra de Groot, S. M., de Haan, R., te Marvelde, A., van Ommeren, J. C. W., Roijers, F., Stemerdink, J. & Tromp, E., 2007, p. 1-6. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
2 Citations (Scopus)
81 Downloads (Pure)

A Fixed-Point Algorithm for Closed Queueing Networks

Sadre, R., Haverkort, B. R. H. M. & Reinelt, P., 2007, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007. Wolter, K. (ed.). Springer, p. 154-170 17 p. 10.1007/978-3-540-75211-0_12. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
38 Downloads (Pure)

Alternative proof and interpretations for a recent state-dependent importance sampling scheme

de Boer, P-T. & Scheinhardt, W. R. W., 2007, In : Queueing systems. 57, 67310A/2-3, p. 61-69 9 p., 10.1007/s11134-007-9049-2.

Research output: Contribution to journalArticleAcademicpeer-review

File
6 Citations (Scopus)
18 Downloads (Pure)

Alternative proof with interpretations for a recent state-dependent importance sampling scheme

de Boer, P-T. & Scheinhardt, W. R. W., Mar 2007, Enschede: Design and Analysis of Communication Systems (DACS). 15 p. (Memorandum / Department of Applied Mathematics; no. 2/1828)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)

Analysis of congestion periods of an m/m/∞-queue

Roijers, F., Mandjes, M. R. H. & van den Berg, H. L., 2007, In : Performance evaluation. 64, 7-8, p. 737-754

Research output: Contribution to journalArticleAcademic

17 Citations (Scopus)
1238 Downloads (Pure)

Analysis of Techniques for Protection Against Spam over Internet Telephony

Quinten, V. M. & van de Meent, R., 18 Aug 2007, Proceedings of the 13th Open European Summer School and IFIP TC6.6 Workshop on Dependable and Adaptable Networks and Services. Pras, A., Pras, A., van Sinderen, M. J. & van Sinderen, M. J. (eds.). Berlin / Heidelberg: Springer, p. 70-77 8 p. 10.1007/978-3-540-73530-4_9. (Lecture Notes in Computer Science; vol. 4606, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
46 Downloads (Pure)

An Architecture for the Self-management of Lambda-Connections in Hybrid Networks

Fioreze, T., van de Meent, R. & Pras, A., May 2007, 13th EUNICE Open European Summer School and IFIP TC6.6 Workshop on Dependable and Adaptable Networks and Services. Germany: Springer, p. 141-148 8 p. 10.1007/978-3-540-73530-4_17. (Lecture Notes in Computer Science; vol. 4606, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
14 Downloads (Pure)

Application of feasible vertex labeling for dynamic capacity allocation of a multicarrier multimode PON

Taniman, R. O., van Bochove, A. C., de Boer, P-T. & Sikkes, B., Jun 2007, Proceedings of the Twelfth European Conference on Networks and Optical Communications. Acreo AB, p. 407-414 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
8 Downloads (Pure)

A Survey of the High-Speed Self-Learning Intrusion Detection Research Area

Sperotto, A. & van de Meent, R., Jun 2007, First International Conference on Autonomous Infrastructure, Management and Security. Bandara, A. K. & Burgess, M. (eds.). Heidelberg: Springer, p. 196-199 4 p. (Lecture Notes in Computer Science; vol. 4543, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
16 Downloads (Pure)

Best of Three Worlds: Towards Sound Architectural Dependability Models

Boudali, H., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Sep 2007, 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Enschede: Centre for Telematics and Information Technology (CTIT), p. 45-49 5 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Reliability analysis
Availability
Acoustic waves
13 Downloads (Pure)

Bitloading with reduced computational complexity order for a multicarrier multimode PON

Taniman, R. O., van Bochove, A. C. & de Boer, P-T., Dec 2007, 12th Annual Symposium IEEE/LEOS Benelux. Université Libre de Bruxelles, p. 171-174 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File