Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2019

A Generic Processor Temperature Estimation Method

Ozceylan, B., Haverkort, B. R. H. M., de Graaf, M. & Gerards, M. E. T., 5 Dec 2019, 2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC). Rencz, M., Codecasa, L. & Poppe, A. (eds.). IEEE, 6 p.

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

3 Downloads (Pure)

A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications

Chromik, J. J., Remke, A. K. I., Haverkort, B. R. H. M. & Geist, G., 24 Jun 2019, (Accepted/In press) IEEE/IFIP International Conference on Dependable Systems and Networks.

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

2018

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

van den Berg, F. G. B., Hooman, J. & Haverkort, B. R. H. M., 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). Springer, p. 295-301 7 p. (Lecture Notes in Computer Science; vol. 10740).

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

2 Downloads (Pure)

A Tool for Generating Automata of IEC60870-5-104 Implementations

Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). p. 307-311 (Lecture notes in computer science; vol. 10740).

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

106 Downloads (Pure)

Bro in SCADA: dynamic intrusion detection policies based on a system model

Chromik, J. J., Remke, A. & Haverkort, B. R., 30 Aug 2018, 5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018). Hamburg: BCS Learning & Development Ltd., p. 112-121 10 p.

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

Combining Energy Saving Techniques in Data Centres using Model-Based Analysis

Postema, B. F., Van Damme, T., De Persis, C., Tesi, P. & Haverkort, B. R. H. M., 2018, ICPE'18. Companion of the 2018 ACM/SPEC International Conference on Performance Engineering . ACM Press, p. 67-72

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

2017

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration

Jongerden, M. R. & Haverkort, B. R., 11 Aug 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 88-103 16 p. (Lecture Notes in Computer Science; vol. 10503).

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

4 Citations (Scopus)

Specification of data centre power management strategies

Postema, B. F. & Haverkort, B. R., 16 May 2017, Proceedings of the 8th International Conference on Future Energy Systems, e-Energy 2017. New York, NY, USA: Association for Computing Machinery (ACM), p. 284-289 6 p.

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

3 Citations (Scopus)
1 Downloads (Pure)
2016

Assessing the Cost of Energy Independence

Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M. & Remke, A. K. I., Apr 2016, Proceedings of the IEEE International Energy Conference, ENERGYCON 2016. USA: IEEE Power & Energy Society, p. 1-6 6 p.

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

8 Citations (Scopus)

Design and implementation of digital communication systems for victim-offender mediation

van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M. & Giebels, E., 5 Sep 2016, SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

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

Evaluating Load Balancing Policies for Performance and Energy-Efficiency

van den Berg, F., Postema, B. F. & Haverkort, B. R. H. M., Apr 2016, Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016. Open Publishing Association, p. 98-117 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 227).

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

File
1 Citation (Scopus)
47 Downloads (Pure)

Improving SCADA security of a local process with a power grid model

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., Aug 2016, Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016. UK: BCS Learning & Development Ltd., p. 114-123 10 p. (Electronic Workshops in Computing).

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

File
107 Downloads (Pure)

Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B. R. H. M., Jongerden, M. R., Larsen, K. G. & Wognsen, E. R., Sep 2016, Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. France: International Astronautical Federation, p. 1-15 15 p.

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

File
153 Downloads (Pure)

What's under the hood? Improving SCADA security with process awareness

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 12 Apr 2016, Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016). USA: IEEE, p. - 6 p.

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

File
8 Citations (Scopus)
115 Downloads (Pure)
2015

An AnyLogic simulation model for power and performance analysis of data centres

Postema, B. F. & Haverkort, B. R. H. M., Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltrán, M., Knottenbelt, W. & Bradley, J. (eds.). Switzerland: Springer, p. 258-272 15 p. (Lecture Notes in Computer Science; vol. 9272).

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

File
7 Citations (Scopus)
1020 Downloads (Pure)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Wognsen, E. R., Haverkort, B. R. H. M., Jongerden, M. R., Hansen, R. R. & Larsen, K. G., Sep 2015, Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. Sankaranarayanan, S. & Vicario, E. (eds.). London: Springer, p. 305-320 16 p. (Lecture Notes in Computer Science; vol. 9268).

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

File
9 Citations (Scopus)
453 Downloads (Pure)

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M. & Remke, A. K. I., 31 Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015). Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Cham: Springer, p. 208-224 17 p. (Lecture notes in computer science; vol. 9272).

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

