Research Group: Design and Analysis of Communication Systems (DACS)

These publication lists might not be complete. Publications are added regularly.

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989
Number of items: 569.

2014

Oliveira Schmidt, R. de and Sadre, R. and Sperotto, A. and Berg, H. van den and Pras, A. (2014) A hybrid procedure for efficient link dimensioning. Computer networks, 67 . pp. 252-269. ISSN 1389-1286

Barbosa, Rafael Ramos Regis (2014) Anomaly detection in SCADA systems: a network based approach. thesis.

Karimzadeh, Morteza and Valtulina, Luca and Karagiannis, Georgios (2014) Applying SDN/OpenFlow in Virtualized LTE to support Distributed Mobility Management (DMM). In: 4th International Conference on Cloud Computing and Services Science, CLOSER 2014, 3-5 April 2014, Barcelona, Spain (pp. p. 86).

Broek, Gijs van den and Rijswijk-Deij, Roland van and Sperotto, Anna and Pras, Aiko (2014) DNSSEC meets real world: dealing with unreachability caused by fragmentation. IEEE communications magazine, 52 (4). pp. 154-160. ISSN 0163-6804

Haveman, Steven P. and Bonnema, G. Maarten and Berg, Freek G.B. van den (2014) Early Insight in Systems Design through Modeling and Simulation. Procedia computer science, 28 . pp. 171-178. ISSN 1877-0509

Dietrich, Sven and Ham, Jeroen van der and Pras, Aiko and Rijswijk-Deij, Roland van and Shou, Darren and Sperotto, Anna and Wynsberghe, Aimee van and Zuck, Lenore D. (2014) Ethics in data sharing: developing a model for best practice. In: IEEE CS Security and Privacy Workshop on Cyber-security Research Ethics Dialog & Strategy Workshop, CREDS 2014, 17 May, 2014, San Jose, CA, USA.

Postema, Björn and Remke, Anne and Haverkort, Boudewijn R. and Ghasemieh, Hamed (2014) Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. In: 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014, 17-19 March 2014, Bamberg, Germany (pp. pp. 255-259).

Oliveira Schmidt, Ricardo de and Sadre, Ramin and Melnikov, Nikolay and Schönwälder, Jürgen and Pras, Aiko (2014) Linking network usage patterns to traffic Gaussianity fit. In: 13th IFIP Networking Conference, 2-4 June 2014, Trondheim, Norway (pp. pp. 1-9).

Karagiannis, G. and Pham, G.T. and Nguyen, A.D. and Heijenk, G.J. and Haverkort, B.R. and Campfens, F. (2014) Performance of LTE for smart grid communications. In: 17th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, 17-19 March 2014, Bamberg, Germany.

Hoogesteger, Martijn and Oliveira Schmidt, Ricardo de and Sperotto, Anna and Pras, Aiko (2014) ReFlow: Reports on Internet Traffic. In: TERENA Networking Conference, 19-22 May 2014, Dublin, Ireland.

Zivkovic, Miroslav (2014) Runtime QoS control and revenue optimization within service oriented architecture. thesis.

Hendriks, Luuk and Hofstede, Rick and Sperotto, Anna and Pras, Aiko (2014) SSHCure: SSH Intrusion Detection using NetFlow and IPFIX. In: TERENA Networking Conference 2014, 19-22 May 2014, Dublin, Ireland (pp. p. 22).

Haverkort, Boudewijn R. and Postema, Björn (2014) Towards Simple Models for Energy-Performance Trade-Offs in Data Centers. In: MMB & DFT 2014 International Workshops SOCNET 2014 and FGENET 2014, 19 March 2014, Bamberg, Germany (pp. pp. 113-122).

Karimzadeh, Morteza and Satria, Triadimas and Karagiannis, Georgios (2014) Utilizing ICN/CCN for service and VM migration support in virtualized LTE systems. In: 4th International Conference on Cloud Computing and Services Science, CLOSER 2014, 3-5 April 2014, Barcelona, Spain (pp. p. 84).

2013

Dimitrova, Desislava and Brogle, Marc and Braun, Torsten and Heijenk, Geert , eds. (2013) 2nd Joint ERCIM eMobility and MobiSense Workshop. University of Bern, Bern, Switzerland. ISBN 9783952271940

Kolesnichenko, Anna and Boer, Pieter-Tjerk de and Remke, Anne and Haverkort, Boudewijn R. (2013) A logic for model-checking mean-field models. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013, 24-27 June 2013, Budapest, Hungary (pp. pp. 1-12).

Morshed, Sarwar and Heijenk, Geert and Meijerink, Arjan and Ye, Dawei and Zee, Ronan van der and Bentum, Mark (2013) A new energy-efficient MAC protocol with noise-based transmitted-reference modulation for wireless sensor network. In: Sense of Contact 15 - Sensors across the application domains, 10 April 2013, Soesterberg, The Netherlands (pp. pp. 1-2).

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2013) Analysis of a sewage treatment facility using hybrid Petri nets. In: 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, 10-12 December 2013, Torino, Italy.

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Automated rare event simulation for stochastic Petri nets. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 372-388).

Drago, Idilio and Bocchi, Enrico and Mellia, Marco and Slatman, Herman and Pras, Aiko (2013) Benchmarking personal cloud storage. In: 13th ACM Internet Measurement Conference, IMC 2013, 23-25 October 2013, Barcelona, Spain.

Haverkort, Boudewijn R. (2013) Challenges for modelling and analysis in embedded systems and systems-of-systems design. In: Advances in Systems of Systems, AiSoS 2013, March 16, 2013, Rome, Italy (pp. pp. 40-46).

Staring, A.J. and Karagiannis, G. (2013) Cloud computing models and their application in LTE based cellular systems. In: IEEE ICC'13 : 1st International Workshop on Mobile Cloud Networking and Services, MCN 2013, 9-13 June 2013, Budapest, Hungary (pp. pp. 750-755).

Liebsch, M. and Seite, P. and Karagiannis, G. (2013) Distributed mobility management - framework & analysis. [Report]

Reijsbergen, Daniël Petrus (2013) Efficient simulation techniques for stochastic model checking. thesis.

Moreira Moura, Giovane C.M. and Sperotto, Anna and Sadre, Ramin and Pras, Aiko (2013) Evaluating Third-Party Bad Neighborhood Blacklists for Spam Detection. In: Proceedings of IFIP/IEEE International Symposium on Integrated Network Management 2013, 27-31 May 2013, Ghent, Belgium.

Heijenk, Geert (2013) Exploring Space – towards high-capacity inter-vehicular communications. In: Inter-Vehicular Communication - Quo Vadis (Dagstuhl Seminar 13392), 22-25 September 2013, Dagstuhl, Germany.

Barbosa, Rafael Ramos Regis and Pras, Aiko and Sadre, Ramin (2013) Flow whitelisting in SCADA networks. In: Seventh Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, March 18-20, 2013, Washington, DC, USA.

Barbosa, Rafael Ramos Regis and Sadre, Ramin and Pras, Aiko (2013) Flow whitelisting in SCADA networks. International journal of critical infrastructure protection, 6 (3-4). pp. 150-158. ISSN 1874-5482

Ellens, W. and Zuraniewski, P. and Sperotto, A. and Schotanus, H. and Mandjes, M.R.H. and Meeuwissen, E. (2013) Flow-based detection of DNS tunnels. In: Emerging Management Mechanisms for the Future Internet. Lecture Notes in Computer Science , 7943 . Springer Verlag, Berlin, pp. 124-135. ISBN 9783642389979

Korevaar, C. Willem and Kokkeler, André B.J. and Boer, Pieter-Tjerk de and Smit, Gerard J.M. (2013) Fourier-Hermite communications; where Fourier meets Hermite. In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2013, 26-31 May 2013, Vancouver, Canada (pp. pp. 4723-4727).

Gozalvez, Javier and Haerri, Jerome and Hartenstein, Hannes and Heijenk, Geert and Kargl, Frank and Petit, Jonathan and Scheuermann, Björn and Tieler, Tessa (2013) Fundamentals: IVC and computer science. In: Inter-Vehicular Communication - Quo Vadis (Dagstuhl Seminar 13392), 22 - 25 September 2013, Dagstuhl, Germany (pp. pp. 205-206).

Oliveira Schmidt, Ricardo de and Sadre, Ramin and Pras, Aiko (2013) Gaussian traffic revisited. In: IFIP Networking Conference 2013, 22-24 May 2013, Brooklyn, NY, USA.

Dietzel, Stefan and Petit, Jonathan and Heijenk, Geert and Kargl, Frank (2013) Graph-based metrics for insider attack detection in VANET multihop data dissemination protocols. IEEE Transactions on vehicular technology, 62 (4). pp. 1505-1518. ISSN 0018-9545

Moreira Moura, Giovane César (2013) Internet bad neighborhoods. thesis.

Karagiannis, Georgios and Heijenk, Geert and Festag, Andreas and Petrescu, Alexandru and Chaiken, Alison (2013) Internet-wide geo-networking problem statement. [Report]

Celeda, Pavel and Velan, Petr and Rabek, Martin and Hofstede, Rick and Pras, Aiko (2013) Large-scale geolocation for NetFlow. In: 13th IFIP/IEEE International Symposium on Integrated Network Management, IM 2013, 27-31 May 2013, Ghent, Belgium (pp. pp. 1015-1020).

Oliveira Schmidt, R. de and Sadre, R. and Sperotto, A. and Pras, A. (2013) Lightweight link dimensioning using sFlow sampling. In: 9th International Conference on Network and Services Management, CNSM 2013, 14-18 October 2013, Zurich, Switzerland.

Klein Wolterink, Wouter (2013) Location-based forwarding in vehicular networks. thesis.

Hofstede, Rick and Drago, Idilio and Sperotto, Anna and Sadre, Ramin and Pras, Aiko (2013) Measurement artifacts in NetFlow data. In: 14th International Conference on Passive and Active Measurement, PAM 2013, 18-19 March 2013, Hong Kong, China (pp. pp. 1-10).

Drago, Idilio and Hofstede, Rick and Sadre, Ramin and Sperotto, Anna and Pras, Aiko (2013) Measuring cloud service health using NetFlow/IPFIX: the WikiLeaks case. Journal of network and systems management . ISSN 1064-7570

Jamakovic, Almerima and Bohnert, Thomas Michael and Karagiannis, Georgios (2013) Mobile cloud networking: mobile network, compute, and storage as one service on-demand. In: The future internet - Future Internet Assembly 2013: Validated results and new horizons. Lecture notes in computer science, 7858 . Springer, Berlin, Germany, pp. 356-358. ISBN 9783642380815

Heijenk, G. (2013) Mobility2.0: co-operative ITS systems for enhanced electric vehicle mobility. In: 2nd Joint ERCIM eMobility and MobiSense Workshop, 4 June 2013, St. Petersburg, Russia (pp. pp. 7-8).

Baier, C. and Hahn, E.M. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2013) Model checking for performability. Mathematical structures in computer science, 23 (Special Issue 04). pp. 751-795. ISSN 0960-1295

Drago, I. and O. Schmidt, R. de and Hofstede, R. and Sperotto, A. and Karimzadeh, M. and Haverkort, B.R. and Pras, A. (2013) Networking for the cloud: challenges and trends. PIK - Praxis der Informationsverarbeitung und Kommunikation, 36 (4). pp. 207-214. ISSN 0930-5157

Berg, Freek van den and Remke, Anne and Mooij, Arjan and Haverkort, Boudewijn (2013) Performance evaluation for collision prevention based on a domain specic language. In: 10th European Workshop on Performance Engineering, EPEW 2013, 16-17 September 2013, Venice, Italy (pp. pp. 276-287).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Recent advances in importance sampling for statistical model checking. In: First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France.

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Reliable sequential testing for statistical model checking. In: First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France.

Doyen, Guillaume and Waldburger, Martin and Sperotto, Anna and Celeda, Pavel and Gorricho, Juan-Luis and Schaaf, Thomas and Serrat, Joan (2013) Report on the 7th International Conference on Autonomous Infrastructure, Management, and Security (AIMS 2013): Emerging Management Mechanisms for the Future Internet. Journal of network and systems management . ISSN 1064-7570

Hoogesteger, Martijn and Oliveira Schmidt, Ricardo de and Sperotto, Anna and Pras, Aiko (2013) Reports on internet traffic statistics. In: TERENA Networking Conference, TNC 2013, 3-6 June 2013, Maastricht, The Netherlands (pp. p. 19).

Eenennaam, Emiel Martijn van (2013) Scalable beaconing for cooperative adaptive cruise control. thesis.

Moura, Giovane C.M. and Pras, Aiko and Fioreze, Tiago and Boer, Pieter-Tjerk de (2013) Self-management of hybrid networks – hidden costs due to TCP performance problems. In: 19th EUNICE/IFIP WG 6.6 International Workshop on Advances in Communication Networking, 28-30 August 2013, Chemnitz, Germany (pp. pp. 54-65).

Rawat, Danda B. and Heijenk, Geert and Weigle, Michele C. and Bista, Bhed Bahadur and Chen, Yuh-Shyan (2013) Special issue of Ad Hoc Networks on recent advances in vehicular communications and networking (editorial). Ad hoc networks, 11 (7). pp. 1989-1991. ISSN 1570-8705

Ghasemieh, Hamed and Remke, Anne and Haverkort, Boudewijn R. (2013) Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. In: 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013, 2-4 December 2013, Vancouver, Canada.

Korevaar, C. Willem and Kokkeler, André B.J. and Boer, Pieter-Tjerk de and Smit, Gerard J.M. (2013) Synchronization and matched filtering in time-frequency using the sunflower spiral. In: IEEE Global Communications Conference, GLOBECOM 2012, 3-7 December 2012, Anaheim, CA, USA (pp. 3959 -3964).

Morshed, Sarwar and Heijenk, Geert (2013) TR-MAC: an energy-efficient MAC protocol for wireless sensor networks exploiting noise-based transmitted reference modulation. In: 2nd Joint ERCIM eMobility and MobiSense Workshop, 4 June 2013, St. Petersburg, Russia (pp. pp. 58-71).

Wynsberghe, Aimee L. van and Moura, Giovane C.M (2013) The concept of embedded values and the example of internet security. [Report]

Haverkort, Boudewijn R. (2013) The dependable systems-of-systems design challenge. IEEE security & privacy, 11 (5). pp. 62-65. ISSN 1540-7993

Hofstede, Rick and Bartos, Vaclav and Sperotto, Anna and Pras, Aiko (2013) Towards real-time intrusion detection for NetFlow and IPFIX. In: 9th International Conference on Network and Service Management, CNSM 2013, 14-18 October 2013, Zürich, Switserland (pp. pp. 227-234).

Drago, Idilio (2013) Understanding and monitoring cloud services. thesis.

Remke, Anne and Wu, Xian (2013) WirelessHART modeling and performance evaluation. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013, 24-27 June 2013, Budapest, Hungary (pp. pp. 1-12).

2012

Altintas, Onur and Chen, Wai and Heijenk, Geert and Oh, Hyun Seo and Chung, Jong-Moon and Dressler, Falko and Kargl, Frank and Pau, Giovanni and Schoch, Elmar , eds. (2012) 2012 IEEE Vehicular Networking Conference (VNC): Demo Summaries. CTIT workshop proceedings series ; WP 12-03 (WP 12-03). University of Twente, Enschede, the Netherlands.

Barbosa, Rafael Ramos Regis and Sadre, Ramin and Pras, Aiko (2012) A First Look into SCADA Network Traffic. In: IEEE/IFIP Network Operations and Management Symposium, NOMS 2012, 16-20 April 2012, Maui, Hawaii, USA (pp. 518-521).

Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn R. (2012) A logic for model-checking of mean-field models. [Report]

Eenennaam, Martijn van and Remke, Anne and Heijenk, Geert (2012) An analytical model for beaconing in VANETs. In: Fourth IEEE Vehicular Networking Conference, VNC 2012, 14-16 November 2012, Seoul, South Korea (pp. pp. 9-16).

Klein Wolterink, W. and Heijenk, G.J. and Berg, J.L. van den (2012) An analytical model for the performance of geographical multi-hop broadcast. In: IEEE Vehicular Networking Conference, VNC 2012, 14-16 November 2012, Seoul, Korea (pp. pp. 242-249).

Zivkovic, Miroslav and Berg, Hans van den (2012) Analysis of revenue improvements with runtime adaptation of service composition based on conditional request retries. In: First European Conference on Service Oriented and Cloud Computing, ESOCC 2012, 19-21 September 2012, Bertinoro, Italy (pp. pp. 169-183).

Klein Wolterink, Wouter and Heijenk, Geert and Berg, Hans van den (2012) Analytically modelling the performance of piggybacking on beacons in VANETs. In: 9th ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications, VANET 2012, 25 June 2012, Low Wood Bay, Lake District, UK (pp. pp. 43-52).

