Research Output 1989 2019

2004
35 Downloads (Pure)

Mobile internet traffic measurement and modeling based on data from commercial GPRS networks

Kalden, R. A., 2004, Enschede: Druck und Verlaghaus Mainz GmbH Aachen. 200 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
19 Citations (Scopus)

Model checking action- and state-labelled Markov chains

Cloth, L., Baier, C., Kuntz, M., Siegle, M. & Haverkort, B. R. H. M., 28 Jun 2004, Proceedings of the 2004 International Conference on Dependable Systems and Networks. Florence, Italy: IEEE Computer Society Press, p. 701-710 10 p.

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

248 Downloads (Pure)

Model Checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Dec 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT technical report series; no. TR-CTIT-04-49)

Research output: Book/ReportReportOther research output

File

Next Steps in Signalling: Framework

Karagiannis, G., Hancock, R., Loughney, J. & van den Bosch, S., 1 Aug 2004, Internet Draft Next Steps in Signalling. San Diego (CA), U.S.A.: Internet Engineering Task Force (IETF), p. 1-53 53 p.

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

NSLP for Quality-of-Service signalling

Karagiannis, G., van den Bosch, S. & McDonald, A., 1 Aug 2004, Internet Draft Next Steps in Signalling. San Diego (CA), U.S.A.: Internet Engineering Task Force (IETF), p. 1-70 70 p.

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

Open Access
2 Citations (Scopus)
6 Downloads (Pure)

On the performance of TCP Vegas over UMTS/WCDMA channels with large round-trip time variations

Lo, A. & Heijenk, G., 2004, Proceedings IFIP TC6 9th International Conference on Personal Wireless Communications, PWC 2004. Niemegeers, I. G. M. M., prof.dr.ir. Niemegeers, I. G. M. M., Heemstra de Groot, S. M. & Dr.ir. Heemstra de Groot, S. M. (eds.). Berlin: Springer, p. 330-342 13 p. 10.1007/b100819. (Lecture Notes in Computer Science; vol. 3260).

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

File

On the standardisation of Web service management operations

Sloten, J., Pras, A. & van Sinderen, M. J., 14 Jun 2004, Proceedings of the 10th Open European Summer School and IFIP WG6.3 Workshop. Harju, J., Moltchanov, D. & Silverajan, B. (eds.). Tampere: Tampere University of Technology, p. 143-150 8 p.

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

11 Downloads (Pure)

On the standardisation of Web service management operations

van Sloten, J., Harju, J. (ed.), Pras, A., Moltchanov, D. (ed.), van Sinderen, M. J. & Silverajan, B. (ed.), 2004, p. 143-150. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Personal Wireless Communications

Niemegeers, I. G. M. M. & Heemstra de Groot, S. M., 2004, Heidelberg: Springer. 478 p. (LNCS; no. 3260)

Research output: Book/ReportBook editingAcademic

7 Downloads (Pure)

Prototyping Web Services based Network Monitoring

Drevers, T., van de Meent, R. & Pras, A., Jun 2004, Proceedings 10th Open European Summer School (EUNICE 2004) and IFIP WG 6.3 Workshop. Harjo, J., Moltchanov, D. & Silverajan, B. (eds.). Tampere, Finland: Tampere University of Technology, p. 135-142 8 p.

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

File

QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings

Haverkort, B. R. H. M., Franceschinis, G., Katoen, J. P. & Woodside, M., 2004, Los Alamitos, CA, USA: IEEE Computer Society. 360 p.

Research output: Book/ReportBook editingAcademic

10 Downloads (Pure)
Open Access
File
entropy
simulation
mathematical analysis
method
sampling
14 Downloads (Pure)

RMD (Resource Management in Diffserv) QoS-NSLP model

Bader, A. (ed.), Westberg, L. & Karagiannis, G. (ed.), Feb 2004, Internet Engineering Task Force (IETF). 47 p.

Research output: Book/ReportReportOther research output

File
6 Citations (Scopus)
36 Downloads (Pure)

