Research Output 1989 2019

Filter
Chapter
2017

iDSL: Automated Performance Evaluation of Service-Oriented Systems

van den Berg, F. G. B., Haverkort, B. R. H. M. & Hooman, J., 27 Sep 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Langerak, R. & Rensink, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10500).

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

Image processing
X rays
2016
2 Citations (Scopus)
2 Downloads (Pure)

Hypothesis testing for rare-event simulation: limitations and possibilities

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., 10 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 16-26 11 p. (Lecture Notes in Computer Science; vol. 9952).

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

Rare Event Simulation
Importance Sampling
Hypothesis Testing
Model Checking
Statistical Model

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2015

Modeling and evaluation of location-based forwarding in vehicular networks

Heijenk, G., Klein Wolterink, W., van den Berg, H. L. & Karagiannis, G., 2015, Vehicular communications and networks - Architectures, protocols, operation and deployment. Chen, W. (ed.). Cambridge, UK: Woodhead Publishing, p. 151-169 19 p.

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

2014
2 Citations (Scopus)
99 Downloads (Pure)

Applying Mean-Field Approximation to Continuous Time Markov Chains

Kolesnichenko, A. V., Senni, V., Pourranjabar, A. & Remke, A., Oct 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: Advanced Lectures of the International Autumn School ROCKS 2012. Remke, A. & Stoelinga, M. (eds.). Berlin: Springer, p. 242-280 39 p. (Lecture Notes in Computer Science; vol. 8453).

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

Open Access
File
Continuous-time Markov Chain
Mean-field Approximation
Mean Field
Computer Science
Performance Modeling
2013
3 Citations (Scopus)
42 Downloads (Pure)

Mobile cloud networking: mobile network, compute, and storage as one service on-demand

Jamakovic, A., Bohnert, T. M. & Karagiannis, G., 8 May 2013, The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons. Galis, A. & Gavras, A. (eds.). Berlin: Springer, p. 356-358 3 p. (Lecture Notes in Computer Science; vol. 7858, no. 7858).

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

File
2012
17 Downloads (Pure)

Assessing dependability and resilience in critical infrastructures: challenges and opportunities

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

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

File
2011
46 Downloads (Pure)

Automated Merging in a Cooperative Adaptive Cruise Control (CACC) System

Klein Wolterink, W. & Karagiannis, G., Jun 2011, Fifth ERCIM workshop on e-mobility. Brogle, M., Masip Bruin, X., Braun, T. & Heijenk, G. J. (eds.). Barcelona, Spain: Technical University of Catalonia (UPC), p. 23-26

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
9 Citations (Scopus)
54 Downloads (Pure)

Decomposition-Based Queueing Network Analysis with FiFiQueues

Sadre, R. & Haverkort, B. R. H. M., 2011, Queueing Networks: A Fundamental Approach. Boucherie, R. J., van Dijk, N. & van Dijk, N. M. (eds.). New York: Springer, p. 643-699 57 p. (International Series in Operations Research & Management Science; vol. 154, no. 154).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
61 Downloads (Pure)

Support for Resilient Communications in Future Disaster Management

Jones, V. M., Karagiannis, G. & Heemstra de Groot, S. M., 2011, Computer and Information Sciences II: 26th International Symposium on Computer and Information Sciences. Gelenbe, E., Lent, R. & Sakellari, G. (eds.). London: Springer, p. 355-359 5 p.

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

File
2009
1 Downloads (Pure)

Flow transfer times in wireless multihop ad hoc networks

Coenen, T. J. M., van den Berg, H. L. & Boucherie, R. J., 2009, Performance Modelling and Analysis of Heterogeneous Networks. Kouvatsos, D. (ed.). Aalborg, Denmark: Rivers Publishers, p. 113-132 22 p.

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

18 Citations (Scopus)

Multi-hop wireless networks

Braun, T., Kassler, A., Kihl, M., Racocevic, V., Siris, V. & Heijenk, G., 2009, Traffic and QoS Management in Wireless Multimedia Networks. New York: Springer, p. 201-265 65 p. (Lecture Notes in Electrical Engineering; vol. 31, no. Supplement).

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

2007
33 Downloads (Pure)

Computernetwerken

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
21 Downloads (Pure)

What Can Web Services Bring To Integrated Management?

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
2006
228 Downloads (Pure)

The fall and rise of micropayment systems

Parhonyi, R., Nieuwenhuis, L. J. M. & Pras, A., 2006, Handbuch E-Money, E-Payment & M-Payment. Lammer, T. (ed.). Heidelberg, Germany: Springer, p. 343-361 19 p.

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

File
2005

Traffic Measurement, Characterization, and Modeling

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2004

Wireless Internet

el Zarki, M., Heijenk, G. & Lee, K. S., Jan 2004, The Internet Encyclopedia. Bidgoli, H. (ed.). Hoboken, NJ, USA: Wiley, p. 831-849 19 p.

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

Internet
Local area networks
Network protocols
2002
22 Citations (Scopus)
20 Downloads (Pure)

Automated performance and dependability evaluation using model checking

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2002, Computer Performance Evaluation. Calzarossa, M. & Tucci, S. (eds.). Berlin: Springer, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
2000
19 Downloads (Pure)

Network Architecture of a Packet-switched WDM LAN/MAN

Dey, D., Koonen, A. M. J. & Salvador, M. R., 2000, Proceedings 2000 IEEE/LEOS Symposium Benelux Chapter. Leijtens, X. J. M. & Besten, J. H. (eds.). Delft: Delft University of Technology, p. 251-254

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
12 Downloads (Pure)

Overzicht Ntop (Network Top)

Andrade Almeida, J., Ramlie, Y. & Pras, A., 2000, Handboek Netwerkmanagement. Den Haag: Ten Hagen & Stam, p. 1-13 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
1999
116 Downloads (Pure)

Computernetwerken

van Sinderen, M. J., Pras, A., van Beijnum, B. J. F., Hoeksema, F. W. & Quartel, D., 1999, ICT-Zakboekje, Informatie- en Communicatietechnologie. Bemelmans, T. M. A., de Bra, P. M. E., Looijen, M. & van Oortmerssen, G. (eds.). Arnhem: Koninklijke PBNA B.V., p. 771-842 72 p. (Koninklijke PBNA Poly-Zakboekjes).

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

1995

Modelling the reassembly buffer in a connectionless server

Heijenk, G. & Niemegeers, I. G. M. M., 1995, Performance Modelling and Evaluation of ATM Networks. Kouvatsos, D. (ed.). London: Chapman & Hall, p. 573-595 23 p.

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