Research Output 1989 2019

2005
24 Citations (Scopus)
7 Downloads (Pure)

Model Checking Markov Reward Models with Impulse Rewards

Cloth, L., Katoen, J-P., Khattri, M. & Pulungan, R., Jul 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). Bondavalli, A., Haverkort, B. & Tang, D. (eds.). Los Alamitos, NJ: IEEE Computer Society, p. 722-731 10 p.

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

Model checking
Markov processes
Energy utilization
36 Downloads (Pure)

Model checking meets performance evaluation

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 10-16 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Next Steps in Signaling: Framework

Karagiannis, G., Hancock, R., Loughney, J. & van den Bosch, S., 31 Jul 2005, Proceedings IETF'63. Paris, France: Internet Engineering Task Force (IETF), p. - 49 p.

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

25 Downloads (Pure)

Next Steps in Signaling (NSIS): Framework

Hancock, R., Loughney, J. & van den Bosch, S., Jun 2005, Proceedings of the 63rd IETF. Hancock, R., Karagiannis, G., Loughney, J. & van den Bosch, S. (eds.). Internet Engineering Task Force (IETF), p. - 49 p. (Request for Comments; no. RFC 4080).

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

File

NSIS: A New Extensible IP Signaling Protocol Suite

Karagiannis, G., Fu, X., Schulzrinne, H., Bader, A., Hogrefe, D., Kappler, C., Tschofenig, H. & van den Bosch, S., 2005, In : IEEE communications magazine. 43, 10, p. 133-141 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

63 Citations (Scopus)
10 Downloads (Pure)

NSIS: A New Extensible IP Signaling Protocol Suite

Fu, X., Guizani, M. (ed.), Schulzrinne, H., Atiquzzaman, M. (ed.), Bader, A., Hogrefe, D., Kappler, C., Karagiannis, G., Tschofenig, H. & van den Bosch, S., Oct 2005, In : IEEE communications magazine. 43, 2/10, p. 133-141 9 p., 10.1109/MCOM.2005.1522137.

Research output: Contribution to journalArticleAcademicpeer-review

File

NSLP for Quality-of-Service signalling

Karagiannis, G., Manner, J., van den Bosch, S. & McDonald, A., 31 Jul 2005, Proceedings IETF'63. Paris, France: Internet Engineering Task Force (IETF), p. - 68 p.

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

36 Downloads (Pure)

Online shoppen voor minder dan een euro

Parhonyi, R., Nieuwenhuis, L. J. M. & Pras, A., 21 Oct 2005, In : Automatisering gids. 2005, 42, p. 17-17 1 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Online shoppen voor minder dan een Euro

Parhonyi, R., Nieuwenhuis, L. J. M. & Pras, A., 2005, In : Automatisering gids. 2005, 42, p. -

Research output: Contribution to journalArticleProfessional

22 Citations (Scopus)
4 Downloads (Pure)

Performance and verification

Haverkort, B. R. H. M. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 3-3 1 p.

Research output: Contribution to journalArticleAcademic

File
17 Citations (Scopus)
87 Downloads (Pure)

Performance evaluation of MPEG-4 video streaming over UMTS networks using an integrated tool environment

Lo, A., Heijenk, G. & Niemegeers, I. G. M. M., 2005, Proceedings 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2005. M.S. Obaidat, L. Marchese, J.L. Marzo & F. Davoli (eds.). San Diego, CA, USA: The Society for Modeling and Simulation Int.'l (SCS), p. 676-682 7 p.

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

File

Proceedings of the 3rd IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services

Al-Shaer, E., Pras, A. & Owezarski, P., 2005, Nice, France: IEEE Communications Society. 186 p.

Research output: Book/ReportBook editingAcademic

19 Downloads (Pure)

Proceedings of the 3rd IEEE/IFIP Workshop on End-to-End Monitoring Technques and Services

Al-Shaer, E., Pras, A. (ed.) & Owezarski, P. (ed.), 15 May 2005, p. 1-2. 2 p.

Research output: Contribution to conferencePaperAcademic