Avritzer, Alberto and Di Giandomenico, Felicita and Remke, Anne and Riedl, Martin (2012) Assessing dependability and resilience in critical infrastructures: challenges and opportunities. In: Resilience assessment and evaluation of computing systems. Springer, Berlin, Germany, pp. 41-63. ISBN 9783642290312

Sperotto, Anna and Mandjes, Michel and Sadre, Ramin and Boer, Pieter-Tjerk de and Pras, Aiko (2012) Autonomic Parameter Tuning of Anomaly-Based IDSs: an SSH Case Study. IEEE Transactions on Network and Service Management, 9 (2). pp. 128-141. ISSN 1932-4537

Coenen, T.J.M. and Berg, H. van den and Boucherie, R.J. and Graaf, M. de and Al Hanbali, A.M. (2012) Bottlenecks and stability in networks with contending nodes. AEU - International Journal of Electronics and Communications, 67 (2). pp. 88-97. ISSN 1434-8411

Barbosa, Rafael R.R. and Sadre, Ramin and Pras, Aiko (2012) Difficulties in Modeling SCADA Traffic: A Comparative Analysis. In: 13th International Conference on Passive and Active Measurement, PAM 2012, March 12-14, 2012, Vienna, Austria (pp. pp. 126-135).

O. Schmidt, Ricardo de and Sperotto, Anna and Sadre, Ramin and Pras, Aiko (2012) Estimating Bandwidth Requirements using Flow-level Measurements. In: TERENA Networking Conference 2012, 21-24 May 2012, Reykjavík, Iceland.

Qiao, Yu and Klein Wolterink, Wouter and Karagiannis, Georgios and Heijenk, Geert (2012) Evaluating the Impact of Transmission Power on Selecting Tall Vehicles as Best Next Communication Hop. In: Joint ERCIM eMobility and MobiSense Workshop 2012, 8 June 2012, Santorini, Greece (pp. pp. 15-26).

Lei, Chenxi and Eenennaam, Emiel Martijn van and Klein Wolterink, Wouter and Ploeg, Jeroen and Karagiannis, Georgios and Heijenk, Geert (2012) Evaluation of CACC string stability using SUMO, Simulink, and OMNeT++. EURASIP Journal on Wireless Communications and Networking, 2012 (116). ISSN 1687-1499

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Fast simulation for slow paths in Markov models. In: Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 June 2012, Trondheim, Norway (pp. pp. 36-38).

Eenennaam, Martijn van and Venis, Anne van de and Karagiannis, Georgios (2012) Impact of IEEE 1609.4 channel switching on the IEEE 802.11p beaconing performance. In: IFIP Wireless Days 2012, 21-23 November 2012, Dublin, Ireland.

Hennepe, D.H. te and Berg, J.L. van den and Karagiannis, G. (2012) Impact of relay station positioning on LTE uplink performance at flow level. In: IEEE Global Telecommunications Conference 2012, Globecom 2012, 3-7 December 2012, Anaheim, CA, USA.

Broek, Gijs van den and Rijswijk, Roland van and Pras, Aiko and Sperotto, Anna (2012) Improving Response Deliverability in DNS(SEC). In: TERENA Networking Conference 2012, 21-24 May 2012, Reykjavík, Iceland.

Kloiber, Bernhard and Strang, Thomas and Spijker, Hanno and Heijenk, Geert (2012) Improving information dissemination in sparse vehicular networks by adding satellite communication. In: IEEE Intelligent Vehicles Symposium, IV 2012, 3-7 June 2012, Alcalá de Henares, Spain.

Drago, Idilio and Mellia, Marco and Munafò, Maurizio M. and Sperotto, Anna and Sadre, Ramin and Pras, Aiko (2012) Inside Dropbox: Understanding Personal Cloud Storage Services. In: ACM-SIGCOMM Internet Measurement Conference, ICM 2012, 14-16 November 2012, Boston, MA, USA.

Moura, Giovane C.M. and Sadre, Ramin and Sperotto, Anna and Pras, Aiko (2012) Internet Bad Neighborhoods Aggregation. In: IEEE/IFIP Network Operations and Management Symposium, NOMS 2012, 16-20 April 2012, Maui, Hawaii, USA.

Dimitrova, Desislava and Brogle, Marc and Braun, Torsten and Heijenk, Geert and Meratnia, Nirvana , eds. (2012) Joint ERCIM eMobility and MobiSense Workshop. University of Bern, Bern, Switzerland. ISBN 9783952271933

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2012) Lifetime Improvement by Battery Scheduling. In: 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolarance, MMB & DFT 2012, 19-21 March 2012, Kaiserslautern, Germany (pp. pp. 106-120).

Trichias, K. and Berg, J.L. van den and Heijenk, G.J. and Jongh, J. de and Litjens, R. (2012) Modeling and Evaluation of LTE in Intelligent Transportation Systems. In: Joint ERCIM eMobility and MobiSense Workshop, 8 June 2012, Santorini, Greece (pp. pp. 48-59).

Karagiannis, G. and Chan, K. and Moncaster, T. and Menth, M. and Eardley, P. and Briscoe, B. (2012) Overview of Pre-Congestion Notification Encoding. In: 84th Internet Engineering Task Force (IETF), 29 July - 3 August 2012, Vancouver, Canada.

Ellens, W. and Zivkovic, M. and Akkerboom, J. and Litjens, R. and Berg, H. van den (2012) Performance of Cloud Computing Centers with Multiple Priority Classes. In: 5th International Conference on Cloud Computing, CLOUD 2012, 24-29 June 2012, Honolulu, HI, USA (pp. pp. 245-252).

Charny, A. and Huang, F. and Karagiannis, G. and Menth, M. and Taylor, T. (2012) Pre-Congestion Notification (PCN) Boundary-Node Behavior for the Controlled Load (CL) Mode of Operation. In: 84th Internet Engineering Task Force (IETF), 29 July - 3 August 2012, Vancouver, Canada.

Charny, A. and Zhang, J. and Karagiannis, G. and Menth, M. and Taylor, T. (2012) Pre-Congestion Notification (PCN) Boundary-Node Behavior for the Single Marking (SM) Mode of Operation. In: 84th Internet Engineering Task Force (IETF), 29 July - 3 August 2012, Vancouver, Canada.

Klein Wolterink, W. and Heijenk, G. and Berg, J.L. van den (2012) Proof of node densities. [Report]

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Rare event simulation for highly dependable systems with fast repairs. Performance evaluation, 69 (7–8). pp. 336-355. ISSN 0166-5316

Hofstede, Rick and Pras, Aiko (2012) Real-Time and Resilient Intrusion Detection: A Flow-Based Approach. In: 6th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, 4-8 June 2012, Luxembourg, Luxembourg (pp. pp. 109-112).

Hofstede, Rick and Pras, Aiko (2012) Real-Time and Resilient Intrusion Detection: A Flow-Based Approach. In: TERENA Networking Conference 2012, 21-24 May 2012, Reykjavik, Iceland.

Ghasemieh, H and Remke, A.K.I. and Haverkort, B.R.H.M. and Gribaudo, M. (2012) Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, 18-20 September 2012, London, UK (pp. pp. 139-154).

Karagiannis, G. and Taylor, T. and Chan, K. and Menth, M. and Eardley, P. (2012) Requirements for Signaling of Pre-Congestion Information in a Diffserv Domain. In: 84th Internet Engineering Task Force (IETF), 29 July - 3 August 2012, Vancouver, Canada.

Zivkovic, M. and Bosman, J.W. and Berg, H. van den and Mei, R.D. van der and Meeuwissen, H.B. and Nunez-Queija, R. (2012) Run-time Revenue Maximization for Composite Web Services with Response Time Commitments. In: 26th International Conference on Advanced Information Networking and Applications, AINA 2012, 26-29 March 2012, Fukuoka, Japan (pp. pp. 589-596).

Hellemons, Laurens and Hendriks, Luuk and Hofstede, Rick and Sperotto, Anna and Sadre, Ramin and Pras, Aiko (2012) SSHCure: a flow-based SSH intrusion detection system. In: 6th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, 4-8 June 2012, Luxembourg, Luxembourg (pp. pp. 86-97).

Bruintjes, Tom M. and Walters, Karel H.G. and Gerez, Sabih H. and Molenkamp, Bert and Smit, Gerard J.M. (2012) Sabrewing: a lightweight architecture for combined floating-point and integer arithmetic. ACM transactions on architecture and code optimization, 8 (4). pp. 1-22. ISSN 1544-3566

Pavlou, George and Pras, Aiko (2012) Series editorial: Topics in Network and Service Management. IEEE Communications Magazine, 50 (7). pp. 68-69. ISSN 0163-6804

Sadre, Ramin and Remke, Anne and Hettinga, Sjors and Haverkort, Boudewijn (2012) Simulative and Analytical Evaluation for ASD-Based Embedded Software. In: 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolarance, MMB & DFT 2012, 19-21 March 2012, Kaiserslautern, Germany (pp. pp. 166-181).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Juneja, Sandeep (2012) Some advances in importance sampling of reliability models based on zero variance approximation. In: Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 June 2012, Trondheim, Norway (pp. pp. 30-35).

Bruintjes, Tom M. and Kokkeler, André B.J. and Karagiannis, Georgios and Smit, Gerard J.M. (2012) Survey of energy efficient tracking and localization techniques in buildings using optical and wireless communication media. In: Multiple access communications, 19-20 November 2012 , Maynooth, Ireland (pp. pp. 60-74).

Brande, Jeffrey van den and Pras, Aiko (2012) The Costs of Web Advertisements while Mobile Browsing. In: 18th EUNICE/IFIP International Conference on Information and Communication Technologies, EUNICE 2012, 29-31 August 2012, Budapest, Hungary (pp. pp. 412-422).

Ottow, Christiaan and Vliet, Frank van and Boer, Pieter-Tjerk de and Pras, Aiko (2012) The Impact of IPv6 on Penetration Testing. In: 18th EUNICE/IFIP International Conference on Information and Communication Technologies, EUNICE 2012, 29-31 August 2012, Budapest, Hungary (pp. pp. 88-99).

Sadre, Ramin and Sperotto, Anna and Pras, Aiko (2012) The effects of DDoS attacks on flow monitoring applications. In: IEEE Network Operations and Management Symposium, NOMS 2012, 16-20 April 2012, Maui, Hawaii (pp. pp. 269-277).

O. Schmidt, Ricardo de and Sperotto, Anna and Sadre, Ramin and Pras, Aiko (2012) Towards Bandwidth Estimation Using Flow-Level Measurements. In: 6th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, 4-8 June 2012, Luxembourg, Luxembourg (pp. pp. 127-138).

Barbosa, Rafael Ramos Regis and Sadre, Ramin and Pras, Aiko (2012) Towards Periodicity Based Anomaly Detection in SCADA Networks. In: IEEE 17th Conference on Emerging Technologies & Factory Automation, ETFA 2012, 17-21 September 2012, Kraków, Poland.

2011

Altintas, O. and Chen, W. and Heijenk, G.J. and Dressler, F. and Ekici, E. and Kargl, F. and Shigeno, H. and Dietzel, S. , eds. (2011) 2011 IEEE Vehicular Networking Conference (VNC): Demo Summaries. CTIT Workshop Proceedings Series (WP 11-04). University of Twente, Enschede, the Netherlands. ISBN 9789461910790

Ghafoor, Kayhan Zrar and Bakar, Kamalrulnizam Abu and Eenennaam, Martijn van and Khokhar, Rashid Hafeez and Gonzalez, Alberto J. (2011) A Fuzzy Logic Approach to Beaconing for Vehicular Ad hoc Networks. Telecommunication Systems Journal . ISSN 1018-4864

Klein Wolterink, W. and Heijenk, G. and Karagiannis, G. (2011) A Proposal for Modeling Piggybacking on Beacons in VANETs. In: 3rd Wireless World Workshop, W3 2011, 27 September 2011, Enschede, the Netherlands.

Schwartz, Ramon S. and Barbosa, Rafael R.R. and Meratnia, Nirvana and Heijenk, Geert and Scholten, Hans (2011) A directional data dissemination protocol for vehicular environments. Computer Communications, 34 (17). pp. 2057-2071. ISSN 0140-3664

Yang, Yimeng and Heijenk, Geert and Haverkort, Boudewijn R. (2011) An adaptive resource control mechanism in multi-hop ad-hoc networks. In: 9th IFIP international conference on Wired/Wireless Internet Communications, WWIC 2011, 15-17 June 2011, Vilanova i la Geltrú, Spain (pp. pp. 309-322).

Dimitrova, D.C. and Heijenk, G. and Braun, T. (2011) Analysis methodology for flow-level evaluation of a hybrid mobile-sensor network. In: 1st International Workshop on Opportunistic Sensing and Processing in Mobile Wireless Sensor and Cellular networks, MobiSense 2011, 9-11 May 2011, Bilbao, Spain (pp. pp. 1-9).

Whiting, P.A. and Kramer, G. and Nuzman, C.J. and Ashikhmin, A. and Wijngaarden, A.J. van and Zivkovic, M. (2011) Analysis of Inverse Crosstalk Channel Estimation Using SNR Feedback. IEEE Transactions on Signal Processing, 59 (3). pp. 1102-1115. ISSN 1053-587X

Dimitrova, D.C. and Berg, J.L. van den and Heijenk, G.J. and Litjens, R. (2011) Analysis of packet scheduling for UMTS EUL - design decisions and performance evaluation. Journal of Internet Engineering . ISSN 1791-177X

Klein Wolterink, Wouter and Heijenk, Geert and Karagiannis, Georgios (2011) Automated Merging in a Cooperative Adaptive Cruise Control (CACC) System. In: Fifth ERCIM workshop on e-mobility. Technical University of Catalonia, Barcelona, Spain, pp. 23-26. ISBN 9788492014033

Klein Wolterink, Wouter and Heijenk, Geert and Karagiannis, Georgios (2011) Automated Merging in a Cooperative Adaptive Cruise Control (CACC) System. In: Fifth ERCIM Workshop on eMobility, June 14, 2011, Vilanova i la Geltrú, Catalonia, Spain (pp. pp. 23-26).

Hofstede, Rick and Drago, Idilio and Moura, Giovane C.M. and Pras, Aiko (2011) Carrier Ethernet OAM: An Overview and Comparison to IP OAM. In: 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, June 13-17, 2011, Nancy, France (pp. pp. 112-123).

François, Jerome and Moura, Giovane C.M. and Pras, Aiko (2011) Cleaning Your House First: Shifting the Paradigm on How to Secure Networks. In: 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, June 13-17, 2011, Nancy, France (pp. pp. 1-12).

Höfer, C.N. and Karagiannis, G. (2011) Cloud computing services: taxonomy and comparison. Journal of Internet Services and Applications, 2 (2). pp. 81-94. ISSN 1867-4828

Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Octtober 2011, Borrowdale, United Kingdom (pp. pp. 133-147).

Ploeg, Jeroen and Serrarens, Alex F.A. and Heijenk, Geert J. (2011) Connect & Drive: design and evaluation of cooperative adaptive cruise control for congestion reduction. Journal of Modern Transportation, 19 (3). pp. 207-213. ISSN 2095-087X

Reinders, René and Eenennaam, Martijn van and Karagiannis, Georgios and Heijenk, Geert (2011) Contention Window Analysis for Beaconing in VANETs. In: Seventh IEEE International Wireless Communications and Mobile Computing conference, IWCMC 2011, 5-8 July 2011, Istanbul, Turkey.

Liu, Fei (2011) Context discovery in ad-hoc networks. thesis.

Sadre, Ramin and Haverkort, Boudewijn R. (2011) Decomposition-based queueing network analysis with FiFiQueues. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science, 154 . Springer Science + Business Media, New York, pp. 643-699. ISBN 9781441964717

Klein Wolterink, Wouter and Heijenk, Geert and Karagiannis, Georgios (2011) Dissemination Protocols to Support Cooperative Adaptive Cruise Control (CACC) Merging. In: 11th International Conference on ITS Telecommunications, ITST 2011, 23-25 August 2011, Saint Petersburg, Russia (pp. pp. 15-20).

Zivkovic, M. and Bosman, J.W. and Berg, J.L. van den and Mei, R.D. van der and Meeuwissen, H.B. and Nunez-Queija, R. (2011) Dynamic Profit Optimization of Composite Web Services with SLAs. In: IEEE Global Communications Conference, GLOBECOM 2011, 5-9 December 2011, Houston, TX, USA (pp. pp. 1-6).

Oliveira Schmidt, Ricardo de and Pras, Aiko (2011) Estimating Bandwidth Requirements Using Flow-Level Measurements. In: 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, 13-17 June 2011, Nancy, France (pp. pp. 169-172).

