Research Output 1989 2019

2013
14 Citations (Scopus)

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R., Hermanns, H. & Katoen, J-P., Aug 2013, In : Mathematical structures in computer science. 23, Special Issue 04, p. 751-795 45 p.

Research output: Contribution to journalArticleAcademicpeer-review

Performability
Model checking
Model Checking
Evaluation
Temporal logic

Networking for the Cloud: Challenges and Trends

Drago, I., de Oliveira Schmidt, R., Hofstede, R. J., Sperotto, A., Karimzadeh Motallebi Azar, M., Haverkort, B. R. H. M. & Pras, A., 11 Dec 2013, In : PIK: Praxis der Informationsverarbeitung und Kommunikation. 36, 4, p. 207-214 8 p.

Research output: Contribution to journalArticleAcademic

59 Downloads (Pure)

Optimal resource allocation in downlink CDMA wireless networks

Endrayanto, A. I., 30 May 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 114 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Code division multiple access
Resource allocation
Wireless networks
Throughput
Blocking probability
6 Citations (Scopus)

Peak-to-average power reduction by rotation of the time-frequency representation

Korevaar, C. W., de Boer, P-T., Kokkeler, A. B. J. & Smit, G. J. M., Dec 2013, p. 3722-3727. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

11 Downloads (Pure)

Performance evaluation for collision prevention based on a domain specic language

van den Berg, F., Remke, A. K. I., Mooij, A. & Haverkort, B. R. H. M., 29 Sep 2013, Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013. Balsamo, M. S., Knottenbelt, W. J. & Marin, A. (eds.). Berlin: Springer, p. 276-287 12 p. (Lecture Notes in Computer Science; vol. 8168).

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

File
10 Downloads (Pure)

Recent advances in importance sampling for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Importance sampling
Model checking
Markov processes
Statistical Models
7 Downloads (Pure)

Reliable sequential testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Model checking
Testing
Statistical Models
24 Downloads (Pure)

Reports on internet traffic statistics

Hoogesteger, M., de Oliveira Schmidt, R., Sperotto, A. & Pras, A., 3 Jun 2013, TERENA Networking Conference, TNC 2013. Maastricht, The Netherlands: Trans-European Research and Education Networking Association, p. 19 1 p.

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

File
221 Downloads (Pure)

Scalable Beaconing for Cooperative Adaptive Cruise Control

van Eenennaam, M., 20 Nov 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 260 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
67 Downloads (Pure)

Self-management of hybrid networks – hidden costs due to TCP performance problems

Moreira Moura, G., Pras, A., Fioreze, T. & de Boer, P-T., Aug 2013, Proceedings of the 19th EUNICE/IFIP WG 6.6 International Workshop on Advances in Communication Networking. Bauschert, T. (ed.). Heidelberg: Springer, p. 54-65 12 p. (Lecture Notes in Computer Science; vol. 8115).

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

File
18 Citations (Scopus)
69 Downloads (Pure)

Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013. USA: IEEE Computer Society, p. 152-161 10 p.

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

File
33 Downloads (Pure)

The concept of embedded values and the example of internet security

Nguyen, B. (ed.), van Wynsberghe, A. L. & Moreira Moura, G., 21 Jun 2013, Oxford: Responsible Research and Innovation in ICT. 9 p.

Research output: Book/ReportReportProfessional

Open Access
File
Internet
Engineers
Experiments
2 Citations (Scopus)

The Dependable Systems-of-Systems Design Challenge

Haverkort, B. R. H. M., Sep 2013, In : IEEE security & privacy. 11, 5, p. 62-65 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

Systems analysis
Industry
industry
System of systems
Society

Topics in network and service management [Series Editorial]

Pavlou, G. & Pras, A., 29 Jul 2013, In : IEEE communications magazine. 51, 7, p. 71-72 2 p., 6553680.

Research output: Contribution to journalEditorialAcademicpeer-review

21 Citations (Scopus)
85 Downloads (Pure)

Towards real-time intrusion detection for NetFlow and IPFIX

Hofstede, R. J., Bartos, V., Sperotto, A. & Pras, A., Oct 2013, Proceedings of the 9th International Conference on Network and Service Management, CNSM 2013. USA: IEEE Computer Society, p. 227-234 8 p.

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

File
8 Downloads (Pure)

