Research Output 1989 2019

2006
20 Downloads (Pure)

Symbolic Semantics and Verification of Stochastic Process Algebras

Kuntz, G. W. M., 2 Feb 2006, Erlangen: Springer. 240 p.

Research output: ThesisPhD Thesis - Research UT, graduation externalAcademic

File
6 Downloads (Pure)

System and method for fair, channel-dependent scheduling for wireless systems

Heijenk, G., 24 Oct 2006, (Submitted) Patent No. US7126927

Research output: PatentProfessional

File
242 Downloads (Pure)

The fall and rise of micropayment systems

Parhonyi, R., Nieuwenhuis, L. J. M. & Pras, A., 2006, Handbuch E-Money, E-Payment & M-Payment. Lammer, T. (ed.). Heidelberg, Germany: Springer, p. 343-361 19 p.

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

File
14 Downloads (Pure)

The Lowlands' TREC Experiments

Rode, H., Ramirez, G., Westerveld, T. H. W., Hiemstra, D., de Vries, A. P. & Achir, M., 2006, Proceedings of the 14th Text Retrieval Conference (TREC). Voorhees, E. M. & Buckland, L. P. (eds.). Gaithersburg, MD, USA: National Institute of Standards and Technology, p. - 12 p. (NIST Special Publications; vol. SP 500, no. 500-266).

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

File
1 Citation (Scopus)
18 Downloads (Pure)

Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Oct 2006, First International Conference on Performance Evaluation Methodologies and Tools. New York: Association for Computing Machinery (ACM), p. 7 10 p. 10.1145/1190366.1190372

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

File
22 Downloads (Pure)

Using Self-management for Establishing Light Paths in Optical Networks: an Overview

Fioreze, T. & Pras, A., 18 Sep 2006, Proceedings of the 12th Open European Summer School. Stuttgart, Germany: Institut für Kommunikationsnetze und Rechnersysteme, Universität Stuttgart, p. 17-20 4 p.

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

File
2005
22 Downloads (Pure)

3GPP QoS Model for Networks Using 3GPP QoS Classes

Jeong, S., Lee, S. (ed.), Karagiannis, G. (ed.) & van Lieshout, G., 24 Oct 2005, Internet Engineering Task Force (IETF). 21 p.

Research output: Book/ReportReportProfessional

File

802.11 Modifications for WLAN-UMTS Integration at Radio Access

Vulic, N., Heemstra de Groot, S. M. & Niemegeers, I. G. M. M., 17 Sep 2005, Proceedings of the Int.'l Conference on Wireless Personal Multimedia Communications. L. Heinzl & N.R. Prasad (eds.). Aalborg, Denmark, p. 1206-1210 5 p.

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

A Comparison of Interworking Architectures for WLAN Integration at UMTS Radio Access Level

Vulic, N., Heemstra de Groot, S. M. & Niemegeers, I. G. M. M., 10 Jul 2005, Proceedings of the First Int.'l Workshop on Convergence of Heterogeneous Wireless Networks. p. -

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

1 Citation (Scopus)
55 Downloads (Pure)

Adding Policy-based Control to Mobile Hosts Switching between Streaming Proxies

Kamilova, M., Hesselman, C. E. W., Widya, I. A. & Huizer, E., Jun 2005, 6TH IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005). Los Alamitos: IEEE Computer Society, p. 243-246 4 p.

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

File
58 Downloads (Pure)

Ad hoc networking and ambient intelligence to support future disaster response

Jones, V. M., Karagiannis, G. & Heemstra de Groot, S. M., Jun 2005, Proceedings of the 5th Workshop on Applications and Services in Wireless Networks (ASWN05). Afifi, H. & Zeghlache, D. (eds.). Parijs: Institut National des Télécommunications, p. 137-146 10 p.

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

File
22 Downloads (Pure)

Ad hoc networking and ambient intelligence to support future disaster response

Jones, V. M., Karagiannis, G. & Heemstra de Groot, S. M., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT Technical Report Series; no. TR-CTIT-05-70)

Research output: Book/ReportReportProfessional

File
15 Downloads (Pure)

A flow level model for wireless multihop ad hoc network throughput