Hofstede, Rick and Drago, Idilio and Sperotto, Anna and Pras, Aiko (2011) Ethernet Flow Monitoring with IPFIX. In: TERENA Networking Conference 2011, 16-19 May 2011, Prague, Czech Republic.

Gomes, Reinaldo and Oliveira Schmidt, Ricardo de (2011) Evaluating Automatic Pools Distribution Techniques to Self‐Configured Networks. In: 16th IEEE Symposium on Computers and Communications, ISCC 2011, 28 June - 1 July 2011, Kerkyra (Corfu), Greece.

Schmidt, Ricardo de O. and Pras, Aiko and Gomes, Reinaldo (2011) Evaluating Self-Addressing Protocols for Ad-Hoc Networks. In: ICT.OPEN 2011, 14-15 November 2011, Veldhoven, Netherlands.

Fioreze, Tiago and Heijenk, Geert (2011) Extending the Domain Name System (DNS) to Provide Geographical Addressing Towards Vehicular Ad-Hoc Networks (VANETs). In: IEEE Vehicular Networking Conference, VNC 2011 , 14-16 November 2011, Amsterdam, The Netherlands (pp. pp. 70-77).

Brogle, Marc and Masip Bruin, Xavier and Braun, Torsten and Heijenk, Geert , eds. (2011) Fifth ERCIM workshop on e-mobility. Technical University of Catalonia, Barcelona, Spain. ISBN 9788492014033

Polen, Matthijs G.T. van and Moura, Giovane C.M. and Pras, Aiko (2011) Finding and Analyzing Evil Cities on the Internet. In: 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, June 13-17, 2011, Nancy, France (pp. pp. 38-48).

Hofstede, Rick and Drago, Idilio and Sperotto, Anna and Pras, Aiko (2011) Flow Monitoring Experiences at the Ethernet-Layer. In: 17th EUNICE Workshop on Energy-Aware Communications, 5-7 September 2011, Dresden, Germany (pp. pp. 129-140).

Sperotto, Anna and Pras, Aiko (2011) Flow-Based Intrusion Detection. In: IFIP/IEEE International Symposium on Integrated Network Management, IM 2011, 23-27 May 2011, Dublin, Ireland (pp. pp. 958-963).

Haverkort, Boudewijn R. (2011) Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? In: 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, September 21-23, 2011, Aalborg, Denmark (pp. pp. 18-24).

Lei, C. and Eenennaam, E.M. van and Klein Wolterink, W. and Karagiannis, G. and Heijenk, G. and Ploeg, J. (2011) Impact of Packet Loss on CACC String Stability Performance. In: Eleventh International Workshop on ITS Telecommunications, 23-25 August 2011, Saint-Pertersburg, Russia.

Klein Wolterink, W. and Heijenk, G.J. and Karagiannis, G. (2011) Information Dissemination in VANETS by Piggybacking on Beacons - An Analysis of the Impact of Network Parameters. In: IEEE Vehicular Networking Conference, VNC 2011 , 14-16 November 2011, Amsterdam, The Netherlands (pp. pp. 155-162).

Moura, Giovane C.M. and Sadre, Ramin and Pras, Aiko (2011) Internet Bad Neighborhoods: the Spam Case. In: 7th International Conference on Network and Services Management, CNSM 2011, 24-28 October 2011, Paris, France.

Kolesnichenko, Anna and Boer, Pieter-Tjerk de and Remke, Anne and Zambon, Emmanuele and Haverkort, Boudewijn R. (2011) Is Quantitative Analysis of Stuxnet Possible? In: 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, September 5-8, 2011, Aachen, Germany (pp. pp. 9-10).

Dimitrova, D.C. and Berg, J.L. van den and Heijenk, G. and Litjens, R. (2011) LTE uplink scheduling - flow level analysis. In: 4th International Workshop on Multiple Access Communications, MACOM 2011, 11-13 September 2011, Trento, Italy (pp. pp. 181-192).

Dreo Rodosek, Gabi and Pras, Aiko and Schulzrinne, Henning and Stiller, Burkhard (2011) Learning from the Past: Implications for the Future Internet and its Management? Dagstuhl Reports, 1 (1). pp. 102-107. ISSN 2192-5283

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2011) Lifetime improvement by battery scheduling. In: 27th Annual UK Performance Engineering Workshop, UKPEW 2011, 7-8 Jul 2011, Bradford, UK (pp. pp. 56-71).

Bakhshi, Rena and Cloth, Lucia and Fokkink, Wan and Haverkort, Boudewijn R. (2011) Mean-field framework for performance evaluation of push–pull gossip protocols. Performance Evaluation, 68 (2). pp. 157-179. ISSN 0166-5316

Lind van Wijngaarden, Adriaan J. de and Kramer, Gerhard and Nuzman, Carl J. and Whiting, Philip and Zivkovic, Miroslav (2011) Method and apparatus for a self-tuning precoder. Patent.

Schüring, Markus and Karagiannis, Georgios (2011) Mobile Cloud Computing: Resource Discovery, Session Connectivity and Other Open Issues. In: ICT.OPEN 2011, 14-15 November 2011, Veldhoven, Netherlands.

Dietzel, Stefan and Kargl, Frank and Heijenk, Geert and Schaub, Florian (2011) Modeling In-Network Aggregation in VANETs. IEEE Communications Magazine, 49 (11). pp. 142-148. ISSN 0163-6804

Eenennaam, Martijn van and Hendriks, Luuk and Karagiannis, Georgios and Heijenk, Geert (2011) Oldest Packet Drop (OPD): a Buffering Mechanism for Beaconing in IEEE 802.11p VANETs. In: Third IEEE Vehicular Networking Conference, VNC 2011, 14-16 Nov 2011, Amsterdam, The Netherlands.

Nee, Floris van and Boer, Pieter-Tjerk de (2011) On the Benefit of Forward Error Correction at IEEE 802.11 Link Layer Level. In: 17th International Workshop on Energy-Aware Communications, EUNICE 2011, 5-7 September 2011, Dresden, Germany (pp. pp. 9-20).

Schmidt, Ricardo de O. and Pras, Aiko and Gomes, Reinaldo (2011) On the Evaluation of Self-Addressing Strategies for Ad-Hoc Networks. In: 17th International Workshop on Energy Aware Communications, EUNICE 2011, 5-7 September 2011, Dresden, Germany (pp. pp. 31-42).

Eenennaam, Martijn van and Heijenk, Geert and Karagiannis, Georgios and Arem, Bart van (2011) Over-the-Horizon Awareness for Advanced Driver Assistance Systems: the TrafficFilter and microSlotted 1-Persistence Flooding. [Report]

Cerná, Ivana and Haverkort, Boudewijn R. (2011) Parallel and Distributed Methods in Verification. Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X

Dimitrova, Desislava and Blom, Koen and Meratnia, Nirvana , eds. (2011) Proceedings of the 3rd Wireless World (W3) Workshop. CTIT workshop proceedings series . University of Twente, Centre for Telematics and Information Technology, Enschede, the Netherlands.

Haarman, Robbert and Liu, Fei and Goering, Patrick and Heijenk, Geert (2011) Proof-of-Concept Implementation of the Ahoy Discovery Protocol for Ad-hoc Networks. [Report]

Hartenstein, Hannes and Heijenk, Geert and Mauve, Martin and Scheuermann, Björn and Wolf, Lars (2011) Report Dagstuhl Seminar 10402 - Working Group on Fundamental Limits and Opportunities. In: Inter-Vehicular Communication, 3-6 Oct 2010, Dagstuhl, Germany.

Drago, Idilio and Sadre, Ramin and Pras, Aiko (2011) Report of the Third Workshop on the Usage of NetFlow/IPFIX in Network Management. Journal of network and systems management, 19 (4). pp. 529-535. ISSN 1064-7570

Dimitrova, D.C. and Heijenk, G. and Berg, J.L. van den and Yankov, S. (2011) Scheduler-dependent inter-cell interference and its impact on LTE uplink performance at flow level. In: 9th IFIP International Conference on Wired/Wireless Internet Communications, WWIC 2011, 15-17 June 2011, Vilanova i la Geltrú, Spain (pp. pp. 285-296).

Fioreze, Tiago and Pras, Aiko (2011) Self-Management of Hybrid Optical and Packet Switching Networks. In: 12th IFIP/IEEE International Symposium on Integrated Network Management, IM 2011, 23-27 May 2011, Dublin, Ireland (pp. pp. 946-951).

Fioreze, Tiago and Pras, Aiko (2011) Self-management of Hybrid Networks: Introduction, Pros and Cons. In: 17th International Workshop on Energy-Aware Communications, EUNICE 2011, 5-7 Sep 2011, Dresden, Germany (pp. pp. 100-111).

Pavlou, George and Pras, Aiko (2011) Series editorial: Network and Service Management Series. IEEE Communications Magazine, 49 (7). pp. 78-79. ISSN 0163-6804

Pavlou, George and Pras, Aiko (2011) Series editorial: Topics in Network and Service Management. IEEE Communications Magazine, 49 (12). pp. 64-65. ISSN 0163-6804

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation, 68 (2). pp. 105-125. ISSN 0166-5316

Brandenburg, Ray van and Deventer, M. Oskar van and Karagiannis, Georgios and Schenk, Mike (2011) Towards personalized TV for concurrent use; challenges and opportunities for IMS-based IPTV. Journal of Internet Engineering, 4 (1). ISSN 1791-177X

Dimitrova, D.C. and Berg, J.L. van den and Heijenk, G. (2011) Uplink packet scheduling in cellular networks with relaying—comparative study. Telecommunication Systems . pp. 1-10. ISSN 1018-4864

Karagiannis, Georgios and Altintas, Onur and Ekici, Eylem and Heijenk, Geert and Jarupan, Boangoat and Lin, Kenneth and Weil, Timothy (2011) Vehicular networking: A survey and tutorial on requirements, architectures, challenges, standards and solutions. IEEE Communications Surveys & Tutorials . ISSN 1553-877X

2010

Klein Wolterink, Wouter and Karagiannis, Georgios and Heijenk, Geert (2010) A Dynamic Geocast Solution to Support Cooperative Adaptive Cruise Control (CACC) Merging. In: Fourth ERCIM Workshop on eMobility, May 31, 2010, Lulea, Sweden (pp. pp. 113-119).

Schwartz, Ramon S. and Barbosa, Rafael R.R. and Meratnia, Nirvana and Heijenk, Geert and Scholten, Hans (2010) A Simple and Robust Dissemination Protocol for VANETs. In: 16th European Wireless Conference, 12-15 April 2010, Lucca, Italy. (In Press)

Menth, Michael and Lehrieder, Frank and Briscoe, Bob and Eardley, Philip and Moncaster, Tony and Babiarz, Jozef and Charny, Anna and Zhang, Xinyang (Joy) and Taylor, Tom and Chan, Kwok-Ho and Satoh, Daisuke and Geib, Ruediger and Karagiannis, Georgios (2010) A Survey of PCN-Based Admission Control and Flow Termination. IEEE Communications Surveys & Tutorials, 12 (3). pp. 357-375. ISSN 1553-877X

Miliche, Damien and Graaf, Maurits de and Hoekstra, Gerard and Jongerden, Marijn and Haverkort, Boudewijn (2010) A first Experimental Investigation of the Practical Efficiency of Battery Scheduling. In: Workshop on Ultra-Low Power Sensor Networks (WUPS), 23 Feb 2010, Hannover, Germany (pp. pp. 241-246).

Boer, Pieter-Tjerk de and Scheinhardt, Werner R.W. (2010) A new, analysis-based, change of measure for tandem queues. In: Eighth International Workshop on Rare-Event Simulation, RESIM 2010, 21-23 June 2010, Cambridge, UK (pp. pp. 12-13).

Sperotto, Anna and Schaffrath, Gregor and Sadre, Ramin and Morariu, Cristian and Pras, Aiko and Stiller, Burkhard (2010) An Overview of IP Flow-Based Intrusion Detection. IEEE Communications Surveys & Tutorials, 12 (3). pp. 343-356. ISSN 1553-877X

Dimitrova, Desislava Cvetanova (2010) Analysing uplink scheduling in mobile networks : a flow-level perspective. thesis.

Pras, Aiko and Sperotto, Anna and Moura, Giovane C.M. and Drago, Idilio and Barbosa, Rafael and Sadre, Ramin and Schmidt, Ricardo and Hofstede, Rick (2010) Attacks by “Anonymous” WikiLeaks Proponents not Anonymous. [Report]

Bakhshi, Rena and Endrullis, Jörg and Endrullis, Stefan and Fokkink, Wan and Haverkort, Boudewijn (2010) Automating the mean-field method for large dynamic gossip networks. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010, 15-18 september 2010, Williamsburg, Virginia, USA (pp. pp. 241-250).

Everdij, Maria Hendrika Clara (2010) Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes. thesis.

Jongerden, Marijn and Mereacre, Alexandru and Bohnenkamp, Henrik and Haverkort, Boudewijn and Katoen, Joost-Pieter (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203

Jongerden, Marijn and Haverkort, Boudewijn (2010) Computing lifetimes for battery-powered devices. In: Proceedings of the International Conference on Operations Research, OR2010, 1-3 Sep 2010, Munich, Germany.

Klein Wolterink, Wouter and Heijenk, Geert and Karagiannis, Georgios (2010) Constrained Geocast to Support Cooperative Adaptive Cruise Control (CACC) Merging. In: Second IEEE Vehicular Networking Conference, VNC 2010, 13-15 Dec 2010, Jersey City, NJ, USA (pp. pp. 41-48).

Malhotra, Richa and Mandjes, Michel and Scheinhardt, Werner and Berg, Hans van den (2010) Design issues of a back-pressure-based congestion control mechanism. AEU - International Journal of Electronics and Communications, 64 (8). pp. 717-728. ISSN 1434-8411

Bloem, Jan-Willem van and Boucherie, Richard J. and Goseling, Jasper and Graaf, Maurits de and Heijenk, Geert and Ommeren, Jan-Kees van and Schiphorst, Roel (2010) Effective Scheduling for Coded Distributed Storage in Wireless Sensor Networks. In: 31st Symposium on Information Theory in the Benelux, 11-12 May 2010, Rotterdam, The Netherlands (pp. pp. 193-200).

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010, 28 June - 1 July 2010, Chicago, IL, USA (pp. pp. 419-424).

Fioreze, Tiago and Heijenk, Geert (2010) Extending DNS to Support Geocasting Towards VANETs: A Proposal. In: Second IEEE Vehicular Networking Conference, VNC 2010, 13-15 Dec 2010, Jersey City, NJ, USA (pp. pp. 279-285).

Vries, Wouter Willem de and Moreira Moura, Giovane Cesar and Pras, Aiko (2010) Fighting Spam on the Sender Side: A Lightweight Approach. In: 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management, 28-30 June 2010, Trondheim, Norway (pp. pp. 188-197).

Wanrooij, Ward van and Pras, Aiko (2010) Filtering spam from bad neighborhoods. International Journal of Network Management, 20 (6). pp. 433-444. ISSN 1099-1190

Sperotto, Anna (2010) Flow-based intrusion detection. thesis.

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 27-34).

Brogle, Marc and Osipov, Evgeny and Braun, Torsten and Heijenk, Geert , eds. (2010) Fourth ERCIM Workshop on eMobility. Lulea University of Technology, Lulea, Sweden. ISBN 9789174391039

Wijngaarden, Pieter van and Eenennaam, Martijn van (2010) Frame Capture in IEEE 802.11p Vehicular Networks. In: Second Workshop on the Pervasive Application of Wireless Technologies, 28 Sept 2010, Enschede, The Netherlands (pp. pp. 15-18).

Gribaudo, Marco and Remke, Anne (2010) Hybrid Petri nets with general one-shot transitions for dependability evaluation. In: IEEE 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, 3-4 Nov 2010, San Jose, USA (pp. pp. 84-93).

Dimitrova, D.C. and Georgiev, K. (2010) Impact of relaying on inter-cell interference in mobile cellular networks. In: 16th European Wireless Conference 2010, April 12-15, 2010 , Lucca, Italy (pp. 398 -405).

Barbosa, Rafael Ramos Regis and Pras, Aiko (2010) Intrusion Detection in SCADA Networks. In: 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, June 23-25, 2010, Zurich, Switzerland (pp. pp. 163-166).

Jongerden, Marijn Remco (2010) Model-based energy analysis of battery powered systems. thesis.

Brandenburg, Ray and Deventer, M. Oskar van and Karagiannis, Georgios and Schenk, Mike (2010) Multi-User Interactive TV: the Next Step in Personalization. In: 8th European Conference on Interactive TV and Video, EuroITV 2010, 9-11 June 2010, Tampere, Finland.

Manner, J. and Karagiannis, G. and McDonald, A. (2010) NSIS Signaling Layer Protocol (NSLP) for Quality-of-Service Signaling. In: Internet Engineering Task Force (IETF), November 7-12, 2010, Bejing, China.