TR-MAC: an energy-efficient MAC protocol for wireless sensor networks exploiting noise-based transmitted reference modulation

Morshed, S. & Heijenk, G., Jun 2013, 2nd Joint ERCIM eMobility and MobiSense Workshop. Dimitrova, D., Brogle, M., Braun, T. & Heijenk, G. (eds.). Bern, Switzerland: University of Bern, p. 58-71 12 p.

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

File
Medium access control
Wireless sensor networks
Modulation
Network protocols
Sensor nodes
111 Downloads (Pure)

Understanding and Monitoring Cloud Services

Drago, I., 13 Dec 2013, Enschede: University of Twente. 162 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2 Citations (Scopus)

Using shaped beam patterns for tracking

Bruintjes, T., Kokkeler, A. B. J., Karagiannis, G. & Smit, G. J. M., 25 Sep 2013, In : IEEE transactions on antennas and propagation. 62, 12, p. 6496-6501 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Direction of arrival
Antennas
Communication
41 Downloads (Pure)

Using Trusted Execution Environments in Two-factor Authentication: comparing approaches

van Rijswijk, R. M. & Poll, E., Sep 2013, Proceedings of the Open Identity Summit 2013 (OID 2013). Bonn, Germany: Gesellschaft for Informatik, p. 20-31 12 p. (Lecture Notes in Informatics; vol. P-223).

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

File
5 Citations (Scopus)
359 Downloads (Pure)

WirelessHART modeling and performance evaluation

Remke, A. K. I. & Wu, X., 24 Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013. USA: IEEE Computer Society, p. 1-12 12 p.

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

File
2012
78 Downloads (Pure)

2012 IEEE Vehicular Networking Conference (VNC)

Altintas, O. (ed.), Chen, W., Heijenk, G. (ed.), Oh, H. S., Chung, J-M., Dressler, F. (ed.), Kargl, F. (ed.), Pau, G. & Schoch, E., 14 Nov 2012, USA: IEEE. 264 p. (CTIT Workshop Proceedings Series; no. WP 12-03)

Research output: Book/ReportBook editingAcademic

File
33 Citations (Scopus)
134 Downloads (Pure)

A First Look into SCADA Network Traffic

Barbosa, R. R. R., Sadre, R. & Pras, A., Apr 2012, Proceedings IEEE/IFIP Network Operations and Management Symposium (NOMS 2012). USA: IEEE Computer Society, p. 518-521 4 p.

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

File
63 Downloads (Pure)

A logic for model-checking of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., 30 Mar 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-12-11)

Research output: Book/ReportReportProfessional

File
50 Downloads (Pure)

Analysis methodology for flow-level evaluation of a hybrid mobile-sensor network

Dimitrova, D. C., Heijenk, G. & Braun, T., 2012, Third International ICST Conference on Mobile Lightweight Wireless Systems, Mobilight 2011, Revised Selected Papers. Berlin: Springer, p. 347-355 9 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 81).

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

File
2 Citations (Scopus)
15 Downloads (Pure)

Analysis of revenue improvements with runtime adaptation of service composition based on conditional request retries

Zivkovic, M. & van den Berg, H. L., Sep 2012, First European Conference on Service Oriented and Cloud Computing (ESOCC 2012). Berlin: Springer, p. 169-183 15 p. (Lecture Notes in Computer Science; vol. 7592).

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

File
5 Citations (Scopus)

Analytically modelling the performance of piggybacking on beacons in VANETs

Klein Wolterink, W., Heijenk, G. & van den Berg, H. L., Jun 2012, Proceedings of the ninth ACM international workshop on Vehicular inter-networking, systems, and applications, VANET '12. New York: Association for Computing Machinery (ACM), p. 43-52 10 p.

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

2 Citations (Scopus)
43 Downloads (Pure)

Analyzing Dissemination Redundancy to Achieve Data Consistency in VANETs

Dietzel, S., Petit, J., Kargl, F. & Heijenk, G., Jun 2012, Proceedings of the Ninth ACM International Workshop on Vehicular Ad Hoc Networks (VANET 2012). New York: Association for Computing Machinery (ACM), p. 131-134 3 p.

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

File
16 Citations (Scopus)
29 Downloads (Pure)

An analytical model for beaconing in VANETs