Coenen, T. J. M., van den Berg, H. L. & Boucherie, R. J., 18 Jul 2005, Proceedings of the 3rd International Working Conference on Performance modelling and Evaluation of Heterogeneous Networks HET-NETs '05. Bradford UK: Networks UK Publishers, p. 1-10 9 p.

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

File

A Multiple Time-Scale Model for TCP Bandwidth Sharing Under User Heterogeneity

Abendroth, D., van den Berg, H. & Mandjes, M., 2 May 2005, NETWORKING 2005: 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings. R. Boutaba, K. Almeroth, R. Puigjaner, S. Shen & J.P. Black (eds.). Berlin: Springer, p. 561-573 13 p. (Lecture Notes in Computer Science; vol. 3462).

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

Bandwidth
Packet networks
Throughput
Experiments

Analytical modelling of TCP file transfer times over 802.11 wireless LANs

Roijers, F., van den Berg, H. L. & Fang, X., 29 Aug 2005, Proceedings of the 19th Int.'l Teletraffic Conference. Beijing, China, p. -

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

3 Citations (Scopus)
13 Downloads (Pure)

An analytical model for CDMA downlink rate optimization taking into account uplink coverage restrictions

Endrayanto, A. I., van den Berg, H. L. & Boucherie, R. J., 2005, In : Performance evaluation. 59, 2-3, p. 225-246 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
Code Division multiple Access
Uplink
Analytical Model
Code division multiple access
Analytical models
19 Downloads (Pure)

An analytical packet/flow-level modelling approach for wireless LANs with Quality-of-Service support

Cheung, S. K., van den Berg, H. L., Boucherie, R. J., Litjens, R. & Roijers, F., 2005, Proceedings 19th International Teletraffic Congress (ITC19) - Performance Challenges for Efficient Next Generation Networks. Beijing, China: Beijing University Post and Telecommunications Press, p. 1651-1662 12 p.

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

File

A Network Architecture for Personal Networks

Jacobsson, M., Hoebeke, J., Heemstra de Groot, S. M., Lo, A., Moerman, I., Niemegeers, I. G. M. M., Munoz, L., Alutoin, M., Louati, W. & Zeghlache, D., 19 Jun 2005, Proceedings of the 14th IST Mobile and Wireless Communication Summit. P. Herhold & R. Schlager (eds.). p. -

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

4 Citations (Scopus)
18 Downloads (Pure)

An interconnection architecture for micropayment systems

Parhonyi, R., Quartel, D., Pras, A. & Nieuwenhuis, L. J. M., Aug 2005, ICEC '05: Proceedings of the 7th International Conference on Electronic Commerce. Li, Q. & Liang, T-P. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 633-640 9 p.

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

File
8 Downloads (Pure)

Application-level Policies for Automatic Switching between Content Redistributors

Kamilova, M., Hesselman, C. E. W., Widya, I. A. & Huizer, E., Jun 2005, 5th. Workshop on Applications and Services in Wireless Networks (ASWN2005). Afifi, H. & Zeghlache, D. (eds.). Evry: IEEE, p. 245-254 10 p.

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

File
4 Citations (Scopus)

Architectures for Intra-Personal Network Communication

Prasad, V., Jacobsson, M., Lo, A., Niemegeers, I. G. M. M. & Heemstra de Groot, S. M., 2 Sep 2005, Proceedings of the Third ACM Int'.l Workshop on Wireless Mobile Applications and Services on WLAN Hotspot. Buddhikot, M. M. & Lo Cigno, R. (eds.). New York: Association for Computing Machinery (ACM), p. 115-118

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

20 Downloads (Pure)

A secure and lightweight ad-hoc routing algorithm for personal networks

Jehangir, A. & Heemstra de Groot, S. M., 22 Sep 2005. 5 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

A Secure and Lightweight Ad-hoc Routing Algorithm for Personal Networks

Jehangir, A. & Heemstra de Groot, S. M., 17 Sep 2005, Proceedings of the Int.'l Conference on Wireless Personal Multimedia Communications. L. Heinzl & N.R. Prasad (eds.). Aalborg, Denmark, p. 1998-2002 5 p.

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

687 Citations (Scopus)
1840 Downloads (Pure)