File
12 Downloads (Pure)

Proceedings of the 9th IFIP/IEEE International Symposium on Integrated Network Management

Clemm, A. (ed.), Festor, O. & Pras, A. (ed.), May 2005, New York: IEEE Communications Society. 797 p.

Research output: Book/ReportBookAcademic

File

Proceedings of the 9th IFIP/IEEE International Symposium on Integrated Network Management

Clemm, A., Festor, O. & Pras, A., 2005, Nice, France: IEEE Communications Society. 797 p.

Research output: Book/ReportBook editingAcademic

7 Downloads (Pure)

Providing QoS in Bluetooth

Ait Yaiz, R. & Heijenk, G., Jul 2005, In : Cluster computing. 8, 2-3, p. 223-231 9 p., 10.1007/s10586-005-6187-3.

Research output: Contribution to journalArticleAcademicpeer-review

File
1 Citation (Scopus)
5 Downloads (Pure)

QoS in Hybrid Networks - An Operator's Perspective

Pras, A., van de Meent, R. & Mandjes, M. R. H., Jun 2005, Quality of Service - IWQoS 2005: 13th International Workshop (IWQoS 2005). de Meer, H. & Bhatti, N. (eds.). Heidelberg: Springer, p. 388-391 4 p. (Lecture Notes in Computer Science; vol. 3552).

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

File
1 Citation (Scopus)
44 Downloads (Pure)

QoS signaling across heterogeneous wired/wireless networks: resource management in diffserv using the NSIS protocol suite

Bader, A., Karagiannis, G., Westberg, L., Kappler, C., Phelan, T., Tschofenig, H. & Heijenk, G., 2005, Proceedings Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, QSine 2005. Shen, S. (ed.). Piscataway, NJ, USA: IEEE Computer Society, p. 51 6 p. 10.1109/QSHINE.2005.48

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

File

Quarantine Net: design and application

Bomhoff, M. J., Eyckelhof, C. J., van de Meent, R. & Pras, A., 16 May 2005, Application session proceedings of the 9th IFIP/IEEE Int. Symposium on Integrated Network Management. Nice: IEEE, p. -

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

5 Citations (Scopus)
9 Downloads (Pure)

Rare-event simulation of non-Markovian queueing networks using a state-dependent change of measure determined using cross-entropy

de Boer, P-T., Jan 2005, In : Annals of operations research. 134, 1, p. 69-100 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

Queueing networks
Cross-entropy
Change of measure
Simulation
Rare events

Rekeningrijden op het digitale wegennet

van den Berg, H. L., 23 Sep 2005, In : Automatisering gids. p. -

Research output: Contribution to journalArticlePopular

RMD-QOSM - The Resource Management in Diffserv QoS model

Karagiannis, G., Bader, A., Westberg, L., Kappler, C. & Phelan, T., 31 Jul 2005, Proceedings IETF'63. Paris, France: Internet Engineering Task Force (IETF), p. - 52 p.

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

3 Citations (Scopus)
44 Downloads (Pure)

Second generation micropayment systems: lessons learned

Parhonyi, R., Nieuwenhuis, L. J. M. & Pras, A., 2005, Proceedings of the Fifth IFIP conference on e-Commerce, e-Business, and e-Government, I3E 2005. Funabashi, M. & Grzech, A. (eds.). Berlin: Springer, p. 345-359 15 p.

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

File
23 Citations (Scopus)
8 Downloads (Pure)

Sequential and distributed model checking of Petri nets

Bell, A. & Haverkort, B. R. H. M., 2005, In : International journal on software tools for technology transfer. 7, 1, p. 43-60 18 p., 10.1007/s10009-003-0129-2.

Research output: Contribution to journalArticleAcademicpeer-review

File

Spatial Traffic Heterogeneity in HSDPA Networks and its Impact on Network Planning

Litjens, R., van den Berg, H. L. & Fleuren, M. J., 29 Aug 2005, Proceedings of the 19th Int.'l Teletraffic Conference. Beijing, China, p. -

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

Surviving Survivability Specifications

