Research Output 1989 2019

2010
8 Downloads (Pure)

Fourth ERCIM workshop on e-mobility

Brogle, M. (ed.), Osipov, E. (ed.), Braun, T. (ed.) & Heijenk, G. (ed.), 31 May 2010, Luleå, Sweden: Lulea University of Technology. 137 p.

Research output: Book/ReportBook editingAcademic

File
47 Downloads (Pure)

Frame Capture in IEEE 802.11p Vehicular Networks

van Wijngaarden, P. & van Eenennaam, M., 28 Sep 2010, Welcome the Wireless World: Second Workshop on the Pervasive Application of Wireless Technologies. Dimitrova, D. C. & Blom, K. C. H. (eds.). Enschede: University of Twente, p. 15-18 4 p.

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

File
Doppler effect
Cruise control
Advanced driver assistance systems
Roadsides
Orthogonal frequency division multiplexing
15 Citations (Scopus)
40 Downloads (Pure)

Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures

Gribaudo, M. & Remke, A. K. I., 1 Nov 2010, 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010. USA: IEEE Computer Society, p. 84-93 10 p.

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

File
3 Citations (Scopus)
26 Downloads (Pure)

Impact of relaying on inter-cell interference in mobile cellular networks

Dimitrova, D. C. & Georgiev, K., Apr 2010, 16th European Wireless Conference 2010. Los Alamitos: IEEE Computer Society, p. 398-405 8 p.

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

File
25 Citations (Scopus)
201 Downloads (Pure)

Intrusion Detection in SCADA Networks

Barbosa, R. R. R. & Pras, A., Jun 2010, 4th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2010). Stiller, B. & De Turck, F. (eds.). Berlin: Springer, p. 163-166 4 p. (Lecture Notes in Computer Science; vol. 6155).

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

File
62 Downloads (Pure)

Model-based energy analysis of battery powered systems

Jongerden, M. R., 10 Dec 2010, Enschede: University of Twente. 129 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
36 Downloads (Pure)

Multi-User Interactive TV: the Next Step in Personalization

van Brandenburg, R., van Deventer, M. O., Karagiannis, G. & Schenk, M., 10 Jun 2010, Proceedings of 8th European Conference on Interactive TV and Video (EuroITV 2010). Tampere, Finlanad: Tampere University of Technology, p. - 4 p.

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

File
19 Downloads (Pure)

Network and Service Management Series: Series editorial

Pavlou, G. & Pras, A., Jul 2010, In : IEEE communications magazine. 48, 7, p. 84-85 2 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Industrial research
19 Downloads (Pure)

NSIS Signaling Layer Protocol (NSLP) for Quality-of-Service Signaling

Manner, J., Karagiannis, G. & McDonald, A., Oct 2010, Proceedings of the 79th Internet Engineering Task Force (IETF). USA: Internet Engineering Task Force (IETF), p. 1-102 102 p. (RFC Document Series; vol. RFC 5974).

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

File
1 Citation (Scopus)
10 Downloads (Pure)

On the Performance of Grooming Strategies for Offloading IP Flows onto Lightpaths in Hybrid Networks

Biesbroek, R., Fioreze, T., Granville, L. & Pras, A., Jun 2010, 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management. Berlin: Springer, p. 1-10 10 p. 10.1007/978-3-642-13971-0_1. (Lecture Notes in Computer Science; vol. 6164).

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

File
18 Citations (Scopus)
54 Downloads (Pure)

On the Potential of Generic Modeling for VANET Data Aggregation Protocols

Dietzel, S., Kargl, F., Heijenk, G. & Schaub, F., 13 Dec 2010, Proceedings of the 2nd IEEE Vehicular Networking Conference. 978-1-4244-9524-5: IEEE Communications Society, p. 78-85 8 p.

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

File
21 Citations (Scopus)

Performability assessment by model checking of Markov reward models

Baier, C., Cloth, L., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2010, In : Formal methods in system design. 36, 1, p. 1-36 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

55 Citations (Scopus)
44 Downloads (Pure)

Performance Evaluation and Model Checking Join Forces

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Sep 2010, In : Communications of the ACM. 53, 9, p. 76-85 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Probabilistic verification of Architectural software models using SoftArc and Prism