RMD - A lightweight application of NSIS

Karagiannis, G., Bader, A., Pongracz, G., Csaszar, A., Takacs, A., Szabo, R. & Westberg, L., Jun 2004, Networks 2004. Geiger, F. & Keindl, H. (eds.). Vienna, Austria: IEEE and VDE Verlag Gmbh, p. 211-216 6 p. (11th International Telecommunications Network Strategy and Planning Symposium, NETWORKS 2004; vol. 1, no. 1).

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

File

State-dependent importance sampling heuristic for simulating population overflow in tandem networks

Zaburnenko, T. S. & Nicola, V. F., 7 Sep 2004, RESIM COP 2004 Proceedings. Budapest, Hungary, p. 1-26 26 p.

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

1 Citation (Scopus)
22 Downloads (Pure)

The impact of UMTS/WCDMA channel round-trip time variations on TCP Vegas throughput

Lo, A., Heijenk, G. & Niemegeers, I. G. M. M., 2004, Proceedings 13th International Conference on Computer Communications and Networks, ICCCN 2004. Piscataway, NJ, USA: IEEE, p. 67-72 6 p. 10.1109/ICCCN.2004.1401590

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

File
15 Citations (Scopus)
65 Downloads (Pure)

The Pseudo-Self-Similar Traffic Model: Application and Validation

El Abdouni Khayari, R., Haverkort, B. R. H. M., Sadre, R. & Ost, A., 2004, In : Performance evaluation. 56, 1-4, p. 3-22 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
Traffic Model
Traffic Modeling
Network Traffic
Network Modeling
Self-similarity

Two complementary approaches for UMTS-WLAN Interworking

Slingerland, A. M. R., Vulic, N., Niemegeers, I. G. M. M. & Heemstra de Groot, S. M., 12 Sep 2004, Proceedings on Wireless Personal Multimedia Conference 2004. Albano, Italy, p. -

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

Validation of stochastic systems

Baier, C., Haverkort, B. R. H. M., Hermanns, H., Katoen, J. P. & Siegle, M., 2004, Berlin: Springer. 467 p. (Lecture notes in computer science; no. 2925)

Research output: Book/ReportBook editingAcademic

Verborgen verbonden

Haverkort, B. R. H. M., 10 Jun 2004, Enschede, The Netherlands: Twente University Press (TUP). 38 p.

Research output: Book/ReportInaugural speechOther research output

12 Downloads (Pure)

Versatile Markovian models for networks with asymmetric TCP sources

van Foreest, N. D., Haverkort, B. R. H. M., Mandjes, M. R. H. & Scheinhardt, W. R. W., 2004, Enschede: University of Twente, Department of Applied Mathematics. 28 p. (Memorandum Faculty of Mathematical Sciences; no. 1734)

Research output: Book/ReportReportProfessional

File

Wireless Internet

el Zarki, M., Heijenk, G. & Lee, K. S., Jan 2004, The Internet Encyclopedia. Bidgoli, H. (ed.). Hoboken, NJ, USA: Wiley, p. 831-849 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Internet
Local area networks
Network protocols
2003
12 Downloads (Pure)

A Class-Based Least-Recently-Used Caching Algorithm for WWW Proxies Proceedings

Khayari el Abdouni, R., Sadre, R. & Haverkort, B. R. H. M., 2 Sep 2003, 13th Intl. Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Kemper, P. & Sanders, W. H. (eds.). Illinois, USA, p. 273-290 18 p. (Lecture Notes in Computer Science 2794; vol. 2794).

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

File
6 Downloads (Pure)

An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Oct 2003, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTI)

Research output: Book/ReportReportOther research output

File
28 Downloads (Pure)

An integrated packet/flow model for TCP performance analysis

Lassila, P., van den Berg, H. L., Mandjes, M. R. H. & Kooij, R., 2003, Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress (ITC-18). Charzinski, J., Lehnert, R. & Tran-Gia, P. (eds.). Amsterdam: Elsevier, p. 651-660 10 p. (Teletraffic Science and Engineering; vol. 5a).

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