File
8 Citations (Scopus)
9 Downloads (Pure)

Development of a Smart Grid Simulation Environment

Delamare, J., Bitachon, B., Peng, Z., Wang, Y., Haverkort, B. R. H. M. & Jongerden, M. R., Nov 2015, Proceedings of the 29th and 30th Annual UK Performance Engineering Workshops (UKPEW 2014). Amsterdam: Elsevier, p. 19-29 11 p. (Electronic Notes in Theoretical Computer Science; vol. 318).

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

File
3 Citations (Scopus)
156 Downloads (Pure)

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

van den Berg, F., Haverkort, B. R. H. M. & Hooman, J., Dec 2015, Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Knottenbelt, W., Wolter, K., Busic, A., Gribaudo, M. & Reinecke, P. (eds.). Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, p. 158-163 6 p.

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

File
4 Citations (Scopus)
49 Downloads (Pure)

Energy Resilience Modeling for Smart Houses

Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R. & Remke, A. K. I., Jun 2015, Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015. USA: IEEE Computer Society, p. 275-286 12 p.

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

File
14 Citations (Scopus)
41 Downloads (Pure)

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 30 Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9272).

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

File
7 Citations (Scopus)
5 Downloads (Pure)
2014

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 14 Apr 2014, Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014. Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Dagstuhl, Germany: Dagstuhl, p. 80-93 14 p. (OASICS; vol. 36).

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

File
9 Citations (Scopus)
16 Downloads (Pure)

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Postema, B. F., Remke, A. K. I., Haverkort, B. R. H. M. & Ghasemieh, H., 17 Mar 2014, 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014. Switzerland: Springer, p. 255-259 5 p. (Lecture Notes in Computer Science; vol. 8376).

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

File
5 Citations (Scopus)
107 Downloads (Pure)

Performance of LTE for smart grid communications

Karagiannis, G., Pham, G. T., Nguyen, A. D., Heijenk, G., Haverkort, B. R. H. M. & Campfens, F., Mar 2014, Proceedings of the 17th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems‿ and “Dependability and Fault-Tolerance‿, MMB & DFT 2014. Fischbach, K. & Krieger, U. R. (eds.). London: Springer, p. 225-239 15 p. (Lecture Notes in Computer Science).

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

16 Citations (Scopus)

Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management

Postema, B. F. & Haverkort, B. R. H. M., 10 Jun 2014, Proceedings of the International Workshop on Energy-Efficient Data Centres, E2DC 2014. Klingert, S., Chinnici, M. & Rey Porto, M. (eds.). London: Springer, p. 52-67 16 p. (Lecture Notes in Computer Science; vol. 8945).

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

2 Citations (Scopus)
2 Downloads (Pure)

Towards Simple Models for Energy-Performance Trade-Offs in Data Centers

Haverkort, B. R. H. M. & Postema, B. F., 19 Mar 2014, MMB & DFT 2014 : Proceedings of the International Workshops SOCNET 2014 and FGENET 2014. Bamberg: University of Bamberg Press, p. 113-122 10 p. (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg).

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

File
27 Downloads (Pure)
2013

A logic for model-checking mean-field models

Kolesnichenko, A., de Boer, P-T., Remke, A. & Haverkort, B. R., Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). Piscataway, NJ: IEEE, p. 1-12 12 p. (International Conference on Dependable Systems and Networks; vol. 43).

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

9 Citations (Scopus)
22 Downloads (Pure)

Analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013. New York: Association for Computing Machinery (ACM), p. 165-174 10 p.

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

File
10 Citations (Scopus)
25 Downloads (Pure)

Automated rare event simulation for stochastic Petri nets

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013. Joshi, K., Siegle, M., Stoelinga, M. & d' Argenio, P. R. (eds.). Berlin, Heidelberg: Springer, p. 372-388 17 p. (Lecture Notes in Computer Science; vol. 8054).

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

File
13 Citations (Scopus)
8 Downloads (Pure)

Challenges for modelling and analysis in embedded systems and systems-of-systems design

Haverkort, B. R. H. M., Mar 2013, Proceedings Advances in Systems of Systems, AiSoS 2013. Rome: arXiv.org, p. 40-46 7 p. (Electronic Proceedings in Theoretical Computer Science; vol. 133).

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

File
59 Downloads (Pure)

Performance evaluation for collision prevention based on a domain specic language

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

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