Haverkort, B. R. H. M., Kuntz, G. W. M., Leitner-Fischer, F., Remke, A. K. I. & Roolvink, S., 5 Sep 2010, Proceedings of the ESREL 2010 Annual Conference. London: Taylor & Francis, p. 852-860 9 p.

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

3 Downloads (Pure)

Quantitative Verification in Practice

Haverkort, B. R. H. M., Katoen, J-P. & Larsen, K. G., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416).

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

Systems analysis
Model checking
Embedded systems
Data structures
Cables
7 Citations (Scopus)
35 Downloads (Pure)

Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 2010, Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010. Los Alamitos: IEEE, p. 251-260 10 p.

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

File
2 Citations (Scopus)
26 Downloads (Pure)

Report on the Dagstuhl Seminar on Visualization and Monitoring of Network Traffic

Keim, D. A., Pras, A., Schönwälder, J., Wong, P. C. & Mansmann, F., Jun 2010, In : Journal of network and systems management. 18, 2, p. 232-236 8 p.

Research output: Contribution to journalArticleAcademic

File
18 Downloads (Pure)

RMD-QOSM: The NSIS Quality-of-Service Model for Resource Management in Diffserv

Bader, A., Westberg, L., Karagiannis, G., Kappler, C. & Phelan, T., Oct 2010, Proceedings of the 79th Internet Engineering Task Force (IETF). USA: Internet Engineering Task Force (IETF), p. - 128 p. (RFC Document Series; vol. 5977).

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

File
9 Downloads (Pure)

Scalable Service Performance Monitoring

Drago, I. & Pras, A., 27 Jun 2010, Mechanisms for Autonomous Management of Networks and Services, 4th International Conference on Autonomous Infrastructure, Management and Security. Stiller, B. & De Turck, F. (eds.). Berlin: Springer, p. 175-178 4 p. 10.1007/978-3-642-13986-4. (Lecture Notes in Computer Science; vol. 6155).

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

File
689 Downloads (Pure)

Scheduling strategies for LTE uplink with flow behaviour analysis

Dimitrova, D. C., van den Berg, H. L. & Litjens, R., May 2010, Fourth ERCIM workshop on e-mobility. Brogle, M., Osipov, E. & Heijenk, G. J. (eds.). Lulea, Sweden: Lulea Tekniska Universitet, p. 15-26 12 p.

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

File
65 Downloads (Pure)

Self-Management of Hybrid Optical and Packet Switching Networks

Fioreze, T., 17 Feb 2010, Zutphen: Wöhrmann Print Service. 155 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
21 Downloads (Pure)

Sensitivity of the optimal parameter settings for a LTE packet scheduler

Fernandez-Diaz, I., Litjens, R., van den Berg, C. A., Dimitrova, D. C. & Spaey, K., May 2010, Proceedings of the 71th IEEE Vehicular Technology Conference, VTC Spring 2010. USA: IEEE Computer Society, p. 1-6 6 p.

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

File
1 Citation (Scopus)
51 Downloads (Pure)

Setting the parameters right for two-hop IEEE 802.11e ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M., Heijenk, G. & Bax, J., Mar 2010, 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems. Müller-Clostermann, B., Echtle, K. & Rathgeb, E. P. (eds.). London: Springer, p. 168-182 15 p. (Lecture Notes in Computer Science; vol. 5987).

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

File
170 Downloads (Pure)

Simpleweb/University of Twente Traffic Traces Data Repository

Barbosa, R. R. R., Sadre, R., Pras, A. & van de Meent, R., 29 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 9 p. (CTIT Technical Report Series; no. TR-CTIT-10-19)

Research output: Book/ReportReportProfessional

File
69 Downloads (Pure)

Task distribution based adaptation in mobile patient monitoring systems

Mei, H., 2 Jun 2010, Enschede: Twente University Press (TUP). 150 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
60 Citations (Scopus)
1067 Downloads (Pure)

Taxonomy of cloud computing services

Hoefer, C. N. & Karagiannis, G., Dec 2010, IEEE GLOBECOM Workshops 2010: 6-10 December 2010, Miami, FL, USA. Piscataway, NJ: IEEE Communications Society, p. 1345-1350 6 p.

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