Biesbroek, Rudolf and Fioreze, Tiago and Granville, Lisandro Zambenedetti and Pras, Aiko (2010) On the Performance of Grooming Strategies for Offloading IP Flows onto Lightpaths in Hybrid Networks. In: 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management, 20-30 June 2010, Trondheim, Norway (pp. pp. 1-10).

Dietzel, Stefan and Kargl, Frank and Heijenk, Geert and Schaub, Florian (2010) On the Potential of Generic Modeling for VANET Data Aggregation Protocols. In: Proceedings of the 2nd IEEE Vehicular Networking Conference, 13-15 Dec 2010, Jersey City, New Jersey, USA (pp. pp. 78-85).

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performability assessment by model checking of Markov reward models. Formal Methods in System Design, 36 (1). pp. 1-36. ISSN 0925-9856

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782

Haverkort, B.R. and Kuntz, M. and Leitner-Fischer, F. and Remke, A. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 852-860).

Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Larsen, Kim G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, October 18-21, 2010, Heraklion, Greece (pp. p. 127).

Bader, A. and Westberg, L. and Karagiannis, G. and Kappler, C. and Phelan, T. (2010) RMD-QOSM: The NSIS Quality-of-Service Model for Resource Management in Diffserv. In: 79th Internet Engineering Task Force (IETF), November 7-12, 2010, Beijing, China.

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2010) Rare event simulation for highly dependable systems with fast repairs. In: Seventh International Conference on Quantitative Evaluation of SysTems, QEST 2010, 15-18 Sep 2010, Williamsburg, Virginia. (In Press)

Drago, Idilio and Barbosa, Rafael R.R. and Sadre, Ramin and Pras, Aiko and Schönwälder, Jürgen (2010) Report of the Second Workshop on the Usage of NetFlow/IPFIX in Network Management. Journal of network and systems management, 19 (2). pp. 298-304. ISSN 1064-7570 (In Press)

Keim, Daniel A. and Pras, Aiko and Schönwälder, Jürgen and Wong, Pak Chung and Mansmann, Florian (2010) Report on the Dagstuhl Seminar on Visualization and Monitoring of Network Traffic. Journal of network and systems management, 18 (2). pp. 232-236. ISSN 1064-7570

Drago, Idilio and Pras, Aiko (2010) Scalable Service Performance Monitoring. In: 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, June 23-25, 2010, Zurich, Switzerland (pp. pp. 175-178).

Dimitrova, D.C. and Berg, H. van den and Litjens, R. and Heijenk, G. (2010) Scheduling strategies for LTE uplink with flow behaviour analysis. In: Fourth ERCIM Workshop on eMobility, May 31, 2010, Lulea, Sweden (pp. pp. 15-26).

Fioreze, Tiago (2010) Self-management of hybrid optical and packet switching networks. thesis.

Fernandez Diaz, I. and Litjens, R. and Berg, C.A. van den and Dimitrova, D.C. and Spaey, K. (2010) Sensitivity of the optimal parameter settings for a LTE packet scheduler. In: 71th IEEE Vehicular Technology Conference, VTC Spring 2010, 16-19 May 2010, Taipei, Taiwan (pp. pp. 1-6).

Pavlou, George and Pras, Aiko (2010) Series editorial: Network and Service Management Series. IEEE Communications Magazine, 48 (7). pp. 84-85. ISSN 0163-6804

Remke, Anne and Haverkort, Boudewijn R. and Heijenk, Geert and Bax, Jesper (2010) Setting the parameters right for two-hop IEEE 802.11e ad hoc networks. In: 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, 15-17 March 2010, Essen, Germany (pp. pp. 168-182).

Barbosa, Rafael Ramos Regis and Sadre, Ramin and Pras, Aiko and Meent, Remco van de (2010) Simpleweb/University of Twente Traffic Traces Data Repository. [Report]

Hoefer, C.N. and Karagiannis, G. (2010) Taxonomy of cloud computing services. In: 4th IEEE Workshop on Enabling the Future Service-Oriented Internet, EFSOI '10, Workshop of IEEE GLOBECOM 2010, 6-10 Dec 2010, Miami, USA.

Simons, R.J.G and Pras, A. (2010) The Hidden Energy Cost of Web Advertising. [Report]

Hofstede, Rick and Sperotto, Anna and Fioreze, Tiago and Pras, Aiko (2010) The Network Data Handling War: MySQL vs. NfDump. In: 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management, 20-30 June 2010, Trondheim, Norway (pp. pp. 167-176).

Chen, Taolue (2010) The saga of finite equational bases over BCCSP. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 25-39.

Eenennaam, Martijn van and Karagiannis, Georgios and Heijenk, Geert (2010) Towards Scalable Beaconing in VANETs. In: Fourth ERCIM Workshop on eMobility, May 31, 2010, Lulea, Sweden (pp. pp. 103-108).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner (2010) Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths. In: Eighth International Workshop on Rare-Event Simulation, RESIM, 21-23 June 2010, Cambridge, UK (pp. pp. 26-27).

Soer, Michiel C.M. and Klumperink, Eric A.M. and Boer, Pieter Tjerk de and Vliet, Frank E. van and Nauta, Bram (2010) Unified Frequency-Domain Analysis of Switched-Series-RC Passive Mixers and Samplers. IEEE transactions on circuits and systems I: regular papers, 57 (10). pp. 2618-2631. ISSN 1549-8328

Schwartz, Ramon S. and Eenennaam, Martijn van and Karagiannis, Georgios and Heijenk, Geert and Klein Wolterink, Wouter and Scholten, Hans (2010) Using V2V communication to create Over-the-horizon Awareness in multiple-lane highway scenarios. In: IEEE Intelligent Vehicles Symposium (IV) 2010, 21-24 June 2010, La Jolla, CA, USA (pp. pp. 998-1005).

2009

Sperotto, Anna and Sadre, Ramin and Vliet, Frank van and Pras, Aiko (2009) A Labeled Data Set For Flow-based Intrusion Detection. In: IP Operations and Management. Lecture Notes in Computer Science 5843 . , Berlin, pp. 39-50. ISBN 9783642049675

Schippers, Jorrit and Remke, Anne and Punt, Henk and Wegdam, Maarten and Haverkort, Boudewijn (2009) A Massively Scalable Architecture For Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, PASM 2009, 24 September 2009, London, UK. (In Press)

Fioreze, T. and Granville, L. and Sadre, R. and Pras, A. (2009) A Statistical Analysis of Network Parameters for the Self-management of Lambda-Connections. In: Proceedings of the 3rd International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), June 30 - July 2, 2009, Enschede, The Netherlands (pp. pp. 15-27).

Malhotra, R. and Mandjes, M.R.H. and Scheinhardt, W.R.W. and Berg, J.L. van den (2009) A feedback fluid queue with two congestion control thresholds. Mathematical methods of operations research, 70 (1). pp. 149-169. ISSN 1432-2994

Yang, Yimeng and Heijenk, Geert and Haverkort, Boudewijn R. (2009) Adaptive Resource Control in 2-hop Ad-Hoc Networks. In: International Conference on Ultra Modern Telecommunications 2009, 12-14 Oct 2009, St. Petersburg. (In Press)

Dimitrova, D.C. and Berg, H. van den and Heijenk, G. (2009) Analyzing the impact of relay station characteristics on uplink performance in cellular network. In: Third ERCIM Workshop on eMobility, 27 - 29 May 2009, Enschede, The Netherlands (pp. pp. 31-42).

Haverkort, Boudewijn and Remke, Anne and Hartel, Pieter (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 11 (16). p. 23. ISSN 1879-6443

Pawar, Pravin and Boros, Hanga and Liu, Fei and Heijenk, Geert and Beijnum, Bert-Jan van (2009) Bridging Context Management Systems in the ad hoc and mobile environments. In: IEEE Symposium on Computers and Communications, ISCC 2009, 5-8 July 2009, Sousse, Tunisia (pp. pp. 882-888).

Lastdrager, Elmer and Pras, Aiko (2009) Consistency Analysis of Network Traffic Repositories. In: 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, September 7-9, 2009, Barcelona, Spain (pp. pp. 217-226).

Lastdrager, E. and Pras, A. (2009) Consistency of Network Traffic Repositories: An Overview. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands (pp. pp. 173-178).

Roolvink, Stephan and Remke, Anne and Stoelinga, Mariëlle (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary (pp. pp. 4-7).

Sperotto, A. and Vliek, G. and Sadre, R. and Pras, A. (2009) Detecting Spam at the Network Level. In: Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, 7-9 Sep 2009, Barcelona (pp. pp. 208-216).

Pras, Aiko and Nieuwenhuis, Lambert and Meent, Remco van de and Mandjes, Michel (2009) Dimensioning Network Links: A New Look at Equivalent Bandwidth. IEEE Network, 23 (2). pp. 5-10. ISSN 0890-8044

Bloem, Jan-Willem van and Boucherie, Richard J. and Goseling, Jasper and Heijenk, Geert and Ommeren, Jan-Kees van and Schiphorst, Roel (2009) Distributed Storage in Wireless Sensor Networks with Network Coding. In: Workshop on the Pervasive Application of Wireless Technologies, 13 November 2009, Enschede, The Netherlands.

Westberg, Lars and Eriksson, Anders and Karagiannis, Georgios and Heijenk, Geert and Rexhepi, Vlora and Partain, David (2009) Dynamic QoS management in Differentiated Services using bandwidth brokers, RSVP aggregation and load control protocols. Patent.

Eenennaam, Martijn van and Klein Wolterink, Wouter and Karagiannis, Georgios and Heijenk, Geert (2009) Exploring the Solution Space of Beaconing in VANETs. In: First IEEE Vehicular Networking Conference, VNC2009, 28-30 Oct 2009, Tokyo, Japan.

Sperotto, Anna and Sadre, Ramin and Boer, Pieter-Tjerk de and Pras, Aiko (2009) Hidden Markov Model modeling of SSH brute-force attacks. In: 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, October 27-28, 2009, Venice, Italy (pp. pp. 164-176).

Meulenhoff, P.J. and Ostendorf, D.R. and Zivkovic, M. and Meeuwissen, H.B. and Gijsen, B.M.M. (2009) Intelligent Overload Control for Composite Web Services. In: 7th International Joint Conference on Service-Oriented Computing, ICSOC-ServiceWave 2009, 24-27 November 2009, Stockholm, Sweden (pp. pp. 34-49).

Onur, E. and Sfakianakis, E. and Papagianni, C. and Karagiannis, G. and Kontos, T. and Niemegeers, I. and Chochliouros, I. and Heemstra de Groot, S. and Sjödin, P. and Hidell, M. and Cinkler, T. and Maliosz, M. and Kaklamani, D.I. and Carapinha, J. and Belesioti, M. and Futrps, E. (2009) Intelligent end-to-end resource virtualization using Service Oriented Architecture. In: 3rd IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2009, 30 November - 4 December 2009, Honolulu, HI, USA.

Galis, A. and Abramowicz, H. and Brunner, M. and Raz, D. and Chemouil, P. and Pras, Aiko (2009) Management and Service-aware Networking Architectures (MANA) for Future Internet Position Paper: System Functions, Capabilities and Requirements. In: Management and Service-aware Networking Architectures (MANA) for Future Internet, 26-28 Aug. 2009, Xian (pp. pp. 1-13).

Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal.

Bakshi, Rena and Cloth, Lucia and Fokkink, Wan and Haverkort, Boudewijn (2009) Mean-Field Analysis for the Evaluation of Gossip Protocols. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 247-256).

Liu, Fei and Heijenk, Geert (2009) On the impact of network dynamics on a discovery protocol for ad-hoc networks. International Journal of Business Data Communications and Networking, 5 (2). pp. 16-34. ISSN 1548-0631 (In Press)

Moura, Giovane C.M. and Fioreze, Tiago and Boer, Pieter-Tjerk de and Pras, Aiko (2009) Optical Switching Impact on TCP Throughput Limited by TCP Buffers. In: IP Operations and Management. Lecture Notes in Computer Science 5843 . , Heidelberg, pp. 161-166. ISBN 9783642049675 (In Press)

Dimitrova, D.C. and Berg, H. van den and Heijenk, G.J. (2009) Performance analysis of uplink packet schedulers in cellular networks with relaying. In: Second IFIP WG 6.8 Joint Conference WMNC 2009, 9-11 Sep 2009, Gdansk, Poland (pp. pp. 263-273).

Dimitrova, D.C. and Berg, J.L. van den and Heijenk, G. (2009) Performance of relay-enabled uplink in cellular networks - a flow level analysis. In: International Conference on Ultra Modern Telecommunications, 12-14 Oct 2009, Sint Peterburg, Russia (pp. pp. 1-8).

Eardley, P and Chan, K. and Charny, A. and Geib, R. and Karagiannis, G. and Menth, M. and Tsou, T. (2009) Pre-Congestion Notification (PCN) Architecture. In: .

Sinderen, M.J. van and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and Pol, J.C. van de and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Aksit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. [Report]

Broek, Gijs van den and Hoeve, Sietse ten and Moreira Moura, G.C. and Pras, Aiko (2009) SNMP Trace Analysis: Results of Extra Traces. [Report]

Hofstede, R. J. and Fioreze, T. (2009) SURFmap: A Network Monitoring Tool Based on the Google Maps API. In: 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM 2009), 1-5 Jun 2009, Long Island, New York, USA (pp. pp. 676-690).

Sadre, R. and Pras, A. , eds. (2009) Scalability of Networks and Services: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009). Lecture Notes in Computer Science, 5637 . Springer Verlag, Heidelberg, pp. 1-211. ISBN 9783642026263

Moreira Moura, G.C. and Pras, A. (2009) Scalable Detection and Isolation of Phishing. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands (pp. pp. 195-198).

Dimitrova, D.C. and Heijenk, G. and Berg, J.L. van den (2009) Scheduling dependent modeling of inter-cell interference in UMTS EUL. In: Third international conference on next generation mobile applications, services and technologies, 16-18 Sep 2009, Cardiff, Wales, UK (pp. pp. 259-264).

Fioreze, Tiago and Granville, Lisandro Zambenedetti and Pras, Aiko and Sperotto, Anna and Sadre, Ramin (2009) Self-Management of Hybrid Networks: Can We Trust NetFlow Data? In: 11th IFIP/IEEE International Symposium on Integrated Network Management, IM, 1-5 Jun 2009, Long Island, New York, USA (pp. pp. 577-584).

Andrey, Laurent and Festor, Olivier and Lahmadi, Abdelkader and Pras, Aiko and Schönwälder, Jürgen (2009) Survey of SNMP performance analysis studies. International Journal of Network Management, 19 (6). pp. 527-548. ISSN 1055-7148

Broek, J.G. van den and Remke, A. and Gribaudo, M. (2009) Survivability study of a Water Cleaning Facility using Fluid Stochastic Petri Nets. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept 2009, Eger, Hungary (pp. pp. 54-58).

Brands, E.H.T.B. and Karagiannis, G. (2009) Taxonomy of P2P Applications. In: 3rd IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2009, 30 Nov - 4 Dec 2009, Honolulu, Hawaii, USA.

Smit, Gerard J.M. and Hoeven, Gerrit F. van der and Groote, Jan Friso and Otten, Ralph H.J.M. and Tonino, Hans and Juurlink, Ben H.H. and Haverkort, Boudewijn R.H.M. (2009) The 3TU Embedded Systems master in the Netherlands. In: Workshop on Embedded Systems Education, WISE, 15 Oct 2009, Grenoble, France (pp. pp. 8-12).

Camacho, Jos´e and Boer, Pieter-Tjerk de and Remke, Anne (2009) The Survivability of SCADA Control Loop. [Report]

Klink, Daniel and Remke, Anne and Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 133-142).

Pavlou, George and Pras, Aiko (2009) Topics in network and service management [Series editorial]. IEEE Communications Magazine, 47 (7). pp. 18-19. ISSN 0163-6804

Brandenburg, Ray van and Deventer, M. Oskar van and Karagiannis, Georgios and Schenk, Mike (2009) Towards Personalized TV for Concurrent Use: Unlocking the Potential of IMS-Based IPTV. In: 3rd IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2009, 30 Nov - 4 Dec 2009, Honolulu, Hawaii, USA.

Papadopouli, M. and Owezarski, P. and Pras, A. , eds. (2009) Traffic Monitoring and Analysis: Proceedings of the First International Traffic Monitoring and Analysis Workshop (TMA2009). Lecture Notes in Computer Science, 5537 . Springer Verlag, Heidelberg, pp. 1-134. ISBN 9783642016448

Pras, Aiko and Sadre, Ramin and Sperotto, Anna and Fioreze, Tiago and Hausheer, David and Schönwälder, Jürgen (2009) Using NetFlow/IPFIX for Network Management. Journal of network and systems management, 17 (4). pp. 482-487. ISSN 1064-7570

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2009) Which battery model to use? IET Software, 3 (6). pp. 445-457. ISSN 1751-8806