File
14 Downloads (Pure)

Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

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

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

File
20 Citations (Scopus)
82 Downloads (Pure)
2012

Fast simulation for slow paths in Markov models

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

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

File
25 Downloads (Pure)

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

Ghasemieh, H., Remke, A. K. I., Haverkort, B. R. H. M. & Gribaudo, M., Sep 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012). London: Springer, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 7595).

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

File
17 Citations (Scopus)
21 Downloads (Pure)

Simulative and Analytical Evaluation for ASD-Based Embedded Software

Sadre, R., Remke, A. K. I., Hettinga, S. & Haverkort, B. R. H. M., Mar 2012, 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Schmitt, J. B. (ed.). London: Springer, p. 166-181 16 p. (Lecture Notes in Computer Science; vol. 7201).

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

File
1 Citation (Scopus)
79 Downloads (Pure)
2011

An adaptive resource control mechanism in multi-hop ad-hoc networks

Yang, Y., Heijenk, G. & Haverkort, B. R. H. M., Jun 2011, 9th IFIP international conference on Wired/Wireless Internet Communications, WWIC 2011. Masip Bruin, X., Verchere, D., Tsaoussidis, V. & Yannuzzi, M. (eds.). Berlin: Springer, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6649).

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

File
14 Downloads (Pure)

Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Oct 2011, Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011. Thomas, N. (ed.). London: Springer, p. 133-147 15 p. (Lecture Notes in Computer Science; vol. 6977).

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

File
15 Citations (Scopus)
30 Downloads (Pure)

Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?

Haverkort, B. R. H. M., Sep 2011, 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011). Fahrenberg, U. & Tripakis, S. (eds.). Heidelberg: Springer, p. 18-24 7 p. (Lecture Notes in Computer Science; vol. 6919).

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

2 Citations (Scopus)

Is Quantitative Analysis of Stuxnet Possible?

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I., Zambon, E. & Haverkort, B. R. H. M., 7 Sep 2011, QEST 2011: Fast Abstracts. Katoen, J. P. & Van Houdt, B. (eds.). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT), p. 9-10 2 p. (CTIT Workshop Proceedings; vol. WP11-03).

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

File
105 Downloads (Pure)

Lifetime improvement by battery scheduling

Jongerden, M. R. & Haverkort, B. R. H. M., Jul 2011, Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011. England: Inprint and Design, p. 56-71 16 p.

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

File
60 Downloads (Pure)
2010

A first Experimental Investigation of the Practical Efficiency of Battery Scheduling

Miliche, D., de Graaf, M., Hoekstra, G., Jongerden, M. R. & Haverkort, B. R. H. M., Feb 2010, Work shop on Ultra-Low Power Sensor Networks (WUPS). VDE Verlag GmbH, p. 241-246 6 p.

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

File
81 Downloads (Pure)

Automating the mean-field method for large dynamic gossip networks

Bakhshi, R., Endrullis, J., Endrullis, S., Fokkink, W. & Haverkort, B. R. H. M., Sep 2010, Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010). USA: IEEE Computer Society, p. 241-250 10 p.

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

File
15 Citations (Scopus)
52 Downloads (Pure)

Computing lifetimes for battery-powered devices

Jongerden, M. R. & Haverkort, B. R. H. M., Sep 2010, Proceedings of the International Conference on Operations Research, OR2010. London: Springer, p. 193-198 6 p.

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

File
59 Downloads (Pure)

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I., Roolvink, S. & Stoelinga, M. I. A., Jul 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos: IEEE Computer Society Press, p. 419-424 6 p.

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

File
12 Citations (Scopus)
48 Downloads (Pure)

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I. & Roolvink, S., 5 Sep 2010, Proceedings of the ESREL 2010 Annual Conference. Ale, B. J. M., Papazoglou, I. A. & Zio, E. (eds.). London: Taylor & Francis, p. 27-34 8 p.

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

File
13 Downloads (Pure)

Probabilistic verification of Architectural software models using SoftArc and Prism

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

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

Quantitative Verification in Practice

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

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

3 Downloads (Pure)

Rare event simulation for highly dependable systems with fast repairs

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

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

File
7 Citations (Scopus)
56 Downloads (Pure)

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

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

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

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

Adaptive Resource Control in 2-hop Ad-Hoc Networks

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

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

File
1 Citation (Scopus)
72 Downloads (Pure)