A Tutorial on the Cross-Entropy Method

de Boer, P-T., Kroese, D. P., Mannor, S. & Rubinstein, R. Y., Jan 2005, In : Annals of operations research. 134, 1, p. 19-67 49 p.

Research output: Contribution to journalArticleAcademicpeer-review

Cross-entropy
Tutorial
Combinatorial optimization
Methodology
Machine learning
7 Downloads (Pure)

Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Remke, A. & Haverkort, B. R., 23 Sep 2005, p. 23-26. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Model checking

Common radio resource management for WLAN-UMTS integration Radio Access Level

Vulic, N., Heemstra de Groot, S. M. & Niemegeers, I. G. M. M., 19 Jun 2005, Proceedings of the 14th IST Mobile and Wireless Communication Summit. P. Herhold & R. Schlager (eds.). p. -

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

13 Downloads (Pure)

CSL Model Checking of Deterministic and Stochastic Petri Nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-05-63)

Research output: Book/ReportReportProfessional

File
2 Citations (Scopus)
5 Downloads (Pure)

Data on Retention

van Wanrooij, W. & Pras, A., Oct 2005, Proceedings of the16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2005). Schönwälder, J. & Serrat, J. (eds.). heidelberg: Springer, p. 60-71 12 p. (Lecture Notes in Computer Science; vol. 3775).

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

File
52 Downloads (Pure)

Decomposing the queue length distribution of processor-sharing models into queue lengths of permanent customer queues

Cheung, S. K. (ed.), van den Berg, H. L. & Boucherie, R. J., Oct 2005, In : Performance evaluation. 62, 1-4, p. 100-116 17 p., 10.1016/j.peva.2005.07.009.

Research output: Contribution to journalArticleAcademicpeer-review

File
12 Downloads (Pure)

DNS Zones Revisited

van Wanrooij, W. & Pras, A., Jul 2005, EUNICE 2005 - Proceedings of the 11th Open European Summer School and IFIP WG6.4/6.6/6.9 Workshop. Delgado Kloos, C. (ed.). Laxenburg: IFIP, p. 84-92 9 p.

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

File

Duplexing methods for PON systems using multimode fiber with multicarrier transmission

Taniman, R. O. & van Bochove, A. C., 1 Dec 2005, Proceedings 2005 Annual Symposium, IEEE/LEOS Benelux Chapter. Mégret, P., Wuilpart, M., Bette, S. & Staquet, N. (eds.). Mons, Belgium: IEEE/LEOS Benelux Chapter, p. 149-152 4 p.

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

19 Downloads (Pure)

Duplexing methods for PON systems using multimode fiber with multicarrier transmission

Taniman, R. O. & van Bochove, A. C., Dec 2005, p. 149-152. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
92 Citations (Scopus)
31 Downloads (Pure)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Baier, C., Hermanns, H., Katoen, J. P. & Haverkort, B. R. H. M., 2005, In : Theoretical computer science. 345, 1, p. 2-26 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Efficient heuristics for simulating population overflow in tandem networks

Zaburnenko, T. S. & Nicola, V. F., 26 Jun 2005, Proceedings of the 5th St. Petersburg Workshop on Simulation. St. Petersburg, p. 755-764 10 p.

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

4 Citations (Scopus)

Efficient Importance Sampling Heuristics for the Simulation of Population Overflow in Jackson Networks

Nicola, V. F. & Zaburnenko, T. S., 4 Dec 2005, Proceedings of the Winter Simulation Conference 2005. Kuhl, M. E., Steiger, N. M., Armstrong, F. B. & Joines, J. A. (eds.). Orlando, USA, p. 538-546 9 p.

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

9 Citations (Scopus)
61 Downloads (Pure)

Evaluation of MPEG-4 video streaming over UMTS/WCDMA dedicated channels

Lo, A., Heijenk, G. & Niemegeers, I. G. M. M., 2005, Proceedings First International Conference on Wireless Internet, WICON'05. Piscataway, NJ, USA: IEEE Computer Society, p. 182-189 8 p. 10.1109/WICON.2005.15

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

File

Evaluation of QoS Provisioning Capabilities of IEEE 802.11E Wireless LANs