Cloth, L. & Haverkort, B. R. H. M., 28 Jun 2005, Supplemental Volume of the 2005 Int.'l Conference on Dependable Systems and Networks. Dr. Bondavalli, A., Prof.dr.ir. Haverkort, B. R. H. M. & Prof. Tang, D. (eds.). Yokohama, Japan: IEEE Computer Society, p. 70-71 2 p.

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

The International Conference on Dependable Systems and Networks 2005

Bondavelli, A., Haverkort, B. R. H. M. & Tang, D., 2005, Los Alamitos, California: IEEE Computer Society.

Research output: Book/ReportBook editingAcademic

Traffic Measurement, Characterization, and Modeling

van den Berg, H. L., 2005, Analysis and design of advanced multi-service networks supporting mobility, multimedia and internetworking. J. Brázio, P. Tran-Gia, N. Akar, A. Beben, W. Burakowski, M. Fiedler, E. Karasan, M. Menth, P. Olivier, K. Tutschku & S. Wittevrongel (eds.). Berlin, Germany: Springer, p. - 251 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

UMTS-based Architectures for UMTS-WLAN Integration

Vulic, N., Heemstra de Groot, S. M. & Niemegeers, I. G. M. M., 3 Nov 2005, Proceedings of the IEEE 12th Symposium on Communications and Vehicular Technology in the Benelux SCVT 2005. W.C. Etten, V. & R. Srinivassan (eds.). Enschede: IEEE, p. -

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

61 Downloads (Pure)

Using IP as Transport Technology in Third Generation and Beyond Radio Access Networks

Bader, A., Westberg, L. & Karagiannis, G., Jun 2005, Quality of Service - IWQoS 2005: 13th International Workshop (IWQoS 2005). de Meer, H. & Bhatti, N. T. (eds.). Germany: Springer, p. 372-374 3 p. 10.1007/11499169_36. (Lecture Notes in Computer Science; vol. 3552, no. RFC 4080).

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

File

Using IP as Transport Technology in Third Generation and Beyond Radio Access Networks

Karagiannis, G., Bader, A. & Westberg, L., 21 Jun 2005, Proceedings of 13th IEEE Int.'l Workshop on Quality of Service (IWQoS2005). de Meer, H. & Bhatti, N. (eds.). Passau, Germany: Springer, p. 372-375 3 p.

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

2004
33 Citations (Scopus)
9 Downloads (Pure)

A Fast Cross-Entropy Method for Estimating Buffer Overflows in Queueing Networks

de Boer, P-T., Kroese, D., Rubinstein, R. Y. & Rubinstein, R. Y., Jul 2004, In : Management science. 50, 7, p. 883-895 13 p., 10.1287/mnsc.1030.0139.

Research output: Contribution to journalArticleAcademicpeer-review

File
10 Citations (Scopus)
6 Downloads (Pure)

Analysis of flow transfer times in IEEE 802.11 wireless LANs

Litjens, R., Roijers, F., van den Berg, H. L., Boucherie, R. J. & Fleuren, M., 12 Nov 2004, In : Annales des telecommunications. 59, 11-12, p. 1407-1432 26 p., 10.1007/BF03179728.

Research output: Contribution to journalArticleAcademicpeer-review

File
7 Downloads (Pure)

Analysis of state-independent IS measures for the two-node tandem queue (extended abstract)

de Boer, P-T., Sep 2004, The 5th International Workshop on Rare Event Simulation and Combinatorial Optimization (RESIM COP 2004). Budapest, Hungary, p. 1-4 4 p.

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

File

A Network Layer Architecture for Personal Networks

Jacobsson, M., Heemstra de Groot, S. M., Hoebeke, J., Lo, A., Moerman, I. & Niemegeers, I. G. M. M., 11 Nov 2004, Proceedings IST-FP6 MAGNET Workshop. Shanghai, China, p. -

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

19 Downloads (Pure)

A Policy-based System for Handoffs between Intermediary Content Providers in the Wireless Internet