Berg, Hans van den and Heijenk, Geert and Osipov, Evgeny and Staehle, Dirk , eds. (2009) Wired/Wireless Internet Communications: 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 2009 : Proceedings. Lecture Notes in Computer Science, 5546 . Springer Verlag, Berlin / Heidelberg / New York. ISBN 9783642021176

Eenennaam, E.M. van (2009) microSlotted 1-Persistence Flooding in VANETs. In: Welcome the Wireless World: Workshop on the Pervasive Application of Wireless Technologies, 13 Nov 2009, Enschede, The Netherlands.

2008

Yang, Yimeng and Haverkort, Boudewijn R. and Heijenk, Geert J. (2008) A centralized feedback control model for resource management in wireless networks. Praxis der Informationsverarbeitung und Kommunikation, 31 (1). pp. 51-56. ISSN 0930-5157

Yang, Yimeng and Haverkort, Boudewijn R. and Heijenk, Geert J. (2008) A control-theoretic modeling approach for service differentiation in multi-hop ad-hoc networks. In: Fifth International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St Malo, France (pp. pp. 7-16).

Remke, A.K.I. and Haverkort, B.R.H.M. (2008) A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks. In: The 6th International Conference on Formal Modelling and Analysis of Timed Systems, 15-17 Sept 2008, St. Malo, France (pp. pp. 188-202).

Yu, Qiangyuan and Heijenk, Geert (2008) Abiding Geocast for Warning Message Dissemination in Vehicular Ad Hoc Networks. In: IEEE Vehicular Networks and Applications Workshop, Vehi-Mobi, 19 May 2008, Beijing, China (pp. pp. 400-404).

Sperotto, A. and Sadre, R. and Pras, A. (2008) Anomaly Characterization in Flow-Based Traffic Time Series. In: 8th IEEE International Workshop on IP Operations and Management, IPOM 2008, 22-26 September 2008, Samos, Greece (pp. pp. 15-27).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK (pp. pp. 243-248).

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA (pp. pp. 512-521).

Story, C. and Zivkovic, M. and Verlinden, J. and Lind van Wijngaarden, A. de (2008) Aspects of dynamic spectrum management level 3. Bell Labs Technical Journal, 13 (1). pp. 117-127. ISSN 1538-7305

Jongerden, M.R. and Haverkort, B.R. (2008) Battery Modeling. [Report]

Remke, Anne and Haverkort, Boudewijn R. and Heijenk, Geert and Cloth, Lucia (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA, June 4-6, 2008, Nicosia, Cyprus (pp. pp. 279-294).

Sadre, R. and Haverkort, B.R.H.M. (2008) Changes in the Web from 2000 to 2007. In: Managing Large-Scale Service Deployment, 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, 22-26 Sep 2008, Samos Island, Greece (pp. pp. 136-148).

Fioreze, Tiago and Oude Wolbers, Mattijs and Meent, Remco van de and Pras, Aiko (2008) Characterization of IP Flows Eligible for Lambda-Connections in Optical Networks. In: 11th IEEE/IFIP Network Operations & Management Symposium, NOMS, 7-11 April 2008, Salvador, Bahia, Brazil (pp. pp. 256-262).

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol, Jaco van de (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 35-50. ISSN 1571-0661

Liu, Fei and Heijenk, Geert (2008) Dynamic connectivity analysis of ABF-based ad-hoc networks. In: Proceedings of the 1st IFIP Conference on Mobile and Wireless Communications Networks, MWCN 2008, 30 Sep - 2 Oct 2008, Toulouse, France (pp. pp. 407-420).

Zaburnenko, Tatiana Sergeevna (2008) Efficient heuristics for simulating rare events in queuing networks. thesis.

Zaburnenko, Tatiana S. and Boer, Pieter-Tjerk de and Haverkort, Boudewijn R.H.M. (2008) Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks. In: Seventh International Workshop on Rare Event Simulation, RESIM 2008, 24-26 September 2008, Rennes, France (pp. pp. 165-168).

Prins, M.J. and Brunner, M. and Karagiannis, G. and Lundqvist, H. and Nunzi, G. (2008) Fast RTP Retransmission for IPTV - Implementation and Evaluation. In: IEEE Global Telecommunications Conference 2008, IEEE GLOBECOM 2008, 30 Nov - 4 Dec 2008, New Orleans, USA.

Sadre, R. and Haverkort, B.R.H.M. (2008) Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm. In: 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS), 13-15 Feb 2008, Venice, Italy (pp. pp. 254-261).

Dimitrova, D.C. and Berg, J.L. van den and Heijenk, G.J. and Litjens, R. (2008) Flow Level Performance Comparison of Packet Scheduling Schemes for UMTS EUL. In: 6th International Conference on Wired/Wireless Internet Communications, WWIC 2008, 28-30 May 2008, Tampere, Finland (pp. pp. 27-40).

Kuntz, Matthias and Haverkort, Boudewijn (2008) Formal Dependability Engineering with MIOA. [Report]

Bakhshi, Rena and Bonnet, Francois and Fokkink, Wan and Haverkort, Boudewijn (2008) Formal analysis techniques for gossiping protocols. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 34-46.

Dimitrova, D.C. and Heijenk, G.J. and Berg, J.L. van den and Litjens, R. (2008) Impact of inter-cell interference on flow level performance of scheduling schemes for the UMTS EUL. In: 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2008, 12-14 Oct 2008, Avignon, France (pp. pp. 106-112).

Bakhshi, Rena and Cloth, Lucia and Fokkink, Wan and Haverkort, Boudewijn R. (2008) Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS Performance Evaluation Review, 36 (3). pp. 31-39. ISSN 0163-5999

Berg, Hans van den and Karlsson, Gunnar and Karagiannis, Georgios and Haverkort, Boudewijn R. (2008) Message from the IWQoS 2008 chairs! In: 16th International Workshop on Quality of Service, IWQoS 2008, 2-4 June 2008, Enschede, the Netherlands (pp. p. 1).

Remke, Anne (2008) Model checking structured infinite Markov chains. thesis.

Haverkort, Boudewijn R. (2008) Performance and Dependability Evaluation: Successes, Failures and Challenges. In: 5th European Performance Engineering Workshop, EPEW 2008, 24-25 September 2008, Palma de Mallorca, Spain (pp. p. 1).

Cerná, Ivana and Haverkort, Boudewijn R. (2008) Preface. Electronic Notes in Theoretical Computer Science, 198 (1-2). pp. 1-2. ISSN 1571-0661

Eenennaam, Martijn van and Heijenk, Geert (2008) Providing over-the-horizon awareness to driver support systems. In: Fourth International Workshop on Vehicle-to-Vehicle Communications, V2VCOM, June 3, 2008, Eindhoven, The Netherlands (pp. pp. 19-25).

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany (pp. pp. 53-71).

Heijenk, Geert and Bargh, Mortaza S. and Laganier, Julien and Prasad, Anand R. (2008) Reducing handover latency in future IP-based wireless networks: Fast Proxy Mobile IPv6. In: Second ERCIM Workshop on eMobility, 30 May 2008, Tampere, Finland (pp. pp. 79-92).

Bargh, Mortaza S. and Hulsebosch, Bob and Eertink, Henk and Heijenk, Geert and Idserda, Jeroen and Laganier, Julien and Prasad, Anand R. and Zugenmaier, Alf (2008) Reducing handover latency in future IP-based wireless networks: Proxy Mobile IPv6 with simultaneous bindings. In: 9th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM, 23-26 Jun 2008, Newport Beach, CA, USA.

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary (pp. pp. 5-10).

Broek, G. van den and Schoenwaelder, J. and Pras, A. and Harvan, M. (2008) SNMP Trace Analysis Definitions. In: Resilient Networks and Services, 1-3 Jul 2008, Bremen (pp. pp. 134-147).

Karagiannis, Georgios and Heijenk, Geert and El Malki, Karim and Soliman, Hesham (2008) Seamless handoff in Mobile IP. Patent.

Dimitrova, Desislava and Karagiannis, Georgios and Boer, Pieter-Tjerk de (2008) Severe congestion handling approaches in NSIS RMD domains with bi-directional reservations. Computer Communications, 13 (14). pp. 3153-3162. ISSN 0140-3664

Papagianni, C. and Karagiannis, G. and Tselikas, N. D. and Sfakianakis, E. and Chochliouros, I. P. and Kabilafkas, D. and Cinkler, T. and Westberg, L. and Sjödin, P. and Hidell, M. and Heemstra de Groot, S.M. and Kontos, T. and Katsigiannis, C. and Pappas, C. and Antonakopoulou, A. and Venieris, I. S. (2008) Supporting end-to-end resource virtualization for Web 2.0 applications using Service Oriented Architecture. In: 2nd IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2008, 30 November - 4 December 2008, New Orleans, LA, USA.

Hammainen, Heikki and Chen, Hong and Pras, Aiko and Huitema, George and Waldburger, Martin and Hausheer, David and Antoniadis, Panayotis and Reichl, Peter and Kubasik, Jerzy and Stiller, Burkhard (2008) Telecommunication Economics — Summary on the Dagstuhl Perspectives Seminar No. 08043. [Report]

Cloth, L. and Haverkort, B.R.H.M. (2008) The performability tool P'ility. In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St. Malo, France (pp. pp. 117-118).

Pavlou, George and Pras, Aiko (2008) Topics in Network and Service Management [Series Editorial]. IEEE Communications Magazine, 46 (10). pp. 138-139. ISSN 0163-6804

Pavlou, George and Pras, Aiko (2008) Topics in network and service management [Series editorial]. IEEE Communications Magazine, 46 (5). pp. 136-137. ISSN 0163-6804

Jongerden, Marijn R. and Haverkort, Boudewijn R. (2008) Which battery model to use? In: 24th UK Performance Engineering Workshop, 3-4 July 2008, London, UK (pp. pp. 76-88).

Harju, J. and Heijenk, G.J. and Langendörfer, P. and Siris, V.A. , eds. (2008) Wired / Wireless Internet Communications: 6th International Conference, WWIC 2008, Tampere, Finland, May 2008, Proceedings. Lecture Notes in Computer Science, 5031 . Springer Verlag, Berlin / Heidelberg. ISBN 9783540688051

2007

Sadre, Ramin and Haverkort, Boudewijn R. and Reinelt, Patrick (2007) A Fixed-Point Algorithm for Closed Queueing Networks. In: Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany (pp. pp. 154-170).

Sperotto, Anna and Meent, Remco van de (2007) A Survey of the High-Speed Self-Learning Intrusion Detection Research Area. In: First International Conference on Autonomous Infrastructure, Management and Security, 21-22 June 2007, Oslo, Norway (pp. pp. 196-199).

Yang, Yimeng and Haverkort, Boudewijn R. and Heijenk, Geert J. (2007) A centralized feedback control model for resource management in wireless networks. In: Eighth International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS-8, 20 - 21 Sept 2007, Edinburgh, Scotland (pp. pp. 10-16).

Ooms, W.S. and Karagiannis, G. and Deventer, M.O. van and Veldhuizen, J. (2007) AAA architectures applied in multi-domain IMS (IP multimedia subsystem). In: 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007, 26-30 Nov 2007, Washington, DC, USA.

Boer, Pieter-Tjerk de and Scheinhardt, Werner R.W. (2007) Alternative proof and interpretations for a recent state-dependent importance sampling scheme. Queueing Systems, 57 (2-3). pp. 61-69. ISSN 0257-0130

Boer, Pieter-Tjerk de and Scheinhardt, Werner R.W. (2007) Alternative proof with interpretations for a recent state-dependent importance sampling scheme. [Report]

Fioreze, Tiago and Meent, Remco van de and Pras, Aiko (2007) An Architecture for the Self-management of Lambda-Connections in Hybrid Networks. In: 13th EUNICE Open European Summer School and IFIP TC6.6 Workshop on Dependable and Adaptable Networks and Services, 18-20 July 2007, Enschede, The Netherlands (pp. pp. 141-148).

Quinten, Vincent M. and Meent, Remco van de and Pras, Aiko (2007) Analysis of Techniques for Protection against Spam over Internet Telephony. In: 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, July 18-20, 2007, Enschede, Netherlands (pp. pp. 70-77).

Roijers, Frank and Mandjes, Michel and Berg, Hans van den (2007) Analysis of congestion periods of an m/m/∞-queue. Performance Evaluation, 64 (7-8). pp. 737-754. ISSN 0166-5316

Taniman, R.O. and Bochove, A.C. van and Boer, P.T. de and Sikkes, B. (2007) Application of feasible vertex labeling for dynamic capacity allocation of a multicarrier multimode PON. In: Twelfth European Conference on Networks and Optical Communications, 18-21 June 2007, Stockholm, Sweden (pp. pp. 407-414).

Boudali, Hichem and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK (pp. pp. 45-49).

Taniman, R.O. and Bochove, A.C. van and Boer, P.T. de (2007) Bitloading with reduced computational complexity order for a multicarrier multimode PON. In: 12th Annual Symposium IEEE/LEOS Benelux, 17-18 Dec 2007, Brussels, Belgium (pp. pp. 171-174).

Remke, Anne and Haverkort, Boudewijn R. (2007) CSL Model Checking Algorithms for Infinite-state Structured Markov chains. In: 5th International Conferenceon Formal Modeling and Analysis of Timed Systems, FORMATS 2007, October 3-5, 2007, Salzburg, Austria (pp. pp. 336-351).

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2007) CSL model checking algorithms for QBDs. Theoretical Computer Science, 382 (1). pp. 24-41. ISSN 0304-3975

Beijnum, B.J.F. van and Sinderen, M.J. van and Quartel, D.A.C. and Pras, A. (2007) Computernetwerken. In: ICT-Zakboek. Reed Business, Doetinchem, pp. 820-852. ISBN 9789062286713

Cloth, Lucia and Jongerden, Marijn R. and Haverkort, Boudewijn R. (2007) Computing Battery Lifetime Distributions. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK (pp. pp. 780-789).

Liu, Fei and Heijenk, Geert (2007) Context discovery using attenuated Bloom filters in ad-hoc networks. Journal of Internet Engineering, 1 (1). pp. 49-58. ISSN 1791-177X

Sadre, Ramin (2007) Decomposition-based analysis of queueing networks. thesis.

Pras, A. and van Sinderen, M.J. , eds. (2007) Dependable and Adaptable Networks and Services - Proceedings of the 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 2007. Lecture Notes in Computer Science, 4606 (149). Springer Verlag, Berlin. ISBN 9783540735298

Taniman, R.O. and Bochove, A.C. van and Boer, P.T. de and Sikkes, B. (2007) Dynamic capacity allocation for low-cost multicarrier multimode PON. In: Thirty-third European Conference on Optical Communication, 16-20 Sep 2007, Berlin, Germany (pp. pp. 55-56).

Boer, Pieter-Tjerk de and L'Ecuyer, Pierre and Rubino, Gerardo and Tuffin, Bruno (2007) Estimating the Probability of a Rare Event Over a Finite Time Horizon. In: 2007 Winter Simulation Conference, WSC '07, 9-12 Dec 2007, Washington, USA (pp. pp. 403-411).

Jehangir, A. and Heemstra de Groot, S.M. (2007) Evaluating Secure Cluster Formation in Personal Networks. In: IEEE Wireless Communications and Networking Conference, WCNC 2007, 11-15 March 2007, Hong Kong (pp. pp. 3134-3140).

Haverkort, Boudewijn R. and Kuntz, Matthias (2007) Extending the Logic IM-SPDL with Impulse and State Rewards. [Report]

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany (pp. pp. 80-96).

Fioreze, Tiago and Oude Wolbers, Mattijs and Meent, Remco van de and Pras, Aiko (2007) Finding Elephant Flows for Optical Networks. In: 10th IFIP/IEEE International Symposium on Integrated Network Management, IM, 21-25 May 2007, Munich, Germany (pp. pp. 627-640).

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour. In: Eighth International Workshop on Performability Modeling of Computer and Communication Systems, 20-21 Sept 2007, Edinburgh, UK (pp. pp. 50-56).

Woudt, Edwin and Boer, Pieter-Tjerk de and Ommeren, Jan-Kees van (2007) Improving Adaptive Importance Sampling Simulation of Markovian Queueing Models using Non-parametric Smoothing. Simulation, 83 (12). pp. 811-820. ISSN 0037-5497

Pras, A. and Schoenwaelder, J. and Burgess, M. and Festor, O. and Martinez Perez, G. and Stadler, R. and Stiller, B. (2007) Key Research Challenges in Network Management. IEEE communications magazine, 45 (10). pp. 104-110. ISSN 0163-6804

Westberg, L. and Bhargava, A. and Bader, A. and Karagiannis, G. (2007) LC-PCN: The Load Control PCN Solution. [Report]

