Research Output 1989 2019

2007
4 Citations (Scopus)
50 Downloads (Pure)

Coherence-Multiplexed Optical RF Feeder Networks

Meijerink, A., Taniman, R. O. & van Etten, W., 1 Nov 2007, In : Journal of lightwave technology. 25, 67310A/11, p. 3396-3406 11 p., 10.1109/JLT.2007.907746.

Research output: Contribution to journalArticleAcademicpeer-review

File
2 Citations (Scopus)
41 Downloads (Pure)

Coherence Multiplex System Topologies

Meijerink, A., Taniman, R. O., Heideman, G. H. L. M. & van Etten, W., 15 Sep 2007, In : IEEE journal of selected topics in quantum electronics. 13, 67310A/5 part 2, p. 1433-1445 13 p., 10.1109/JSTQE.2007.905099.

Research output: Contribution to journalArticleAcademicpeer-review

File
40 Downloads (Pure)

Computernetwerken

van Beijnum, B. J. F., van Sinderen, M. J., Quartel, D. & Pras, A., 2007, ICT-Zakboek, 3e Druk. Bemelmans, T. M. A., van Keulen, M., Kusters, R. J. & Looijen, M. (eds.). Doetinchem: Reed Business, p. 820-852 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
37 Citations (Scopus)
79 Downloads (Pure)

Computing Battery Lifetime Distributions

Cloth, L., Haverkort, B. R. H. M. & Jongerden, M. R., Jun 2007, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). Los Alamitos: IEEE Computer Society Press, p. 780-789 10 p. 10.1109/DSN.2007.26

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

File
75 Downloads (Pure)

Context discovery using attenuated Bloom filters in ad-hoc networks

Liu, F. & Heijenk, G., 2007, In : Journal of internet engineering. 1, 1, p. 49-58 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
6 Citations (Scopus)
28 Downloads (Pure)

CSL Model Checking Algorithms for Infinite-state Structured Markov chains

Remke, A. K. I. & Haverkort, B. R. H. M., 3 Oct 2007, 5th International Conference, FORMATS 2007. Raskin, J-F. & Thiagarajan, P. S. (eds.). London: Springer, p. 336-351 16 p. 10.1007/978-3-540-75454-1_24. (Lecture Notes in Computer Science; vol. 4763, no. LNCS4549).

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

File
18 Citations (Scopus)
29 Downloads (Pure)

CSL model checking algorithms for QBDs

Di Pierro, A. (ed.), Remke, A. K. I., Haverkort, B. R. H. M., Wiklicky, H. (ed.) & Cloth, L., 28 Aug 2007, In : Theoretical computer science. 382, LNCS4549/1, p. 24-41 18 p., 10.1016/j.tcs.2007.05.007.

Research output: Contribution to journalArticleAcademicpeer-review

File
14 Downloads (Pure)

Decomposition-Based Analysis of Queueing Networks

Sadre, R., 10 Jan 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 209 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
213 Downloads (Pure)
Open Access
File
Internet
Network architecture
Interoperability
Sensor networks
Wireless networks
7 Downloads (Pure)

Dynamic capacity allocation for low-cost multicarrier multimode PON

Taniman, R. O., van Bochove, A. C., de Boer, P-T. & Sikkes, B., Sep 2007, ECOC 2007: 33rd European Conference and Exhibition on Optical Communication : 17-20 September, Berlin, Germany. VDE Verlag GmbH, p. 55-56 2 p.

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

Linear programming
Costs
63 Downloads (Pure)

Easy Wireless: broadband ad-hoc networking for emergency services

de Graaf, M., van den Berg, H. L., Boucherie, R. J., Brouwer, F., de Bruin, I. C. C., Elfrink, H., Fernandez-Diaz, I., Heemstra de Groot, S. M., de Haan, R., de Jongh, J., Nunez, S., van Ommeren, J. C. W., Roijers, F., Stemerdink, J. & Tromp, E., 5 Mar 2007, The Sixth Annual Mediterranean Ad Hoc Networking Workshop. Corfu, Greece: Ionian University, p. - 8 p.

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

File
11 Citations (Scopus)
52 Downloads (Pure)

Estimating the Probability of a Rare Event Over a Finite Time Horizon

de Boer, P-T., L'Ecuyer, P., Rubino, G. & Tuffin, B., 9 Dec 2007, Proceedings of the 2007 Winter Simulation Conference, WSC'07. IEEE, p. 403-411 9 p. 10.1109/WSC.2007.4419629

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

File
1 Citation (Scopus)
47 Downloads (Pure)