Kamilova, M., Hesselman, C. E. W., Widya, I. A. & Huizer, E., Jun 2004, The 13th IST Mobile and Wireless Communications Summit 2004. France: CEA-LETI Pub., p. 813-818 6 p.

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

File
8 Citations (Scopus)

Architectural Options for the WLAN Integration at the UMTS Radio Access Level

Vulic, N. & Heemstra de Groot, S. M., 17 May 2004, proceedings on Vehicular Technology Conference (VTC) 2004. Milan, Italy, p. -

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

17 Downloads (Pure)

Assessing Unknown Network Traffic

van de Meent, R. & Pras, A., Feb 2004, Enschede: Architecture group (ARCH). 12 p. (CTIT technical reports; no. 04-11)

Research output: Book/ReportReportProfessional

File
31 Downloads (Pure)

Burstiness predictions based on rough network traffic measurements

van de Meent, R., Pras, A., Mandjes, M. R. H., van den Berg, H. L., Roijers, F., Nieuwenhuis, L. J. M. & Venemans, P. H. A., 12 Sep 2004, Proceedings of the 19th World Telecommunications Congress (WTC/ISS 2004). Seoul, Korea: WTC/ISS, p. 6 6 p.

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

File
18 Downloads (Pure)

Collaborative Micropayment Systems

Parhonyi, R., Pras, A. & Quartel, D., Sep 2004, The 19th World Telecommunications Congress (WTC/ISS 2004). Yim, C. H. (ed.). Seoul: WTC, p. - 6 p.

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

File
63 Citations (Scopus)
101 Downloads (Pure)

Comparing the Performance of SNMP and Web Services-Based Management

Pras, A., Drevers, T., van de Meent, R. & Quartel, D., Dec 2004, In : IEEE communications magazine. 1, 2, p. 72-82 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Downloads (Pure)

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

Jensen, K. (ed.), Baier, C., Haverkort, B. R. H. M., Podelski, A. (ed.), Hermanns, H. & Katoen, J. P., 2004, p. 61-76. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

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

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 29 Mar 2004, Tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 61-76

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

7 Citations (Scopus)
37 Downloads (Pure)

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

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2004, Enschede: Elektrotechniek, Wiskunde & Informatica. 30 p. (1381-3625; no. 03-50)

Research output: Book/ReportReportProfessional

File

Enhancement of an integrated packet/flow model for TCP Performance

van den Berg, H. L., De Haan, R., Kooij, R. E. & van der Mei, R. D., 12 Sep 2004, Proceedings of the Conference on World Telecommunications Congress incorporating the Intl. Switching Symposium. Seoul, Korea, p. - 6 p.

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

4 Citations (Scopus)
42 Downloads (Pure)

Guest editorial - XML-based management of networks and services

Pras, A., Schönwälder, J. & Festor, O., Jul 2004, In : IEEE communications magazine. 42, 7, p. 56-57 2 p.

Research output: Contribution to journalArticleAcademic

File
23 Citations (Scopus)

HSDPA flow level performance: the impact of key system and traffic aspects

van den Berg, H. L., Litjens, R. & Laverman, J., 4 Oct 2004, Proceedings of MSWiM 2004. Venice, Italy, p. 283-292 12 p.

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

55 Downloads (Pure)

Intra-piconet scheduling in Bluetooth

Ait Yaiz, R., 8 Jul 2004, Apeldoorn, Netherlands: University of Twente. 177 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Bluetooth
Scheduling
Quality of service
Personal communication systems
Specifications
4 Downloads (Pure)

Maintenance of sliding window aggregated state using combination of soft state and explicit release principles

Oosthoek, S., Jacobsson, M. E. & Karagiannis, G., 3 Feb 2004, (Accepted/In press) Patent No. US6687655

Research output: PatentProfessional

File
9 Downloads (Pure)

Meten van internetverkeer voorkomt veel virusleed

Pras, A. & van de Meent, R., Sep 2004, Enschede: Ten Hagen & Stam. 3 p. (Automatiseringsgids; vol. 37)

Research output: Book/ReportReportOther research output

File