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

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)
112 Downloads (Pure)

Five Performability Algorithms: A Comparison

Cloth, L. & Haverkort, B. R., Jun 2006, MAM 2006: Markov Anniversary Meeting. Langville, A. N. & Stewart, W. J. (eds.). Raleigh, NC, USA: Boson Books, p. 39-54 16 p.

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

Open Access
File
22 Downloads (Pure)

Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm

Sadre, R. & Haverkort, B. R., Feb 2008, 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS). Los Alamitos: IEEE Computer Society Press, p. 254-261 8 p.

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

Open Access
File
7 Citations (Scopus)
31 Downloads (Pure)

Fast simulation for slow paths in Markov models

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

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

File
25 Downloads (Pure)

Faster SPDL Model Checking Through Property-Driven State Space Generation

Kuntz, M. & Haverkort, B. R., 14 Sep 2007, Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings. Wolter, K. (ed.). Berlin, Heidelberg: Springer, p. 80-96 17 p. (Lecture Notes in Computer Science; vol. 4748).

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

Open Access
File
14 Downloads (Pure)

Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks

Zaburnenko, T. S., de Boer, P-T. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the seventh International Workshop on Rare Event Simulation, RESIM2008. Rennes, France: INRIA, p. 165-168 4 p.

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

File
10 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)
50 Downloads (Pure)

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)
53 Downloads (Pure)

Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme

Ehren, S., Ludwig, N., Haverkort, B. & El Abdouni Khayari, R., 2001, Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001. Buhl, H. U., Huther, A. & Reitweisner, B. (eds.). Heidelberg: Physica-Verlag, p. 503-516 14 p.

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

Open Access
File
23 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
17 Citations (Scopus)
47 Downloads (Pure)

Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications

Haverkort, B. R. H. M., 13 Feb 1995, Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press. IEEE, p. 72-81

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

File
36 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)
53 Downloads (Pure)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 29 Mar 2004, Tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 61-76

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

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Blom, S., Haverkort, B. R. H. M., Kuntz, G. W. M. & van de Pol, J. C., 3 Dec 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation. Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 35-50 16 p. 10.1016/j.entcs.2008.11.012. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

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

File
9 Citations (Scopus)
72 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)
167 Downloads (Pure)

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

CSL model checking of deterministic and stochastic Petri nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., 2006, Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems. German, R. & Heindl, A. (eds.). Berlin: VDE Verlag, p. 265-282 18 p.

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

File
18 Downloads (Pure)

CSL Model Checking Algorithms for Infinite-state Structured Markov chains

Remke, A. K. I. & Haverkort, B. R. H. M., 3 Oct 2007, 5th International Conference, FORMATS 2007. Raskin, J-F. & Thiagarajan, P. S. (eds.). London: Springer, p. 336-351 16 p. 10.1007/978-3-540-75454-1_24. (Lecture Notes in Computer Science; vol. 4763, no. LNCS4549).

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

File
6 Citations (Scopus)
36 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)

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
63 Downloads (Pure)

Computing Battery Lifetime Distributions

Cloth, L., Haverkort, B. R. H. M. & Jongerden, M. R., Jun 2007, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). Los Alamitos: IEEE Computer Society Press, p. 780-789 10 p. 10.1109/DSN.2007.26

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

File
38 Citations (Scopus)
115 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)
31 Downloads (Pure)

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

Changes in the Web from 2000 to 2007

Sadre, R. & Haverkort, B. R. H. M., Sep 2008, Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. London: Springer, p. 136-148 13 p. 10.1007/978-3-540-87353-2_11. (Lecture Notes in Computer Science; vol. 5273, no. WP 08-02).

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

File
7 Citations (Scopus)
49 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
61 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

Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Nov 2006, Stochastic Performance Models for Resource Allocation in Communication Systems. Mandjes, M., van der Mei, R. & Nunez Queija, R. (eds.). Centrum voor Wiskunde en Informatica, p. 23-26 4 p.

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

File
24 Downloads (Pure)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks

Remke, A., Haverkort, B. R., Heijenk, G. & Cloth, L., 4 Jun 2008, Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings. Al-Begain, K., Heindl, A. & Telek, M. (eds.). Berlin- Heidelberg: Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 5055).

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

4 Citations (Scopus)
7 Downloads (Pure)

Best of Three Worlds: Towards Sound Architectural Dependability Models

Boudali, H., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Sep 2007, 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Enschede: Centre for Telematics and Information Technology (CTIT), p. 45-49 5 p. (CTIT Workshop Proceedings).

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

Open Access
File
18 Downloads (Pure)

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)

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Sep 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 63-72 10 p. 10.1109/QEST.2006.3

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

File
3 Citations (Scopus)
65 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)
55 Downloads (Pure)

Automated rare event simulation for stochastic Petri nets

Reijsbergen, D., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. 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

13 Citations (Scopus)
8 Downloads (Pure)

A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks

Remke, A. K. I. & Haverkort, B. R. H. M., 15 Sep 2008, The 6th International Conference on Formal Modelling and Analysis of Timed Systems. Berlin: Springer, p. 188-202 15 p. 10.1007/978-3-540-85778-5_14. (Lecture Notes in Computer Science; no. 302).

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

File
76 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)

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

9 Citations (Scopus)

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)
460 Downloads (Pure)

Architectural dependability evaluation with Arcade

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., 2008, Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos: IEEE Computer Society Press, p. 512-521 10 p.

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

File
35 Citations (Scopus)
23 Downloads (Pure)

Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). Los Alamitos: IEEE Computer Society, p. 243-248 6 p.

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

File
9 Citations (Scopus)
44 Downloads (Pure)

Approximate performability analysis using generalized stochastic petri nets

Haverkort, B. R. H. M., 3 Dec 1991, Fourth International Workshop on Petri Nets and Performance Models. Melbourne, Australie: IEEE, p. 300-309 10 p.

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

File
4 Citations (Scopus)
41 Downloads (Pure)

Approximate Analysis of Networks of PH$....Queues: Theory & Tool Support

Haverkort, B. R. H. M., 13 Feb 1995, Quantitative Evaluation of Computing and Communication Systems, Editors: H. Beilner, F. Bause, Lecture Notes in Computer Science, Springer Verlag. p. 239-253

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

A performability modelling tool based on the dynamic queueing network concept

Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 13 Feb 1991, Fifth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Torino, Italie, p. 174-188 15 p.

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

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

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)
1108 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
12 Citations (Scopus)
27 Downloads (Pure)

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)

A method for analyzing the performance aspects of the fault-tolerance mechanisms in FDDI

van Moorsel, A. P. A., Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 18 May 1992, Proceedings IEEE INFOCOM '92. Florence: IEEE, p. 372-381

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

File
1 Citation (Scopus)
31 Downloads (Pure)

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)

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 Fixed-Point Algorithm for Closed Queueing Networks

Sadre, R., Haverkort, B. R. H. M. & Reinelt, P., 2007, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007. Wolter, K. (ed.). Springer, p. 154-170 17 p. 10.1007/978-3-540-75211-0_12. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

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

File
2 Citations (Scopus)
149 Downloads (Pure)