van Eenennaam, M., Remke, A. K. I. & Heijenk, G., 14 Nov 2012, Fourth IEEE Vehicular Networking Conference (VNC 2012). USA: IEEE Communications Society, p. 9-16 8 p.

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

File
2 Citations (Scopus)
46 Downloads (Pure)

An analytical model for the performance of geographical multi-hop broadcast

Klein Wolterink, W., Heijenk, G. & van den Berg, H. L., Nov 2012, Proceedings of the 2012 IEEE Vehicular Networking Conference (VNC). USA: IEEE Intelligent Transportation Systems Society, p. 242-249 8 p.

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

File
17 Downloads (Pure)

Assessing dependability and resilience in critical infrastructures: challenges and opportunities

Avritzer, A., Di Giandomenico, F., Remke, A. K. I. & Riedl, M., 1 Jan 2012, Resilience assessment and evaluation of computing systems. Wolter, K., Avritzer, A., Vieira, M. & van Moorsel, A. (eds.). Berlin: Springer, p. 41-63 23 p.

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

File
14 Citations (Scopus)
50 Downloads (Pure)

Autonomic Parameter Tuning of Anomaly-Based IDSs: an SSH Case Study

Sperotto, A., Mandjes, M. R. H., Sadre, R., de Boer, P-T. & Pras, A., Jun 2012, In : IEEE transactions on network and service management. 9, 2, p. 128-141 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
31 Citations (Scopus)
166 Downloads (Pure)

Difficulties in Modeling SCADA Traffic: A Comparative Analysis

Barbosa, R. R. R., Sadre, R. & Pras, A., Mar 2012, 13th International Conference on Passive and Active Measurement, PAM 2012. Berlin: Springer, p. 126-135 10 p. (Lecture Notes in Computer Science; vol. 7192).

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

File
49 Downloads (Pure)

Estimating Bandwidth Requirements using Flow-level Measurements

Bruyère, P. (ed.), de Oliveira Schmidt, R., Sperotto, A., Sadre, R. & Pras, A., May 2012. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
15 Downloads (Pure)

Evaluating the Impact of Transmission Power on Selecting Tall Vehicles as Best Next Communication Hop

Qiao, Y., Klein Wolterink, W., Karagiannis, G. & Heijenk, G., Jun 2012, Joint ERCIM eMobility and MobiSense Workshop 2012. Bern, Switzerland: University of Bern, p. 15-26 12 p.

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

File
Power transmission
Communication
Vehicular ad hoc networks
Power control
Vehicle to vehicle communications
13 Citations (Scopus)
36 Downloads (Pure)

Evaluation of CACC String Stability using SUMO, Simulink, and OMNeT++

Lei, C., van Eenennaam, M., Klein Wolterink, W., Ploeg, J., Karagiannis, G. & Heijenk, G., 2012, In : EURASIP journal on wireless communications and networking. 2012, 116, p. 116:1-116:12 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
20 Downloads (Pure)

Fast simulation for slow paths in Markov models

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jun 2012, Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012. Trondheim, Norway: NTNU University Press, p. 36-38 3 p.

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

File
12 Citations (Scopus)
250 Downloads (Pure)

Impact of IEEE 1609.4 channel switching on the IEEE 802.11p beaconing performance

van Eenennaam, M., van de Venis, A. & Karagiannis, G., 21 Nov 2012, IFIP Wireless Days 2012. Dublin, Ireland: IEEE Communications Society, p. - 8 p.

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

File
1 Citation (Scopus)
37 Downloads (Pure)

Impact of Relay Station Positioning on LTE Uplink Performance at Flow Level

te Hennepe, D. H., van den Berg, H. L. & Karagiannis, G., 26 Jul 2012, IEEE Global Communications Conference (GLOBECOM), 2012. Piscataway, NJ: IEEE Communications Society, p. 1586-1592 7 p.

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

File
Long Term Evolution (LTE)
Throughput
Experiments
7 Citations (Scopus)
52 Downloads (Pure)

Improving information dissemination in sparse vehicular networks by adding satellite communication

Kloiber, B., Strang, T., Spijker, H. & Heijenk, G., Jun 2012, 2012 IEEE Intelligent Vehicles Symposium, IV'12. USA: IEEE, p. 611-617 7 p.

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

File
37 Downloads (Pure)

Improving Response Deliverability in DNS(SEC)