File
Taxonomies
Cloud computing
Industry
166 Downloads (Pure)

The Hidden Energy Cost of Web Advertising

Simons, R. J. G. & Pras, A., 28 Jun 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-10-24)

Research output: Book/ReportReportProfessional

File
12 Citations (Scopus)
13 Downloads (Pure)

The Network Data Handling War: MySQL vs. NfDump

Hofstede, R., Hofstede, R. J., Sperotto, A., Fioreze, T. & Pras, A., Jun 2010, 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management. Berlin: Springer, p. 167-176 10 p. 10.1007/978-3-642-13971-0_16. (Lecture Notes in Computer Science; vol. 6164).

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

File
7 Downloads (Pure)

The saga of finite equational bases over BCCSP

Chen, T., 2010, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. p. 25-39

Research output: Contribution to journalArticleAcademic

File
15 Downloads (Pure)

Towards personalized TV for concurrent use; challenges and opportunities for IMS-based IPTV

van Brandenburg, R., van Deventer, M. O., Karagiannis, G. & Schenk, M., Dec 2010, In : Journal of internet engineering. 4, 1, p. 279-288 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
50 Downloads (Pure)

Towards Scalable Beaconing in VANETs

van Eenennaam, M., Karagiannis, G. & Heijenk, G., 31 May 2010, Fourth ERCIM workshop on eMobility. Luleå, Sweden: Lulea University of Technology, Lulea, Sweden, p. 103-108 6 p.

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

File
12 Downloads (Pure)

Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., 21 Jun 2010, Eighth International Workshop on Rare-Event Simulation. Cambridge, UK: Isaac Newton Institute for Mathematical Sciences, p. 26-27 2 p.

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

File
71 Citations (Scopus)
103 Downloads (Pure)

Unified Frequency-Domain Analysis of Switched-Series-RC Passive Mixers and Samplers

Soer, M. C. M., Klumperink, E. A. M., de Boer, P-T., van Vliet, F. E. & Nauta, B., 1 Oct 2010, In : IEEE transactions on circuits and systems I: regular papers. 57, 10, p. 2618-2631 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Frequency domain analysis
Networks (circuits)
Transfer functions
Bandwidth
Harmonic functions
8 Citations (Scopus)
67 Downloads (Pure)

Using V2V communication to create Over-the-horizon Awareness in multiple-lane highway scenarios

de Souza Schwartz, R., van Eenennaam, M., Karagiannis, G., Heijenk, G., Klein Wolterink, W. & Scholten, J., 21 Jun 2010, IEEE Intelligent Vehicles Symposium (IV) 2010. Los Alamitos: IEEE Computer Society, p. 998-1005 8 p.

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

File
2009
1 Citation (Scopus)
50 Downloads (Pure)

Adaptive Resource Control in 2-hop Ad-Hoc Networks

Yang, Y., Heijenk, G. & Haverkort, B. R. H. M., 12 Oct 2009, Proceedings of the International Conference on Ultra Modern Telecommunications 2009. St. Petersburg: IEEE Communications Society, p. 199:1-199:9 9 p.

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

File
11 Citations (Scopus)
31 Downloads (Pure)

A feedback fluid queue with two congestion control thresholds

Malhotra, R., Mandjes, M. R. H., Scheinhardt, W. R. W. & van den Berg, H. L., 2009, In : Mathematical methods of operations research. 70, 1, p. 149-169 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
65 Citations (Scopus)
257 Downloads (Pure)

A Labeled Data Set For Flow-based Intrusion Detection

Sperotto, A., Sadre, R., van Vliet, F. & Pras, A., 21 Oct 2009, IP Operations and Management: 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009. Proceedings. Nunzi, G., Scoglio, C. & Li, X. (eds.). Berlin: Springer, p. 39-50 12 p. (Lecture Notes in Computer Science; vol. 5843).

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

Open Access
File
Intrusion detection
HIgh speed networks
Benchmarking
Labeling
Tuning
34 Downloads (Pure)

Analyzing the impact of relay station characteristics on uplink performance in cellular network