Roijers, F., van den Berg, H. L., Fan, X. & Fleuren, M., 11 May 2005, Wired/Wireless Internet Communications: Third International Conference, WWIC 2005. Braun, T., Carle, G., Koucheryavy, Y. & Tsaoussidis, V. (eds.). Xanthi, Greece: Springer, p. 138-148 11 p. (Lecture notes in computer science; vol. 3510).

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

21 Citations (Scopus)

FEDNETS: Context-aware Ad-hoc Network Federations

Niemegeers, I. G. M. M. & Heemstra de Groot, S. M., 2005, In : Wireless personal communications. 33, p. 319-325 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
51 Downloads (Pure)

Goodput Analysis of 3G wireless networks supporting m-health services

Bults, R. G. A., Wac, K. E., van Halteren, A., Nicola, V. F. & Konstantas, D., 2005, 8th International Conference on Telecommunications (ConTEL05). Matijasevic, M. (ed.). Zagreb, Croatia: IEEE, p. 99-106 8 p.

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

File
35 Downloads (Pure)

How to identify the speed limiting factor of a TCP flow

Timmer, M., 19 Sep 2005, Enschede: University of Twente. 76 p.

Research output: Book/ReportReportOther research output

Open Access

Hyperbolic PDE's for CSRL Model Checking: A Deja Vu

Cloth, L. & Haverkort, B. R. H. M., 23 Sep 2005, p. 19-22. 4 p.

Research output: Contribution to conferencePaperAcademic

5 Citations (Scopus)
22 Downloads (Pure)

Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks

Nicola, V. F. & Zaburnenko, T. S., 19 Sep 2005, Proceedings of the 2nd Int.'l Conference on the Quantitative Evaluation of Systems. Baier, C., Chiola, G. & Smirni, E. (eds.). Turijn: IEEE, p. 220-229 10 p.

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

File
1 Citation (Scopus)
6 Downloads (Pure)

Interference-based routing in multi-hop wireless infrastructures

Heijenk, G. & Liu, F., May 2005, Proceedings Wired/Wireless Internet Communications: Third International Conference, WWIC 2005. Braun, T., Carle, G., Koucheryavy, Y. & Tsaoussidis, V. (eds.). Berlin: Springer, p. 117-127 11 p. 10.1007/11424505_12. (Lecture Notes in Computer Science; vol. 3510 / 2005).

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

File
44 Downloads (Pure)

Introducing the Series on Network and Service Management

Pavlou, G. & Pras, A., Oct 2005, In : IEEE communications magazine. 43, 10, p. 60-60 1 p., 10.1109/MCOM.2005.1522125.

Research output: Contribution to journalArticleAcademic

File
13 Downloads (Pure)

Jitter reduction in Differentiated Services (Diffserv) networks

Karagiannis, G. & Rexhepi, V., 6 Dec 2005, (Accepted/In press) Patent No. US6973102

Research output: PatentProfessional

File
5 Downloads (Pure)

Managing new networked worlds - A report on IM 2005

Brusil, P. (ed.), Clemm, A., Festor, O. & Pras, A., Sep 2005, In : Journal of network and systems management. 13, 3, p. 351-354 4 p., 10.1007/s10922-005-7774-6.

Research output: Contribution to journalArticleAcademic

File
15 Downloads (Pure)

Method and system for inter-operability between mobile IP and RSVP during route optimization

Karagiannis, G., 2 Aug 2005, (Accepted/In press) Patent No. US6925075

Research output: PatentProfessional

File
43 Downloads (Pure)

Micro payment gateways

Párhonyi, R., 20 Oct 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 286 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Hybrid systems
Demonstrations
Industry
Compliance
39 Citations (Scopus)

Model checking for survivability

Cloth, L. & Haverkort, B. R. H. M., 19 Sep 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05). IEEE Computer Society, p. 145-154

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

Model checking
Disasters
Communication systems
Petri nets
Information systems
23 Citations (Scopus)
7 Downloads (Pure)

Model checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 2005, 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). Halbwachs, N. & Zuck, L. D. (eds.). Berlin / Heidelberg, Germany: Springer, p. 237-252 16 p. (Lecture Notes in Computer Science; vol. 3440).

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

File