van den Broek, G., van Rijswijk, R., van Rijswijk, R. M., Pras, A. & Sperotto, A., May 2012, TERENA Networking Conference 2012. Amsterdam, The Netherlands: Trans-European Research and Education Networking Association, p. - 1 p.

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

File
Internet
231 Citations (Scopus)
1836 Downloads (Pure)

Inside Dropbox: Understanding Personal Cloud Storage Services

Drago, I., Mellia, M., Munafò, M. M., Sperotto, A., Sadre, R. & Pras, A., Nov 2012, Proceedings of the 2012 ACM Conference on Internet measurement, IMC 2012. New York: Association for Computing Machinery (ACM), p. 481-494 14 p.

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

File
8 Citations (Scopus)
20 Downloads (Pure)

Internet Bad Neighborhoods Aggregation

Moreira Moura, G., Sadre, R., Sperotto, A. & Pras, A., Apr 2012, Proceedings of IEEE/IFIP Network Operations and Management Symposium (NOMS 2012). Paschoal Gaspary, L. & De Turk, F. (eds.). USA: IEEE Communications Society, p. 343-350 8 p.

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

File
20 Downloads (Pure)

Joint ERCIM eMobility and MobiSense Workshop

Dimitrova, D. C. (ed.), Brogle, M. (ed.), Braun, T. (ed.), Heijenk, G. (ed.) & Meratnia, N. (ed.), Jun 2012, Bern, Switzerland: University of Bern. 70 p.

Research output: Book/ReportBook editingAcademic

File
42 Downloads (Pure)

Lifetime Improvement by Battery Scheduling

Jongerden, M. R., Schmitt, J. B. (ed.) & Haverkort, B. R. H. M., Mar 2012, p. 106-120. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Scheduling
Mobile devices
Recovery
Kinetics
327 Downloads (Pure)

Modeling and Evaluation of LTE in Intelligent Transportation Systems

Trichias, K., van den Berg, H. L., de Jongh, J. & Litjens, R., Jun 2012, Joint ERCIM eMobility and MobiSense Workshop. Dimitrova, D. C., Brogle, M., Braun, T., Heijenk, G. J. & Meratnia, N. (eds.). Bern, Switzerland: University of Bern, p. 48-59 12 p.

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

File
Communication
23 Downloads (Pure)

Noise based transmitted reference modulation for wireless sensor networks

Mahboob, M., Meijerink, A., Morshed, S., Heijenk, G. & Bentum, M. J., 11 Apr 2012. 2 p.

Research output: Contribution to conferencePaperAcademic

File
41 Downloads (Pure)

Overview of Pre-Congestion Notification Encoding

Karagiannis, G., Chan, K., Moncaster, T., Menth, M., Eardley, P. & Briscoe, B., Jul 2012, Proceeedings of the 84th Internet Engineering Task Force (IETF). Canada: Internet Engineering Task Force (IETF), p. 01-20 20 p. (RFC Document Series; no. 6627).

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

File
22 Citations (Scopus)
40 Downloads (Pure)

Performance of Cloud Computing Centers with Multiple Priority Classes

Ellens, W., Zivkovic, M., Akkerboom, J., Litjens, R. & van den Berg, H. L., Jun 2012, Proceedings of the 5th International Conference on Cloud Computing, CLOUD 2012. USA: IEEE Computer Society, p. 245-252 8 p.

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

File
41 Downloads (Pure)

Pre-Congestion Notification (PCN) Boundary-Node Behavior for the Controlled Load (CL) Mode of Operation

Charny, A., Huang, F., Karagiannis, G., Menth, M. & Taylor, T., Jul 2012, Proceeedings of the 84th Internet Engineering Task Force (IETF). Canada: Internet Engineering Task Force (IETF), p. 01-33 33 p. (RFC Document Series; no. 6661).

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

File
28 Downloads (Pure)

Pre-Congestion Notification (PCN) Boundary-Node Behavior for the Single Marking (SM) Mode of Operation

Charny, A., Zhang, J., Karagiannis, G., Menth, M. & Taylor, T., Jul 2012, Proceeedings of the 84th Internet Engineering Task Force (IETF). Canada: Internet Engineering Task Force (IETF), p. 01-31 31 p. (RFC Document Series; no. 6662).

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

File