Dimitrova, D. C., van den Berg, H. L. & Heijenk, G., 27 May 2009, Third ERCIM Workshop on eMobility. Enschede: Centre for Telematics and Information Technology (CTIT), p. 31-42 12 p.

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

File
56 Downloads (Pure)

A Security Architecture for Personal Networks

Jehangir, A., 9 Apr 2009, Enschede: University of Twente. 166 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
5 Citations (Scopus)
36 Downloads (Pure)

A Statistical Analysis of Network Parameters for the Self-management of Lambda-Connections

Fioreze, T., Granville, L., Sadre, R. & Pras, A., 19 Jun 2009, Proceedings of the 3rd International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009). Berlin: Springer, p. 15-27 13 p. 10.1007/978-3-642-02627-0_2. (Lecture Notes in Computer Science; vol. 5637).

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

File

Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren

Haverkort, B. R. H. M., Remke, A. K. I. & Hartel, P. H., 16 Oct 2009, In : Bits en chips. 11, 16, p. 23-23 1 p.

Research output: Contribution to journalArticlePopular

4 Citations (Scopus)
9 Downloads (Pure)

Bridging Context Management Systems in the Ad Hoc and Mobile Environments

Pawar, P., Boros, H., Liu, F., Heijenk, G. & van Beijnum, B-J., Jul 2009, 2009 IEEE Symposium on Computers and Communications (ISCC). Piscataway, NJ: IEEE Computer Society Press, p. 882-888 7 p. (IEEE Symposium on Computers and Communications).

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

Ubiquitous computing
Ad hoc networks
Mobile devices
Wireless networks

Connect & Drive: On the use of Cooperative Adaptive Cruise Control to increase Traffic Stability and Efficiency

Heijenk, G., 27 May 2009, Third ERCIM Workshop on eMobility. Enschede: Centre for Telematics and Information Technology (CTIT), p. 123 1 p. (CTIT Workshop Proceedings; no. WP 09-03).

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

Connect & Drive - On the use of vehicle-to-vehicle communications to increase Traffic Stability and Efficiency

Heijenk, G., 13 Nov 2009, Workshop on the Pervasive Application of Wireless Technologies. Enschede: Centre for Telematics and Information Technology (CTIT), p. - 1 p.

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

11 Downloads (Pure)

Consistency analysis of network traffic repositories

Lastdrager, E., Lastdrager, E. E. H. & Pras, A., Sep 2009, The Internet of the Future, 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009. London: Springer, p. 217-226 10 p. 10.1007/978-3-642-03700-9_23. (Lecture Notes in Computer Science; vol. 5733).

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

File
10 Downloads (Pure)

Consistency of Network Traffic Repositories: An Overview

Lastdrager, E., Lastdrager, E. E. H. & Pras, A., 1 Jul 2009, Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009). Heidelberg: Springer, p. 173-178 6 p. 10.1007/978-3-642-02627-0_15. (Lecture Notes in Computer Science; vol. 5637).

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

File
6 Downloads (Pure)

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Roolvink, S., Remke, A. & Stoelinga, M., 17 Sep 2009, p. 4-7. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Water
Critical infrastructures
Water treatment
Potable water
Disasters
10 Citations (Scopus)
49 Downloads (Pure)

Detecting Spam at the Network Level

Sperotto, A., Vliek, G., Sadre, R. & Pras, A., 26 Aug 2009, Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009. Berlin: Springer, p. 208-216 9 p. 10.1007/978-3-642-03700-9_22. (Lecture Notes in Computer Science; vol. 5733).

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

File
26 Citations (Scopus)
24 Downloads (Pure)

Dimensioning Network Links: A New Look at Equivalent Bandwidth

Pras, A., Nieuwenhuis, L. J. M., van de Meent, R. & Mandjes, M. R. H., Mar 2009, In : IEEE network. 23, 2, p. 5-10 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
14 Downloads (Pure)

Distributed Storage in Wireless Sensor Networks with Network Coding

van Bloem, J. W. H., Boucherie, R. J., Goseling, J., Heijenk, G., van Ommeren, J. C. W. & Schiphorst, R., 13 Nov 2009, Workshop on the Pervasive Application of Wireless Technologies. Enschede: Centre for Telematics and Information Technology (CTIT), p. - 3 p.

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

File