Lind van Wijngaarden, Adriaan J. de and Kramer, Gerhard and Nuzman, Carl J. and Whiting, Philip and Zivkovic, Miroslav (2007) Method and apparatus for a self-tuning precoder. Patent.

Prasad, Anand R. and Laganier, Julien and Zugenmaier, Alf and Bargh, Mortaza S. and Hulsebosch, Bob and Eertink, Henk and Heijenk, Geert and Idserda, Jeroen (2007) Mobility and key management in SAE/LTE. In: 2007 Tyrrhenian International Workshop on Digital Communications, TIWDC’07, 9 - 12 Sept 2007, Island of Ischia, Italy (pp. 3.2).

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Kuntz, Matthias and Siegle, Markus (2007) Model Checking Markov Chains with Actions and State Labels. IEEE Transactions on Software Engineering, 33 (4). pp. 209-224. ISSN 0098-5589

Liu, Fei and Goering, Patrick and Heijenk, Geert (2007) Modeling service discovery in ad-hoc networks. In: Proceedings of the Fourth ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2007, 22-26 Oct 2007, Chania, Greece (pp. pp. 9-16).

Pavlou, George and Pras, Aiko (2007) Network and Service Management [Guest Editorial]. IEEE Communications Magazine, 45 (10). pp. 102-103. ISSN 0163-6804

Fioreze, Tiago and Oude Wolbers, Mattijs and Meent, Remco van de and Pras, Aiko (2007) Offloading IP Flows onto Lambda-Connections. In: 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, 29-31 Oct 2007, San Jose, USA (pp. pp. 183-186).

Meyer, Ulrike and Tschofenig, Hannes and Karagiannis, Georgios (2007) On the security of the Mobile IP protocol family. In: Proceedings of 1st IEEE Workshop on Enabling the Future Service-Oriented Internet, Workshop of GLOBECOM 2007, 26-30 Nov 2007, Washington, DC, USA.

Pras, Aiko and Schönwälder, Jürgen and Stiller, Burkhard (2007) Peer-to-Peer Technologies in Network and Service Management. Journal on Network and Service Management, 15 (3). pp. 285-288. ISSN 1064-7570

Eardley, P. and Babiarz, J. and Chan, K. and Charny, A. and Geib, R. and Karagiannis, G. and Menth, M. and Tsou, T. (2007) Pre-Congestion Notification Architecture. [Report]

Chan, K. and Karagiannis, G. (2007) Pre-Congestion Notification Encoding Comparison. [Report]

Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol, Jaco van de (2007) Preface. In: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, 26-31 Aug 2006, Bonn, Germany (pp. V-VI).

Schönwälder, Jürgen and Pras, Aiko and Harvan, Mat´uˇs and Schippers, Jorrit and Meent, Remco van de (2007) SNMP Traffic Analysis: Approaches, Tools, and First Results. In: 10th International Symposium on Integrated Network Management, IM, 21-25 May 2007, Munich, Germany (pp. pp. 324-332).

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) SPDL Model Checking via Property-Driven State Space Generation. [Report]

Wanrooij, Ward van and Pras, Aiko (2007) Scheduling Feed Retrieval. In: IEEE International Conference on Communications, ICC 2007, 24-28 June 2007, Glasgow, Scotland (pp. pp. 2064-2069).

Jehangir, Assed and Heemstra de Groot, Sonia M. (2007) Securing personal network clusters. In: Third International Conference on Security and Privacy in Communication Networks, SecureComm 2007, 18-20 September 2007, Nice, France (pp. p. 1217).

Fioreze, Tiago and Pras, Aiko (2007) Self-management of lambda-connections in optical networks. In: 1st International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Student Workshop, 21-23 June 2007, Oslo, Norway (pp. pp. 212-215).

Meent, Remco van de and Mandjes, Michel and Pras, Aiko (2007) Smart Dimensioning of IP Network Links. In: 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM, 29-31 Oct 2007, San Jose, CA, USA (pp. pp. 86-97).

Sperotto, A. and Pelillo, M. (2007) Szemeredi's Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation. In: Energy Minimization Methods in Computer Vision and Pattern Recognition Energy Minimization Methods in Computer Vision and Pattern Recognition, 6th International Conference, EMMCVPR 2007, 27-29 Aug 2007, EZhou, Hubei, China (pp. pp. 13-27).

Goering, Patrick and Heijenk, Geert and Haverkort, Boudewijn and Haarman, Robbert (2007) The effect of mobility on local service discovery in the Ahoy ad-hoc network system. In: Proceedings of the European Performance Engineering Workshop, EPEW 2007, 27 - 28 Sept 2007, Berlin, Germany (pp. pp. 284-300).

Pavlou, George and Pras, Aiko (2007) Topics In Network And Service Management [Guest Editorial]. IEEE Communications Magazine, 45 (4). pp. 112-113. ISSN 0163-6804

Foreest, Nicky D. van and Haverkort, Boudewijn R. and Mandjes, Michel R.H. and Scheinhardt, Werner R.W. (2007) Versatile Stochastic Models for Networks with Asymmetric TCP Sources. Performance Evaluation, 64 (6). pp. 507-523. ISSN 0166-5316

Pras, Aiko and Martin-Flatin, Jean-Philippe (2007) What Can Web Services Bring To Integrated Management? In: Handbook of Network and System Administration. Elsevier, Amsterdam, pp. 241-294. ISBN 9780444521989

2006

El Allali, Hommad and Heijenk, Geert and Lo, Anthony and Niemegeers, Ignas (2006) A measurement-based admission control algorithm for resource management in diffserv IP networks. In: 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06)., 11-14 September 2006, Helsinki, Finland (pp. pp. 1-5).

Karagiannis, Georgios (2006) A method for header compression context control during handover in mobile data communication networks. Patent.

Karagiannis, Georgios (2006) A method for header compression context control during handover in mobile data communication networks. Patent.

Fioreze, T. and Neisse, R. and Granville, L. and Almeida, M.J. and Pras, A. (2006) A policy-based hierarchical approach for management of grids and networks. In: Application session proceedings of the 10th IEEE/IFIP Network Operations & Management Symposium (NOMS 2006), 3-7 Apr 2006, Vancouver, Canada (pp. pp. 1-14).

Jehangir, Assed and Heemstra de Groot, Sonia M. (2006) A security architecture for personal networks. In: First International Workshop on Personalized Networks, 21 July 2006, San Jose, California, USA.

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2006) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 September 2006, Riverside, CA, USA (pp. pp. 63-72).

Abendroth, Dirk and Berg, Hans van den and Mandjes, Michel (2006) A versatile model for TCP bandwidth sharing in networks with heterogeneous users. AEU - International Journal of Electronics and Communications, 60 (4). pp. 267-278. ISSN 1434-8411

Briscoe, B. and Eardley, P. and Songhurst, D. and Le Faucheur, F. and Charny, A. and Liatsos, V. and Babiarz, J. and Chan, K. and Dudley, S. and Karagiannis, G. and Bader, A. and Westberg, L. (2006) An edge-to-edge Deployment Model for Pre-Congestion Notification: Admission Control over a DiffServ Region. [Report]

Boer, Pieter-Tjerk de (2006) Analysis of State-Independent Importance-Sampling Measures for the Two-Node Tandem Queue. ACM Transactions on Modeling and Computer Simulation, 16 (3). pp. 225-250. ISSN 1049-3301

Coenen, T.J.M. and Goering, P.T.H. and Jehangir, A. and Berg, J.L. van den and Boucherie, R.J. and Heemstra de Groot, S.M. and Heijenk, G.J. and Dhillon, S.S. and Lu, Weidong and Lo, Anthony and Mieghem, P. van and Niemegeers, Ignas (2006) Architectural and QoS aspects of Personal Networks. In: First International Workshop on Personalized Networks, PerNets 2006, 21 July 2006, San Jose, CA, USA.

Coenen, T.J.M. and Goering, P.T.H. and Jehangir, A. and Berg, J.L. van den and Boucherie, R.J. and Heemstra de Groot, S.M. and Heijenk, G.J. and Dhillon, S.S. and Lu, W. and Lo, A. and Mieghem, P.F.A. van and Niemegeers, I.G.M.M. (2006) Architectural aspects of QoS-aware personal networks. [Report]

Remke, A. and Haverkort, B.R. and Cloth, L. (2006) Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way. In: Stochastic Performance Models for Resource Allocation in Communication Systems, 8-10 Nov 2006, Amsterdam, the Netherlands (pp. pp. 23-26).

Martinez, José M and Haverkort, Boudewijn R. (2006) CSL model checking of deterministic and stochastic Petri nets. In: 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nürnberg, Germany (pp. pp. 265-282).

Haverkort, Boudewijn R. (2006) Can we quantitatively assess security? In: Workshop on Empirical Evaluation of Dependability and Security, WEEDS 2006, June 25-28, 2006, Philadelphia, PA, USA (pp. pp. 125-128).

Liu, Fei and Heijenk, Geert (2006) Context discovery using attenuated Bloom codes: model description and validation. [Report]

Liu, Fei and Heijenk, Geert (2006) Context discovery using attenuated Bloom filters in ad-hoc networks. In: 4th International Conference on Wired/Wireless Internet Communications, WWIC 2006, May 9-12, 2006, Bern, Switzerland (pp. pp. 13-25).

Bell, Alexander and Haverkort, Boudewijn R. (2006) Distributed Disk-Based Solution of Very Large Markov Chains. Formal Methods in System Design, 29 (2). pp. 177-196. ISSN 0925-9856

Cloth, Lucia and Haverkort, Boudewijn R. and Jongerden, Marijn (2006) Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models. [Report]

Cloth, Lucia and Haverkort, Boudewijn R. (2006) Five Performability Algorithms. A Comparison. In: MAM 2006: Markov Anniversary Meeting, 12-14 Jun 2006, Charleston, SC, USA (pp. pp. 39-54).

Meent, Remco van de and Mandjes, Michel and Pras, Aiko (2006) Gaussian traffic everywhere? In: IEEE International Conference on Communications, ICC, 10-14 June 2006, Istanbul, Turkey (pp. pp. 573-578).

Timmer, Mark and Boer, Pieter-Tjerk de and Pras, Aiko (2006) How to Identify the Speed Limiting Factor of a TCP Flow. In: Fourth IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services, 3 April 2006, Vancouver, Canada (pp. pp. 17-24).

(2006) IEEE Transactions on Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 3 (3). pp. 169-171. ISSN 1545-5971

Zhang, J. and Monteiro, E. and Mendes, P. and Karagiannis, G. and Andres-Colas, J. (2006) InterDomain-QOSM: The NSIS QOS Model for Inter-domain Signaling to Enable End-to-End QoS Provisioning Over Heterogeneous Network Domains. [Report]

Heijenk, Geert and Liu, Fei (2006) Interference-based routing in multi-hop wireless infrastructures. Computer Communications, 29 (13-14). pp. 2693-2701. ISSN 0140-3664

Martinez, José M and Haverkort, Boudewijn R. (2006) MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 September 2006, Riverside, CA, USA (pp. pp. 133-134).

Kalden, Roger and Haverkort, Boudewijn R. (2006) Measuring and modelling of application flow length in commercial GPRS networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 september 2006, Riverside, CA, USA (pp. pp. 83-92).

Manner, J. and Karagiannis, G. and McDonald, A. (2006) NSLP for Quality-of-Service signalling. [Report]

Pavlou, George and Pras, Aiko (2006) Network and Service Management Series [Guest Editorial]. IEEE Communications Magazine, 44 (3). p. 132. ISSN 0163-6804

Pavlou, George and Pras, Aiko (2006) Network and Service Management [Guest Editorial]. IEEE Communications Magazine, 44 (10). pp. 58-59. ISSN 0163-6804

Briscoe, B. and Eardley, P. and Songhurst, D. and Le Faucheur, F. and Charny, A. and Liatsos, V. and Babiarz, J. and Chan, K. and Dudley, S. and Karagiannis, G. and Bader, A. and Westberg, L. (2006) Pre-Congestion Notification marking. [Report]

Al-Shaer, E. and Pras, A. and Brownlee, N. (2006) Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON). In: Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON), 3 April 2006, Vancouver (pp. pp. 1-4).

Berg, Hans van den and Mandjes, Michel and Meent, Remco van de and Pras, Aiko and Roijers, Frank and Venemans, Pieter (2006) QoS-aware bandwidth provisioning for IP network links. Computer Networks, 50 (5). pp. 631-647. ISSN 1389-1286

Bader, Attila and Karagiannis, Georgios and Westberg, Lars and Kappler, Cornelia and Phelan, Tom (2006) RMD-QOSM - The Resource Management in Diffserv QoS model. [Report]

Karagiannis, Georgios and Westberg, L. and Bader, A. and Tschofenig, Hannes (2006) Resource Unavailability (RU) Per Domain Behavior. [Report]

Babiarz, J. and Chan, K. and Karagiannis, G. and Eardley, P. (2006) SIP Controlled Admission and Preemption. [Report]

Goering, Patrick and Heijenk, Geert (2006) Service discovery using Bloom filters. In: Twelfth Annual Conference of the Advanced School for Computing and Imaging, June 14-16, 2006, Lommel, Belgium (pp. pp. 219-227).

Meent, Remco van de and Mandjes, Michel and Pras, Aiko (2006) Smart Dimensioning of IP Network Links. [Report]

Boer, Pieter-Tjerk de (2006) Some Observations on Importance Sampling and RESTART -preliminary paper for RESIM2006-. In: Sixth Rare-Event Simulation Workshop, RESIM 2006, 8 - 10 October 2006, Bamberg, Germany (pp. pp. 217-223).

Taniman, R.O. and Sikkes, B. and Bochove, A.C. van and Boer, P.T. de (2006) Stable-matching-based subcarrier assignment method for multimode PON using a multicarrier variant of subcarrier multiplexing. In: 11th European Conference on Networks & Optical Communications, 10-13 July 2006, Berlin, Germany (pp. pp. 442-449).

Karagiannis, Georgios and Jones, Val and Heemstra de Groot, Sonia (2006) Support of Future Disaster Response Using Generalized Access Networks (GANs). [Report]

Karagiannis, Georgios and Jones, Val and Heemstra de Groot, Sonia (2006) Support of Future Disaster Response Using Generalized Access Networks (GANs). In: Information Technology in Biomedicine, ITAB 2006, 26-28 Oct 2006, Ioannina, Greece.

Heijenk, Geert (2006) System and method for fair, channel-dependent scheduling for wireless systems. Patent.

Heijenk, Geert (2006) System and method for fair, channel-dependent scheduling for wireless systems. Patent.

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2006) Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs. In: First International Conference on Performance Evaluation Methodologies and Tools, 10 Oct 2006, Pisa, Italy (pp. p. 7).

Fioreze, T. and Pras, A. (2006) Using Self-management for Establishing Light Paths in Optical Networks: an Overview. In: Proceedings of the 12th Open European Summer School, 18-20 Sept 2006, Stuttgart, Germany (pp. pp. 17-20).

2005

Jeong, S. and Lee, S. and Karagiannis, G. and Lieshout, G. (2005) 3GPP QoS Model for Networks Using 3GPP QoS Classes. [Report]

Boer, Pieter-Tjerk de and Kroese, Dirk P. and Mannor, Shie and Rubinstein, Reuven Y. (2005) A Tutorial on the Cross-Entropy Method. Annals of Operations Research, 134 (1). pp. 19-67. ISSN 0254-5330

Jones, Val and Karagiannis, Georgios and Heemstra de Groot, Sonia (2005) Ad hoc networking and ambient intelligence to support future disaster response. [Report]

Jones, Val and Karagiannis, Georgios and Heemstra de Groot, Sonia (2005) Ad hoc networking and ambient intelligence to support future disaster response. In: 5th Workshop on Applications and Services in Wireless Networks, ASWN 2005, June 29 - July 1, 2005, Paris, France (pp. pp. 137-146).

Parhonyi, R. and Quartel, D.A.C. and Pras, A. and Nieuwenhuis, L.J.M. (2005) An interconnection architecture for micropayment systems. In: Seventh International Conference on Electronic Commerce, ICEC, Aug 2005, Xi'an, China (pp. pp. 633-640).

Remke, Anne and Haverkort, Boudewijn R. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: 7th International Workshop on Performability Modeling of Computer and Communication Systems, 23-24 Oct 2005, Turin, Italy (pp. pp. 23-26).

Martinez, José M and Haverkort, Boudewijn R. (2005) CSL model checking of Deterministic and Stochastic Petri Nets. [Report]

Wanrooij, Ward van and Pras, Aiko (2005) DNS zones revisited. In: 11th Open European Summer School and IFIP WG6.4/6.6/6.9 Workshop, EUNICE 2005, 6-8 July 2005, Colmenarejo, Madrid (pp. pp. 84-92).