File
4 Citations (Scopus)
39 Downloads (Pure)

A real-time traffic scheduling algorithm in CDMA packet networks

Zan, L., Heijenk, G. & El Zarki, M., 2003, Proceedings 14th IEEE 2003 International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2003. Gong, K. & Niu, Z. (eds.). Piscataway, NJ, USA: IEEE Computer Society, p. 2397-2401 5 p. 10.1109/PIMRC.2003.1259148

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

File

Characterizing CDMA downlink feasibility via effective interference

Endrayanto, A. I., van den Berg, H. L. & Boucherie, R. J., 21 Jul 2003, p. -. 11 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Efficient Simulation of Buffer Overflow in Queueing Networks

Nicola, V. F. & Juneja, S. K., 6 Jul 2003, p. -.

Research output: Contribution to conferencePaperAcademicpeer-review

End-to-end network model for Enhanced UMTS

Whillans, N., de Bruin, I., Jehangir, A., Oosthoek, S., Brouwer, F. & Heijenk, G., 2003, Enschede: Design and Analysis of Communication Systems (DACS). 88 p. (-)

Research output: Book/ReportReportProfessional

End-to-end traffic model for Enhanced UMTS IP services

Pitsillides, A., Jacovides, N., Hadjipollas, G., Antoniou, J., Heijenk, G., Lo, A. & Ferreira, J., 2003, Enschede: Design and Analysis of Communication Systems (DACS). 33 p. (-)

Research output: Book/ReportReportProfessional

Enhanced UMTS network simulator

El Allali, H. & Heijenk, G., 2003, Enschede: Design and Analysis of Communication Systems (DACS). 30 p. (-)

Research output: Book/ReportReportProfessional

6 Downloads (Pure)

Fair & power-efficient channel-dependent scheduling for CDMA packet networks

Zan, L., Heijenk, G. & El Zarki, M., 2003, p. 315-321. 5 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Packet networks
Scheduling algorithms
Code division multiple access
Scheduling
Mobile phones
49 Downloads (Pure)

Fair channel-dependent scheduling in CDMA systems

de Bruin, I. C. C., Heijenk, G., El Zarki, M. & Zan, J. L., 2003, Proceedings IST Mobile & Wireless Communications Summit 2003. Aveiro, p. 737-741 5 p.

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

File
143 Downloads (Pure)

MAC protocols for optical packet-switched WDM rings

Salvador, M. R., 31 Jan 2003, Enschede, The Netherlands: Centre of Telematics and Information Technology, University of Twente. 192 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Medium access control
Wavelength division multiplexing
Network protocols
Access control
Internet
516 Citations (Scopus)

Model-checking algorithms for continuous-time Markov chains

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Jun 2003, In : IEEE transactions on software engineering. 29, 6, p. 524-541 18 p., 10.1109/TSE.2003.1205180.

Research output: Contribution to journalArticleAcademicpeer-review

2 Downloads (Pure)

Model Checking pathCSL

Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P. & Baier, C., 6 Sep 2003, PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. Bobbio, A., Deavours, D. & Ma, Y. (eds.). Urbana-Champaign: University of Illinois at Urbana-Champaign, p. 19-22

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

Open Access
File
Performability
Reward
Model Checking
Logic
Path

Network and traffic model for Enhanced UMTS core network

El Allali, H., Rexhepi, V. & Heijenk, G., 2003, Enschede: Design and Analysis of Communication Systems (DACS). (-)

Research output: Book/ReportReportProfessional

Network and traffic model for Enhanced UMTS core network, version 1: Traffic Model

El Allali, H., Rexhepi, V. & Heijenk, G., 2003, Enschede: Design and Analysis of Communication Systems (DACS). 40 p. (-)

Research output: Book/ReportReportProfessional

Next Steps in Signalling: Framework

Hancock, R., Freytsis, I., Karagiannis, G., Loughney, J., van den Bosch, S. & Rexhepi, V., 2003, Enschede: Design and Analysis of Communication Systems (DACS). 45 p. (-)