Evaluating Secure Cluster Formation in Personal Networks

Jehangir, A. & Heemstra de Groot, S. M., 15 Mar 2007, Proceedings of the IEEE Wireless Communications and Networking Conference. Piscataway: IEEE Computer Society Press, p. 3134-3140 7 p. 10.1109/WCNC.2007.579

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

File
15 Downloads (Pure)

Extending the Logic IM-SPDL with Impulse and State Rewards

Kuntz, G. W. M. & Haverkort, B. R. H. M., Sep 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 22 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-58)

Research output: Book/ReportReportProfessional

File
10 Downloads (Pure)

Faster SPDL Model Checking Through Property-Driven State Space Generation

Kuntz, M. & Haverkort, B. R., 14 Sep 2007, Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings. Wolter, K. (ed.). Berlin, Heidelberg: Springer, p. 80-96 17 p. (Lecture Notes in Computer Science; vol. 4748).

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

Open Access
File
Model checking
Stochastic models
Data storage equipment
13 Citations (Scopus)
122 Downloads (Pure)

Finding Elephant Flows for Optical Networks

Fioreze, T., Oude Wolbers, M., van de Meent, R. & Pras, A., 21 May 2007, Application session proceeding of the 10th IFIP/IEEE International Symposium on Integrated Network Management (IM 2007). Piscataway: IEEE Computer Society, p. 627-640 14 p. 10.1109/INM.2007.374825

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

File
21 Downloads (Pure)

GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour

Kuntz, M. & Haverkort, B. R., Sep 2007, Proceedings of the Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 50-56 7 p. (CTIT Workshop Proceedings).

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

File
Stochastic models
Semantics
Model checking
Random processes
Petri nets
20 Downloads (Pure)

Guest Editorial: Topics In Network And Service Management

Pavlou, G. & Pras, A., Mar 2007, In : IEEE communications magazine. 45, Supplement/4, p. 112-113 2 p., 10.1109/MCOM.2007.343599.

Research output: Contribution to journalArticleAcademic

File
2 Citations (Scopus)
6 Downloads (Pure)
File
75 Citations (Scopus)
255 Downloads (Pure)

Key Research Challenges in Network Management

Pavlou, G. (ed.), Schoenwaelder, J., Pras, A. (ed.), Burgess, M., Festor, O., Martinez Perez, G., Stadler, R. & Stiller, B., Oct 2007, In : IEEE communications magazine. 45, LNCS4549/10, p. 104-110 7 p., 10.1109/MCOM.2007.4342832.

Research output: Contribution to journalArticleAcademicpeer-review

File
8 Downloads (Pure)

LC-PCN: The Load Control PCN Solution

Westberg, L. (ed.), Bhargava, A. (ed.), Bader, A. (ed.) & Karagiannis, G. (ed.), 14 Nov 2007, USA: Internet Engineering Task Force (IETF). 35 p.

Research output: Book/ReportReportProfessional

File
8 Downloads (Pure)

Method and apparatus for a self-tuning precoder

de Lind van Wijngaarden, A. J., Kramer, G., Nuzman, C. J., Whiting, P. & Zivkovic, M., 31 Aug 2007, (Submitted) Patent No. US20070848684

Research output: PatentProfessional

File
78 Downloads (Pure)

Mobility and key management in SAE/LTE

Prasad, A. R., Laganier, J., Zugenmaier, A., Bargh, M. S., Hulsebosch, B., Eertink, E. H., Heijenk, G. & Idserda, J., 2007, Proceedings of the 2007 Tyrrhenian International Workshop on Digital Communications, TIWDC’07. New York: Springer, p. 3.2 15 p.

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

File
Long Term Evolution (LTE)
Communication
54 Citations (Scopus)
48 Downloads (Pure)

Model Checking Markov Chains with Actions and State Labels

Baier, C., Cloth, L., Haverkort, B. R. H. M., Kuntz, G. W. M. & Siegle, M., 2007, In : IEEE transactions on software engineering. 33, 1/4, p. 209-224 16 p., 10.1109/TSE.2007.36.

Research output: Contribution to journalArticleAcademicpeer-review

File
4 Citations (Scopus)
12 Downloads (Pure)

Modeling service discovery in ad-hoc networks

Liu, F., Goering, P. T. H. & Heijenk, G., 2007, Proceedings of the Fourth ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2007. New York: Association for Computing Machinery (ACM), p. 9-16 8 p. 10.1145/1298197.1298200

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

File
54 Downloads (Pure)

Network and Service Management [Guest Editorial]