Brandhorst, Chris J. and Pras, Aiko (2005) DNS: a statistical analysis of name server traffic at local network-to-Internet connections. In: IFIP International Workshop on Networked Applications, 6-8 July, 2005, Colmenarejo, Madrid/Spain (pp. pp. 255-270).

Wanrooij, Ward van and Pras, Aiko (2005) Data on Retention. In: 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, 24-26 October 2005, Barcelona, Spain (pp. pp. 60-71).

Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Haverkort, Boudewijn R. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science, 345 (1). pp. 2-26. ISSN 0304-3975

Lo, Anthony and Heijenk, Geert and Niemegeers, Ignas (2005) Evaluation of MPEG-4 video streaming over UMTS/WCDMA dedicated channels. In: First International Conference on Wireless Internet, WICON '05, 10-15 July 2005, Budapest, Hungary (pp. pp. 182-189).

Nicola, Victor F. and Zaburnenko, Tatiana S. (2005) Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks. In: Second International Conference on the Quantitative Evaluation of Systems, 2005, 19-22 Sept. 2005, Torino, Italy (pp. pp. 220-229).

Clemm, Alexander and Festor, Olivier and Pras, Aiko , eds. (2005) Integrated Network Management IX "Managing New Networked Worlds" : 2005 9th IFIP/IEEE International Symposium on Integrated Network Management. IEEE Communications Society, New York. ISBN 9780780390874

Heijenk, Geert and Liu, Fei (2005) Interference-based routing in multi-hop wireless infrastructures. In: Proceedings Third International Conference on Wired/Wireless Internet Communications, WWIC 2005, 11-13 May 2005, Xanthi, Greece (pp. pp. 117-127).

Pavlou, George and Pras, Aiko (2005) Introducing the Series on Network and Service Management [Series Editorial]. IEEE Communications Magazine, 43 (10). p. 60. ISSN 0163-6804

Karagiannis, Georgios and Rexhepi, Vlora (2005) Jitter reduction in Differentiated Services (Diffserv) networks. Patent.

Karagiannis, Georgios and Rexhepi, Vlora (2005) Jitter reduction in Differentiated Services (Diffserv) networks. Patent.

Clemm, Alexander and Festor, Olivier and Pras, Aiko (2005) Managing new networked worlds - A report on IM 2005. Journal of network and systems management, 13 (3). pp. 351-354. ISSN 1064-7570

Karagiannis, Georgios (2005) Method and system for inter-operability between mobile IP and RSVP during route optimization. Patent.

Karagiannis, Georgios (2005) Method and system for inter-operability between mobile IP and RSVP during route optimization. Patent.

Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2005) Model Checking meets Performance Evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-15. ISSN 0163-5999

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2005) Model checking Infinite-State Markov Chains. In: 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 4-8 April 2005, Edinburgh, UK (pp. pp. 237-252).

Cloth, Lucia and Haverkort, Boudewijn R. (2005) Model checking for survivability! In: Second International Conference on the Quantitative Evaluation of Systems, 2005, 19-22 Sept. 2005, Torino, Italy (pp. pp. 145-154).

Fu, Xiaoming and Schulzrinne, Henning and Bader, Attila and Hogrefe, Dieter and Kappler, Cornelia and Karagiannis, Georgios and Tschofenig, Hannes and Bosch, Sven van den (2005) NSIS: A New Extensible IP Signaling Protocol Suite. IEEE Communications Magazine, 43 (10). pp. 133-141. ISSN 0163-6804

Hancock, R. and Karagiannis, G. and Loughney, J. and Bosch, S. van den (2005) Next Steps in Signaling (NSIS): Framework. In: 63rd IETF Meeting, July 31-August 1, 2005, Paris, France.

Parhonyi, Robert and Nieuwenhuis, Bart and Pras, Aiko (2005) Online shoppen voor minder dan een euro. Automatisering Gids, 2005 (42). p. 17. ISSN 0165-4683

Haverkort, Boudewijn R. and Katoen, Joost-Pieter (2005) Performance and Verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). p. 3. ISSN 0163-5999

Lo, Anthony and Heijenk, Geert and Niemegeers, Ignas (2005) Performance evaluation of MPEG-4 video streaming over UMTS networks using an integrated tool environment. In: 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2005, 24-28 July 2005, Philadelphia, PA, USA (pp. pp. 676-682).

Al-Shaer, E. and Pras, A. and Owezarski, P. (2005) Preface. In: 3rd IEEE/IFIP Workshop on End-to-End Monitoring Technques and Services, 15 May 2005, Nice, France (pp. pp. 1-2).

Ait Yaiz, Rachid and Heijenk, Geert (2005) Providing QoS in Bluetooth. Cluster Computing, 8 (2-3). 223- 231. ISSN 1386-7857

Bader, Attila and Karagiannis, Georgios and Westberg, Lars and Kappler, Cornelia and Phelan, Tom and Tschofenig, Hannes and Heijenk, Geert (2005) QoS signaling across heterogeneous wired/wireless networks: resource management in diffserv using the NSIS protocol suite. In: Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, QShine 2005, 22-24 Aug 2005, Orlando, Florida, USA (pp. p. 51).

Boer, Pieter-Tjerk de (2005) Rare-event simulation of non-Markovian queueing networks using a state-dependent change of measure determined using cross-entropy. Annals of Operations Research, 134 (1). pp. 69-100. ISSN 0254-5330

Parhonyi, Robert and Nieuwenhuis, Lambert J.M. and Pras, Aiko (2005) Second generation micropayment systems: lessons learned. In: Fifth IFIP conference on e-Commerce, e-Business, and e-Government, I3E 2005, 26-28 Oct 2005, Poznan, Poland (pp. pp. 345-359).

Bell, Alexander and Haverkort, Boudewijn R. (2005) Sequential and distributed model checking of Petri nets. International Journal on Software Tools for Technology Transfer (STTT), 7 (1). pp. 43-60. ISSN 1433-2779

Parhonyi, Robert and Nieuwenhuis, Lambert J.M. and Pras, Aiko (2005) The rise and fall of micropayment systems. In: Handbuch E-Money, E-Payment & M-Payment. Springer Verlag, Heidelberg, Germany, pp. 343-361. ISBN 9783790816518

Bader, Attila and Westberg, Lars and Karagiannis, Georgios (2005) Using IP as Transport Technology in Third Generation and Beyond Radio Access Networks. In: 13th International Workshop on Quality of Service, IWQoS 2005, 21-23 June 2005, Passau, Germany (pp. pp. 372-374).

2004

Boer, P.T. de and Kroese, D.P. and Rubinstein, R.Y. (2004) A Fast Cross-Entropy Method for Estimating Buffer Overflows in Queueing Networks. Management Science, 50 (7). pp. 883-895. ISSN 0025-1909

Boer, Pieter-Tjerk de (2004) Analysis of state-independent IS measures for the two-node tandem queue (extended abstract for RESIM2004). In: 5th International Workshop on Rare Event Simulation and Combinatorial Optimization, RESIM COP 2004, 7-8 September 2004, Budapest, Hungary.

Meent, Remco van de and Pras, Aiko (2004) Assessing unknown network traffic. [Report]

Meent, R. van de and Pras, A. and Mandjes, M.R.H. and Berg, J.L. van den and Roijers, F. and Nieuwenhuis, L.J.M. and Venemans, P.H.A. (2004) Burstiness predictions based on rough network traffic measurements. In: 19th World Telecommunications Congress, WTC/ISS 2004, 12-15 September 2004, Seoul, Korea.

Parhonyi, Robert and Pras, Aiko and Quartel, Dick (2004) Collaborative Micropayment Systems. In: 19th World Telecommunications Congress, WTC/ISS 2004, 12-15 September 2004, Seoul, Korea.

Pras, Aiko and Drevers, Thomas and Meent, Remco van de and Quartel, Dick (2004) Comparing the Performance of SNMP and Web Services-Based Management. IEEE Transactions on Network and Service Management, 1 (2). pp. 72-82. ISSN 1932-4537

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS, March 29 - April 2, 2004, Barcelona, Spain (pp. pp. 61-76).

Oosthoek, Simon and Jacobsson, Martin Edvard and Karagiannis, Georgios (2004) Maintenance of sliding window aggregated state using combination of soft state and explicit release principles. Patent.

Pras, A. and Meent, R. van de (2004) Meten van internetverkeer voorkomt veel virusleed. Automatisering Gids, 37 . p. 1. ISSN 0165-4683

Remke, A.K.I. (2004) Model checking Quasi Birth Death processes. [Masters Thesis]

Remke, Anne and Haverkort, Boudewijn R. and Cloth, Lucia (2004) Model checking infinite-state Markov chains. [Report]

Lo, Anthony and Heijenk, Geert and Niemegeers, Ignas (2004) On the performance of TCP Vegas over UMTS/WCDMA channels with large round-trip time variations. In: IFIP TC6 9th International Conference on Personal Wireless Communications, PWC 2004, 21-23 Sep 2004, Delft, The Netherlands (pp. 330- 342).

Sloten, J. van and Pras, A. and Sinderen, M.J. van (2004) On the standardisation of Web service management operations. In: 10th Open European Summer School and IFIP WG6.3 Workshop - Advances in Fixed and Mobile networks, EUNICE 2004, 14-16 June 2004, Tampere, Finland (pp. pp. 143-150).

Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M. , eds. (2004) Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society Press, Los Alamitos. ISBN 9780769521855

Drevers, Thomas and Meent, Remco van de and Pras, Aiko (2004) Prototyping Web Services based Network Monitoring. In: 10th Open European Summer School (EUNICE 2004) and IFIP WG 6.3 Workshop, 14-16 June, 2004, Tampere, Finland (pp. pp. 135-142).

Bader, A. and Westberg, L. and Karagiannis, G. (2004) RMD (Resource Management in Diffserv) QoS-NSLP model. [Report]

Karagiannis, G. and Bader, A. and Pongracz, G. and Csaszar, A. and Takacs, A. and Szabo, R. and Westberg, L. (2004) RMD - a lightweight application of NSIS. In: 11th International Telecommunications Network Strategy and Planning Symposium, 13-16 June 2004, Vienna, Austria (pp. pp. 211-216).

Boer, Pieter-Tjerk de (2004) Rare-event simulation of non-Markovian queueing networks using a state-dependent change of measure determined using cross-entropy. In: 5th International Workshop on Rare Event Simulation and Combinatorial Optimization, RESIM COP 2004, 7-8 September 2004, Budapest, Hungary.

Lo, Anthony and Heijenk, Geert and Niemegeers, Ignas (2004) The impact of UMTS/WCDMA channel round-trip time variations on TCP Vegas throughput. In: 13th International Conference on Computer Communications and Networks, ICCCN 2004, 11-13 Oct 2004, Chicago, USA (pp. 67- 72).

Abdouni Khayari, Rachid El and Sadre, Ramin and Haverkort, Boudewijn and Ost, Alexander (2004) The pseudo-self-similar traffic model: application and validation. Performance Evaluation, 56 (1-4). pp. 3-22. ISSN 0166-5316

Baier, Christel and Haverkort, Boudewijn R. and Katoen, Joost-Pieter and Hermanns, Holger and Siegle, Markus , eds. (2004) Validation of Stochastic Systems : A Guide to Current Research. Lecture Notes in Computer Science, 2925 . Springer-Verlag, Berlin, Germany. ISBN 9783540222651

Foreest, N.D. van and Haverkort, B.R. and Mandjes, M.R.H. and Scheinhardt, W.R.W. (2004) Versatile Markovian models for networks with asymmetric TCP sources. [Report]

Pras, Aiko and Schönwälder, Jürgen and Festor, Olivier (2004) XML-Based Management of Networks and Services. IEEE Communications Magazine, 42 (7). pp. 56-57. ISSN 0163-6804

2003

Zan, Lei and Heijenk, Geert and El Zarki, Magda (2003) A real-time traffic scheduling algorithm in CDMA packet networks. In: 14th IEEE 2003 International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2003, 7-10 Sep 2003, Beijing, China (pp. pp. 2397-2401).

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. [Report]

Lassila, Pasi and Berg, Hans van den and Mandjes, Michel and Kooij, Rob (2003) An integrated packet/flow model for TCP performance analysis. In: 18th International Teletraffic Congress, ITC-18, 31 Aug - 05 Sep 2003, Berlin, Germany (pp. pp. 651-660).

Zan, Lei and Heijenk, Geert and El Zarki, Magda (2003) Fair & power-efficient channel-dependent scheduling for CDMA packet networks. In: International Conference on Wireless Networks, ICWN 2003, 23-26 Jun 2003, Las Vegas, USA (pp. pp. 315-321).

Bruin, Irene de and Heijenk, Geert and El Zarki, Magda and Zan, Jasmine Lei (2003) Fair channel-dependent scheduling in CDMA systems. In: IST Mobile & Wireless Communications Summit 2003, 15-18 Jun 2003, Aveiro, Portugal (pp. 737- 741).

El Abdouni Khayari, Rachid and Sadre, Ramin and Haverkort, Boudewijn R. (2003) Fitting World-Wide Web Request Traces with the EM-Algorithm. Performance Evaluation, 52 (2-3). pp. 175-191. ISSN 0166-5316

Khayari el Abdouni, Rachid and Sadre, Ramin and Haverkort, Boudewijn R. (2003) Fitting World-Wide Web Request Traces with the EM-Algorithm Performance Evaluation. Performance Evaluation, 52 . pp. 175-191. ISSN 0166-5316

Salvador, Marcos Rogério (2003) MAC protocols for optical packet-switched WDM rings. thesis.

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589

Schönwälder, Jürgen and Pras, Aiko and Martin-Flatin, Jean-Philippe (2003) On the future of Internet Management Technologies. IEEE Communications Magazine, 41 (10). pp. 90-97. ISSN 0163-6804

Lo, Anthony and Heijenk, Geert and Bruma, Cezar (2003) Performance of TCP over UMTS common and dedicated channels. In: IST Mobile & Wireless Communications Summit 2003, 15-18 Jun 2003, Aveiro, Portugal (pp. pp. 138-142).

Ait Yaiz, Rachid and Heijenk, Geert (2003) Providing Delay Guarantees in Bluetooth. In: 23rd International Conference on Distributed Computing Systems Workshops, 2003, 19-22 May 2003, Providence, Rhode Island, USA (pp. pp. 722-728).

Westberg, L. and Jacobsson, M. and Oosthoek, S. and Partain, D. and Rexhepi, V. and Szabo, R. and Wallentin, P. and Karagiannis, G. (2003) Resource Management in Diffserv (RMD) Framework. [Report]

Westberg, L. and Jacobsson, M. and Kogel, M. de and Oosthoek, S. and Partain, D. and Rexhepi, V. and Wallentin, P. and Karagiannis, G. (2003) Resource Management in Diffserv On DemAnd (RODA) PHR. [Report]

Geuzebroek, D.H. and Dey, D. and Bochove, A.C. van and Koonen, A.M.J. (2003) Scalability of a packet-switched WDM MAN with support for optical multicasting. In: IEEE/LEOS Benelux Chapter 2003 Annual Symposium, November 20-21, 2003, Enschede, The Netherlands (pp. pp. 129-132).

Mei, R.D. van der and Berg, J.L. van den and Vranken, R. and Gijsen, B.M.M. (2003) Sojourn-time approximations for a multi-server processor sharing system with priorities. Performance Evaluation, 54 (3). pp. 249-261. ISSN 0166-5316

Peelen, Bastien and Zivkovic, Miroslav and Bijwaard, Dennis and Teunissen, Harold (2003) Supporting QoS in broadband wireless and wired access. Bell Labs Technical Journal, 8 (2). pp. 65-81. ISSN 1089-7089

Dey, Diptish (2003) Towards an all-optical WDM slotted-ring MAN with support for optical multicasting. thesis.

Meent, Remco van de and Pras, Aiko and Mandjes, Michel and Berg, Hans van den and Nieuwenhuis, Lambert (2003) Traffic Measurements for Link Dimensioning: A Case Study. In: 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2003), 20-22 Oct 2003, Heidelberg, Germany (pp. pp. 106-117).

Meent, Remco van de and Pras, Aiko and Mandjes, Michel and Berg, Hans van den and Nieuwenhuis, Lambert (2003) Traffic measurements for link dimensioning :a case study. [Report]

2002

Khayari el Abdouni, Rachid and Sadre, Ramin and Haverkort, Boudewijn R. (2002) A Class-Based Least-Recently-Used Caching Algorithm for WWW Proxies. In: 13th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, TOOLS, September 2-5, 2003, Urbana, IL, USA (pp. pp. 273-290).

Parhonyi, R. and Quartel, D. and Pras, A. (2002) A provider based accounting architecture. In: IEEE Workshop on IP Operations and Management, 29-31 October 2002, Dallas, TX, USA (pp. pp. 49-53).