Research output: Book/ReportReportProfessional

NSLP for Quality-of-Service Signalling

van den Bosch, S., Karagiannis, G. & McDonald, A., 2003, USA: Internet Engineering Task Force (IETF). 31 p.

Research output: Book/ReportReportProfessional

79 Citations (Scopus)
29 Downloads (Pure)

On the future of Internet Management Technologies

Schönwälder, J., Schonwalder, J., Pras, A. & Martin-Flatin, J-P., 2003, In : IEEE communications magazine. 41, 10, p. 90-97 8 p., 10.1109/MCOM.2003.1235600.

Research output: Contribution to journalArticleAcademicpeer-review

File
28 Downloads (Pure)

Performance analysis of wireless LANs: an integrated packet/flow level approach

Litjens, R., Roijers, F., van den Berg, H. L., Boucherie, R. J. & Fleuren, M., 2003, p. 1-18. 18 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Performance analysis of WLANs: an integrated packet/flow level approach

Litjens, R., Roijers, F., van den Berg, H. L., Boucherie, R. J. & Fleuren, M. J., 31 Aug 2003, Providing Quality of Service in Heterogeneous Environments: Proceedings of the 18 International Teletraffic Congress - ITC-18 Berlin, Germany. Charzinski, J., Lehnert, R. & Tran-Gia, P. (eds.). Elsevier Science, p. 931-940 10 p. (Teletraffic science and engineering; vol. 5).

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

Wireless local area networks (WLAN)
Dynamical systems
80 Downloads (Pure)

Performance of TCP over UMTS common and dedicated channels

Lo, A., Heijenk, G. & Bruma, C., 2003, Proceedings IST Mobile & Wireless Communications Summit 2003. Gameiro, A. (ed.). Aveiro, p. 138-142 5 p.

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

File
1 Citation (Scopus)
10 Downloads (Pure)

Providing delay guarantees in Bluetooth

Ait Yaiz, R. & Heijenk, G., 2003, Proceedings 23rd International Conference on Distributed Computing Systems Workshops, ICDCSW 2003. Titsworth, F. (ed.). Piscataway, NJ: IEEE Computer Society, p. 722-728 7 p.

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

File
Bluetooth
Scheduling
68 Citations (Scopus)

Research Issues in Ad-Hoc Distributed Personal Networking

Niemegeers, I. G. M. M. & Heemstra de Groot, S. M., 2003, In : Wireless personal communications. 26, 2-3, p. 149-167 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

Digital devices
Personal communication systems
Ubiquitous computing
Ad hoc networks
Hazards
16 Downloads (Pure)

Resource Management in Diffserv (RMD) Framework

Westberg, L., Jacobsson, M. (ed.), Oosthoek, S. (ed.), Partain, D. (ed.), Rexhepi, V., Szabo, R. (ed.), Wallentin, P. & Karagiannis, G. (ed.), Sep 2003, Internet Engineering Task Force (IETF). 63 p.

Research output: Book/ReportReportOther research output

File
12 Downloads (Pure)

Resource Management in Diffserv On DemAnd (RODA) PHR

Westberg, L., Jacobsson, M. (ed.), de Kogel, M. (ed.), Oosthoek, S. (ed.), Partain, D. (ed.), Rexhepi, V., Wallentin, P. & Karagiannis, G. (ed.), Sep 2003, Internet Engineering Task Force (IETF). 19 p.

Research output: Book/ReportReportOther research output

File
11 Downloads (Pure)

Scalability of a packet-switched WDM MAN with support for optical multicasting

Geuzebroek, D. H., Dey, D., van Bochove, A. C. & Koonen, A. M. J., 20 Nov 2003, Proceedings of the 8th Annual Symposium IEEE/LEOS Benelux Chapter. de Ridder, R. M., de Ridder, R. M., Altena, G., Altena, G., Geuzebroek, D. H., Dekker, R. & Dekker, R. (eds.). Enschede: IEEE/LEOS Benelux Chapter, p. 129-132 4 p.

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

File