Pavlou, G. & Pras, A., Oct 2007, In : IEEE communications magazine. 45, Supplement/10, p. 102-103 2 p., 10.1109/MCOM.2007.4342831.

Research output: Contribution to journalArticleAcademic

File
2 Citations (Scopus)
8 Downloads (Pure)

Offloading IP Flows onto Lambda-Connections

Fioreze, T., Oude Wolbers, M., van de Meent, R. & Pras, A., 29 Aug 2007, Proceedings of the 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007. Berlin: Springer, p. 183-186 4 p. (Lecture Notes in Computer Science; vol. 4785, no. LNCS4549).

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

File
Fiber optic networks
Quality of service
35 Downloads (Pure)

On the security of the Mobile IP protocol family

Meyer, U., Tschofenig, H. & Karagiannis, G., 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. 2 2 p.

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

File

Parallel CSRL Model Checking: First Results and Pointers to the Future

Kuntz, G. W. M., Jul 2007, Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification. Černá, I. & Haverkort, B. R. H. M. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 105-120 16 p.

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

5 Citations (Scopus)
41 Downloads (Pure)

Peer-to-Peer Technologies in Network and Service Management

Pras, A., Schönwälder, J. & Stiller, B., 6 Jul 2007, In : Journal of network and systems management. 15, Supplement/3, p. 285-288 4 p., 10.1007/s10922-007-9072-y.

Research output: Contribution to journalArticleAcademic

File
15 Downloads (Pure)

Pre-Congestion Notification Architecture

Eardley, P., Babiarz, J., Chan, K., Charny, A., Geib, R., Karagiannis, G., Menth, M. & Tsou, T., 20 Jun 2007, USA: Internet Engineering Task Force (IETF). 27 p.

Research output: Book/ReportReportProfessional

Open Access
File
6 Downloads (Pure)

Pre-Congestion Notification Encoding Comparison

Chan, K. & Karagiannis, G. (ed.), 19 Nov 2007, USA: Internet Engineering Task Force (IETF). 18 p.

Research output: Book/ReportReportProfessional

Open Access
File
2 Downloads (Pure)

Preface: 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007 Enschede, The Netherlands, July 18-20, 2007 proceedings

Pras, A. & van Sinderen, M., 1 Jan 2007, Dependable and Adaptable Networks and Services - 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Proceedings. Pras, A. & van Sinderen, M. (eds.). Springer, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4606).

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

Open Access
File
7 Downloads (Pure)

Preface

Brim, L. & Leucker, M., Jun 2007, Formal Methods: Applications and Technology. Brim, L., Haverkort, B. R. H. M., Leucker, M. & van de Pol, J. C. (eds.). Berlin: Springer, p. V-VI 2 p. 10.1007/978-3-540-70952-7. (Lecture Notes in Computer Science; vol. 4346, no. LNCS4549).

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

File
18 Downloads (Pure)

Scheduling Feed Retrieval

van Wanrooij, W. & Pras, A., 26 Jun 2007, Proceedings of the IEEE International Conference on Communications, ICC 2007. Piscataway: IEEE Communications Society, p. 2064-2069 6 p. 10.1109/ICC.2007.342

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

File
1 Citation (Scopus)
41 Downloads (Pure)

Securing Personal Network Clusters

Jehangir, A. & Heemstra de Groot, S. M., 18 Sep 2007, Proceedings of the Third International Conference on Security and Privacy in Communication Networks, SecureComm 2007. Los Alamitos: IEEE Computer Society, p. 1217 10 p. 10.1109/SECCOM.2007.4550350

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

File
3 Citations (Scopus)
32 Downloads (Pure)

Self-management of lambda-connections in optical networks

Fioreze, T. & Pras, A., 21 Jun 2007, Proceedings of the 1st International Conference on Autonomous Infrastructure, Management and Security (AIMS 2007) Student Workshop. Berlin: Springer, p. 212-215 4 p. 10.1007/978-3-540-72986-0_28. (Lecture Notes in Computer Science; vol. 4543, no. 2).

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

File
3 Citations (Scopus)
19 Downloads (Pure)

Smart Dimensioning of IP Network Links

van de Meent, R., Mandjes, M. R. H. & Pras, A., Oct 2007, Proceedings of the 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007. Clemm, A., Granville, L. & Stadler, R. (eds.). Berlin: Springer, p. 86-97 12 p. (Lecture Notes in Computer Schience; vol. 4785, no. LNCS4549).

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

File
Agglomeration
34 Citations (Scopus)
136 Downloads (Pure)