Boer, Pieter-Tjerk de and Nicola, Victor F. (2002) Adaptive state- dependent importance sampling simulation of markovian queueing networks. European Transactions on Telecommunications, 13 (4). pp. 303-315. ISSN 1541-8251

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science, 2459 . Springer Verlag, Berlin, pp. 261-289. ISBN 9783540442523

Westberg, Lars and Eriksson, Anders and Karagiannis, Georgios and Heijenk, Geert and Rexhepi, Vlora and Partain, David (2002) Dynamic QoS management in Differentiated Services using bandwidth brokers, RSVP aggregation and load control protocols. Patent.

Boer, P.T. de and Kroese, D.P. and Rubinstein, R.Y. (2002) Estimating buffer overflows in three stages using cross-entropy. In: Proceedings of the 2002 Winter Simulation Conference. ACM-IEEE, pp. 301-309. ISBN 9780780376144

Zee, Martin van der and Heijenk, Geert (2002) Method and system for transmitting data. Patent.

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. [Report]

Haverkort, Boudewijn and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks, DSN, 23-26 June 2002, Bethesda, MD, USA (pp. pp. 103-112).

Ait Yaiz, Rachid and Heijenk, Geert (2002) Polling Best Effort Traffic in Bluetooth. Wireless Personal Communications, 23 (1). pp. 195-206. ISSN 0929-6212

Heijenk, Geert and Ait Yaiz, Rachid (2002) Predictive fair polling mechanism in a wireless access scheme. Patent.

Pras, A. and Boros, S. and Helthuis, B. (2002) Remote MIB-item look-up service. In: IEEE/IFIP Network Operations and Management Symposium, 2002. NOMS, Florence, Italy (pp. pp. 125-136).

Jacobsson, Martin and Oosthoek, Simon and Karagiannis, Georgios (2002) Resource Management in Differentiated Services: A Prototype Implementation. In: Seventh International Symposium on Computers and Communications, ISCC 2002, 1-4 July 2002, Taormina-Giardini Naxos, Italy (pp. pp. 21-28).

Westberg, L. and Heijenk, G. and Karagiannis, G. and Oosthoek, S. and Partain, D. and Rexhepi, V. and Szabo, R. and Wallentin, P. and El Allali, Hamad (2002) Resource management in Diffserv measurement-based admission control PHR. [Report]

Karagiannis, Georgios (2002) Scalability and Congestion Control in Broadband Intelligent and Mobile Networks. thesis.

Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Haverkort, Boudewijn (2002) Simulation for continuous-time Markov chains. In: 13th International Conference on Concurrency Theory, CONCUR 2002, August 20-23, 2002, Brno, Czech Republic (pp. pp. 338-352).

El Allali, Hommad and Heijenk, Geert (2002) Traffic characterization for a UMTS radio access network. In: 4th International Workshop on Mobile and Wireless Communications Network, 2002, 9-11 September 2002, Stockholm, Sweden (pp. pp. 497-501).

2001

Heijenk, Geert and Karagiannis, Georgios and Rexhepi, Vlora and Westberg, Lars (2001) DiffServ resource management in IP-based radio access networks. In: Fourth International Symposium on Wireless Personal Multimedia Communications, WPMC'01, 9-12 Sep 2001, Aalborg, Denmark (pp. pp. 1469-1474).

El Abdouni Khayari, Rachid and Sadre, Ramin and Haverkort, Boudewijn (2001) Fitting World-Wide Web Request Traces with the EM-Algorithm. In: Internet Performance and Control of Network Systems II, 21 August 2001, Denver, Colorado (pp. pp. 211-220).

Pras, Aiko and Beijnum, Bert-Jan van and Sprenkels, Ron and Párhonyi, Robert (2001) Internet Accounting. IEEE Communications Magazine, 39 (5). pp. 108-113. ISSN 0163-6804

(2001) Performance and Dependability Modelling Techniques and Tools. Performance Evaluation, 44 (1-4). pp. 1-4.

Ait Yaiz, Rachid and Heijenk, Geert (2001) Polling best effort traffic in Bluetooth. In: Fourth International Symposium on Wireless Personal Multimedia Communications, WPMC'01, 9-12 Sep 2001, Aalborg, Denmark (pp. pp. 1381-1386).

Ait Yaiz, Rachid and Heijenk, Geert (2001) Polling in Bluetooth: a simplified best effort case. In: 7th annual CTIT Workshop - Mobile Communications in Perspective, 8 Feb 2001, Enschede, The Netherlands (pp. pp. 91-96).

Zee, Martin van der and Heijenk, Geert (2001) Quality of Service in Bluetooth networking - part I. [Report]

Pras, Aiko and Boros, Szabolcs and Helthuis, Bert (2001) Remote MIB item look-up service. [Report]

El Allali, H. and Heijenk, G. (2001) Resource management in IP-based radio access networks. In: 7th annual CTIT Workshop - Mobile Communications in Perspective, 8 Feb 2001, Enschede, The Netherlands (pp. pp. 19-24).

Boer, Pieter-Tjerk de and Nicola, Victor F. and Ommeren, Jan-Kees C.W. van (2001) The Remaining Service Time upon Reaching a High Level in M/G/1 Queues. Queueing Systems, 39 (1). pp. 55-78. ISSN 0257-0130

Cloth, Lucia and Bohnenkamp, Henrik and Haverkort, Boudewijn (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Joint International Workshop Process Algebra and Probabilistic Models and Performance Modeling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany (pp. pp. 152-167).

2000

Karagiannis, Georgios and Rexhepi, Vlora and Heijenk, Geert (2000) A Framework for QoS & Mobility in the Internet Next Generation. [Report]

Sprenkels, Ron and Pras, Aiko and Beijnum, Bert-Jan van and Goede, Leo de (2000) A customer service management architecture for the internet. [Report]

Rexhepi, Vlora and Karagiannis, Georgios and Heijenk, Geert (2000) A framework for QoS & mobility in the Internet next generation. In: Proceedings 6th Open European Summerschool, Eunice 2000, 13 - 15 Sep 2000, Enschede, The Netherlands (pp. pp. 77-84).

Niemegeers, Ignas and Salvador, Marcos Rogério and Heemstra de Groot, Sonia and Dey, Diptish (2000) A receiver-initiated WDM multicast tree construction protocol to support IP dense mode multicast routing in all-optical Lambda-switched networks. [Report]

Boer, Pieter-Tjerk de and Nicola, Victor F. and Rubinstein, Reuven Y. (2000) Adaptive Importance Sampling Simulation of Queueing Networks. In: Winter Simulation Conference, WSC 2000, 10-13 December 2000, Orlando, Florida, USA (pp. pp. 646-655).

Boer, Pieter Tjerk de (2000) Analysis and efficient simulation of queueing models of telecommunications systems. thesis.

Nicola, Victor F. and Karagiannis, Georgios and Niemegeers, Ignas G. (2000) Evaluation of scalability in a broadband mobile communication system. In: IEEE Intelligent Network Workshop, 2000, Cape Town, South Africa (pp. pp. 350-361).

Rexhepi, Vlora and Heijenk, Geert (2000) Interoperability of Integrated Services and Differentiated Services Architectures. [Report]

Karagiannis, Georgios and Heijenk, Geert (2000) Mobility support for ubiquitous Internet access. [Report]

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA (pp. pp. 358-372).

Dey, D. and Koonen, A.M.J. and Salvador, M.R. (2000) Network Architecture of a Packet-switched WDM LAN/MAN. In: Proceedings 2000 IEEE/LEOS Symposium Benelux Chapter. Delft University of Technology, Delft, pp. 251-254. ISBN 9789090142609

Dey, D. and Koonen, A.M.J. and Salvador, M.R. (2000) Network architecture of a packet-switched WDM LAN/MAN. [Report]

Baier, Christel and Haverkort, Boudewijn and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Logical Characterisation of Performability Properties. In: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, Geneva, Switzerland (pp. pp. 780-792).

Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany (pp. pp. 228-237).

Andrade Almeida, J.P. and Ramlie, Y. and Pras, A. (2000) Overzicht Ntop (Network Top). In: Handboek Netwerkmanagement. Ten Hagen and Stam, Den Haag, pp. 1-13. ISBN 9789054049654

Boros, S. (2000) Policy-based network management with SNMP. [Report]

Karagiannis, Georgios and Heijenk, Geert (2000) QoS in GPRS. [Report]

Sprenkels, R.A.M. and Párhonyi, R. and Pras, A. and Beijnum, B.J. van and Goede, B.L. de (2000) Reverse Charging in the Internet, an Architecture for a new Accounting Scheme for Internet Traffic. [Report]

Garvels, Marnix Joseph Johann (2000) The splitting method in rare event simulation. thesis.

Rexhepi, Vlora (2000) Wireless internet QoS. [Report]

1999

Sinderen, M.J. van and Beijnum, B.J.F. van and Hoeksema, F.W. and Pras, A. and Quartel, D.A.C. (1999) Computernetwerken. In: ICT-Zakboekje, Informatie- en Communicatietechnologie. Koninklijke PBNA Poly-Zakboekjes . Koninklijke PBNA b.v., Arnhem, pp. 771-842. ISBN 9789062283033

Pras, Aiko and Beijnum, Bert-Jan van and Sprenkels, Ron (1999) Introduction to TMN. [Report]

Heijenk, Geert (1999) Mobile IP. In: 5th Open European Summerschool, Eunice 1999, 1-3 Sep 1999, Barcelona, Spain (pp. p. 207).

Karagiannis, Georgios and Heijenk, Geert (1999) Mobile IP: state of the art report. [Report]

Boer, Pieter-Tjerk de and Nicola, Victor F. and Srinivasan, Rajan (1999) On the Estimation of Rare Event Probabilities Involving IID Sums (Extended Abstract). In: Second International Workshop on Rare Event Simulation, RESIM '99, 11-12 March 1999, Enschede, The Netherlands (pp. pp. 133-138).

Garvels, Marnix J.J. and Kroese, Dirk P. (1999) On the entrance distribution in RESTART simulation. [Report]

Salvador, Marcos Rogério and Heemstra de Groot, Sonia and Niemegeers, Ignas (1999) Protocol and networking design issues for local access WDM networks. [Report]

Zee, Martin van der and Ait Yaiz, Rachid and Heijenk, Geert (1999) Quality of Service over Specific Link Layers: state of the art report. [Report]

Zee, Martin van der and Heijenk, Geert (1999) Quality of Service routing: state of the art report. [Report]

1998

Garvels, Marnix J.J. and Kroese, Dirk P. (1998) A comparison of RESTART implementations. In: Proceedings of the 1998 Winter Simulation Conference. IEEE, pp. 601-608. ISBN 9780780351332

Karagiannis, G. and Lignie, M.C. de and Bie, J. de and Niemegeers, I.G.M.M. (1998) Handover Mechanisms in ATM-based Mobile Systems. In: IEEE Global Telecommunications Conference, GLOBECOM 1998. The Bridge to Global Integration, 8-12 Nov. 1998, Sydney, Australie (pp. pp. 2572-2579).

Valkering, T.P. and Boer, Pieter Tjerk de and Hoekstra, Hugo J.W.M. (1998) Soliton dynamics in directional couplers. Physica D: Nonlinear phenomena, 123 (1-4). pp. 223-234. ISSN 0167-2789

1996

Coyle, Andrew and Haverkort, Boudewijn R. and Henderson, William and Pearce, Charles E.M. (1996) A Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings. Telecommunication Systems, 6 (2). pp. 203-227. ISSN 1018-4864

Heijenk, Geert and Haverkort, Boudewijn R. (1996) Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed Systems Engineering, 3 (1). pp. 53-67. ISSN 0967-1846

Haverkort, Boudewijn R. and Niemegeers, Ignas G. (1996) Performability Modelling Tools and Techniques. Performance Evaluation, 25 (1). pp. 17-40. ISSN 0166-5316

1995

Heijenk, Gerhard Jan (1995) Connectionless communications using the Asynchronous Transfer Mode. thesis.

Haverkort, Boudewijn R. (1995) Matrix-geometric solution of infinite stochastic Petri nets. In: International Computer Performance and Dependability Symposium, 1995, 24-26 April 1995, Erlangen, Germany (pp. pp. 72-81).

Pras, Aiko (1995) Network Management Architectures. thesis.

Haverkort, Boudewijn R. and Meeuwissen, Adrianus M.H. (1995) Sensitivity and Uncertainty Analysis of Markov-Reward Models. IEEE Transactions on Reliability, 44 (1). pp. 147-154. ISSN 0018-9529

Gay, Valerie and Leydekkers, Peter and Huis in 't Veld, Robert (1995) Specification of multiparty audio and video interaction based on the Reference Model of Open Distributed Processing. Computer Networks and ISDN Systems, 27 (8). pp. 1247-1262. ISSN 0169-7552

Haverkort, Boudewijn R. and Moorsel, Aad P.A. van (1995) Using the probabilistic evaluation tool for the analytical solution of large Markov models. In: Sixth International Workshop on Petri Nets and Performance Models, 1995, 3-6 Oct. 1995, Durham, NC (pp. pp. 206-207).

1994

Heijenk, Geert J. and Hou, Xinli and Niemegeers, Ignas G. (1994) Communication systems supporting multimedia multi-user applications. IEEE Network, 8 (1). pp. 34-44. ISSN 0890-8044

Franken, Leonard J.N. and Haverkort, Boudewijn R. (1994) The Performability Manager. IEEE Network, 8 (1). pp. 24-32. ISSN 0890-8044

Haverkort, Boudewijn R. and Moorsel, Aad P.A. van and Speelman, Dirk-Jan (1994) XMGM: performance modeling using matrix geometric techniques. In: Second International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 1994, 31 Jan.-2 Feb. 1994, Durham, North Carolina, USA (pp. pp. 152-157).

1993

Haverkort, Boudewijn R. (1993) Approximate performability and dependability analysis using generalized stochastic Petri Nets. Performance Evaluation, 18 (1). pp. 61-78. ISSN 0166-5316

1992

Moorsel, Aad P.A. van and Haverkort, Boudewijn R. and Niemegeers, Ignas G. (1992) A method for analyzing the performance aspects of the fault-tolerance mechanisms in FDDI. In: IEEE Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM, 4-8 May 1992, Florence, Italy (pp. pp. 372-381).

Zafirovic-Vukotic, Mirjana and Niemegeers, Ignas G. (1992) A performance modeling and evaluation of the Cambridge fast ring. IEEE transactions on computers, 41 (9). pp. 1110-1125. ISSN 00189340

Trivedi, Kishor S. and Muppala, Jogesh K. and Woolet, Steven P. and Haverkort, Boudewijn R. (1992) Composite performance and dependability analysis. Performance Evaluation, 14 (2-3). pp. 197-215. ISSN 0166-5316

Heijenk, Geert J. and Moorsel, Aad P.A. van and Niemegeers, Ignas G. (1992) Performance of a connectionless protocol over ATM. In: International Workshop on Advanced Communications and Applications for High Speed Networks, March 16-19, 1992 , Munich (pp. pp. 123-130).

Smeitink, Eric and Dijk, Nico M. van and Haverkort, Boudewijn R. (1992) Product forms for availability models. Applied Stochastic Models and Data Analysis, 8 (4). pp. 283-302. ISSN 8755-0024

Haverkort, Boudewijn R. and Meeuwissen, Adrianus M.H. (1992) Sensitivity and Uncertainty Analyses in Performability modelling. In: 11th Symposium on Reliable Distributed Systems, 5-7 Oct. 1992, Houston, Texas (pp. pp. 93-102).

1991

Haverkort, Boudewijn R. (1991) Approximate performability analysis using generalized stochastic petri nets. In: Fourth International Workshop on Petri Nets and Performance Models, PNPM, 2-5 Dec. 1991, Melbourne, Australia (pp. pp. 300-309).

Jayasinghe, J.A.K.S. and El Hadidy, F. Moelaert and Karagiannis, G. and Herrmann, O.E. and Smit, J. (1991) Two-level pipelined systolic array graphics engine. IEEE Journal of Solid-State Circuits, 26 (3). pp. 229-236. ISSN 0018-9200

1990

Aksit, Mehmet and Mostert, Rene and Haverkort, Boudewijn (1990) Compiler generation based on grammar inheritance. [Report]

Jayasinghe, J.A.K.S. and Karagiannis, G. and El Hadidy, F. Moelaert and Herrmann, O.E. and Smit, J. (1990) Two-level pipelined systolic array graphics engine. In: IEEE 1990 Custom Integrated Circuits Conference, 13-16 May 1990, Boston, MA , USA (pp. 17.2.1-17.2.4).

1989

Pras, Aiko (1989) Replacing the Ethernet access mechanism with the real-time access mechanism of Twentenet. Computer Communications, 12 (5). pp. 251-258. ISSN 0140-3664

This list was generated on Mon Oct 20 06:07:25 2014 CEST.