SNMP Traffic Analysis: Approaches, Tools, and First Results

Schönwälder, J., Pras, A., Harvan, M., Schippers, J. & van de Meent, R., May 2007, Proceedings of the Tenth International Symposium on Integrated Network Management. Piscataway: IEEE Computer Society Press, p. 324-332 9 p. 10.1109/INM.2007.374797

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

File
22 Downloads (Pure)

SPDL Model Checking via Property-Driven State Space Generation

Kuntz, G. W. M. & Haverkort, B. R. H. M., Sep 2007, Enschede: Design and Analysis of Communication Systems (DACS). 27 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-59)

Research output: Book/ReportReportProfessional

File
10 Citations (Scopus)
10 Downloads (Pure)

Szemeredi's Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation

Sperotto, A. & Pelillo, M., 14 Aug 2007, Energy Minimization Methods in Computer Vision and Pattern Recognition Energy Minimization Methods in Computer Vision and Pattern Recognition, 6th International Conference, EMMCVPR 2007. Berlin: Springer, p. 13-27 15 p. 10.1007/978-3-540-74198-5_2. (Lecture Notes in Computer Science; vol. 4679).

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

File
1 Citation (Scopus)
15 Downloads (Pure)

The effect of mobility on local service discovery in the Ahoy ad-hoc network system

Goering, P. T. H., Heijenk, G., Haverkort, B. R. H. M. & Haarman, R., 2007, Proceedings of the European Performance Engineering Workshop, EPEW 2007. London: Springer, p. 284-300 17 p. 10.1007/978-3-540-75211-0_21. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

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

File
1 Citation (Scopus)
22 Downloads (Pure)

Versatile Stochastic Models for Networks with Asymmetric TCP Sources

van Foreest, N. D., Haverkort, B. R. H. M., Mandjes, M. R. H. & Scheinhardt, W. R. W., 2007, In : Performance evaluation. 64, 1, p. 507-523 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
Stochastic Petri Nets
Stochastic models
Stochastic Model
Petri nets
Buffer
21 Downloads (Pure)

What Can Web Services Bring To Integrated Management?

Pras, A. & Martin-Flatin, J-P., 9 Nov 2007, Handbook of Network and System Administration. Bergstra, J. & Burgess, M. (eds.). Amsterdam: Elsevier, p. - 56 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
2006
16 Downloads (Pure)

A coherence multiplexed optical RF feeder network

Meijerink, A., Taniman, R. O. & van Etten, W., 12 May 2006, Proceedings of the URSI Benelux Meeting 2006. Eindhoven, Netherlands: CSREA Press, p. 15-15 1 p.

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

File
1 Citation (Scopus)
15 Downloads (Pure)

A measurement-based admission control algorithm for resource management in diffserv IP networks

El Allali, H., Heijenk, G., Lo, A. & Niemegeers, I. G. M. M., Sep 2006, Proceedings 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06).. Piscataway: IEEE Computer Society Press, p. 1-5 5 p. 10.1109/PIMRC.2006.254212

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

File
Access control
Decomposition
Statistics
3G mobile communication systems
Flow measurement
21 Downloads (Pure)

A method for header compression context control during handover in mobile data communication networks

Karagiannis, G., 27 Dec 2006, (Accepted/In press) Patent No. EP1303963

Research output: PatentProfessional

File
31 Citations (Scopus)
53 Downloads (Pure)

Analysis of State-Independent Importance-Sampling Measures for the Two-Node Tandem Queue

de Boer, P-T., Jul 2006, In : ACM transactions on modeling and computer simulation. 16, 2/3, p. 225-250 26 p., 10.1145/1147224.1147226.

Research output: Contribution to journalArticleAcademicpeer-review

File
21 Downloads (Pure)

An edge-to-edge Deployment Model for Pre-Congestion Notification: Admission Control over a DiffServ Region

Briscoe, B., Eardley, P. (ed.), Songhurst, D., Le Faucheur, F., Charny, A., Liatsos, V., Babiarz, J., Chan, K. (ed.), Dudley, S. (ed.), Karagiannis, G. (ed.), Bader, A. & Westberg, L., 25 Oct 2006, Internet Engineering Task Force (IETF). 63 p. (draft-briscoe-tsvwg-cl-architecture; no. 04)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)
10 Downloads (Pure)

A performance study on service integration in IEEE 802.11E wireless LANs

Roijers, F., van den Berg, H. L., Fan, X. & Fleuren, M., Aug 2006, In : Computer communications. 29, A219/13-14, p. 2621-2633 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

File