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

Which battery model to use?

Jongerden, M. R. & Haverkort, B. R. H. M., 3 Jul 2008, 24th UK Performance Engineering Workshop: 3–4 July 2008. Argent-Katwala, A., Dingle, N. J. & Harder, U. (eds.). Imperial College London, p. 76-88 13 p. (Department of Computing Technical Reports; vol. 2008, no. 9).

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

Open Access
File
254 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)
121 Downloads (Pure)

Using Dynamic Queueing Networks as a Tool for Specifying Performability Models

Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 1 Sep 1990, European Simulation Multi-conference. Nurnberg, BRD, p. 184-191 8 p.

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

Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Oct 2006, First International Conference on Performance Evaluation Methodologies and Tools. New York: Association for Computing Machinery (ACM), p. 7 10 p. 10.1145/1190366.1190372

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

File
1 Citation (Scopus)
40 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)

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE Computer Society, p. 133-142 10 p. 10.1109/QEST.2009.9

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

File
1 Citation (Scopus)
88 Downloads (Pure)

The performability tool P'ility

Cloth, L. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008. Los Alamitos: IEEE Computer Society, p. 117-118 2 p. 10.1109/QEST.2008.27

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

File
2 Citations (Scopus)
62 Downloads (Pure)

The effect of mobility on local service discovery in the Ahoy ad-hoc network system

Goering, P. T. H., Heijenk, G., Haverkort, B. R. H. M. & Haarman, R., 2007, Proceedings of the European Performance Engineering Workshop, EPEW 2007. London: Springer, p. 284-300 17 p. 10.1007/978-3-540-75211-0_21. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

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

File
1 Citation (Scopus)
21 Downloads (Pure)

The 3TU Embedded Systems master in the Netherlands

Smit, G. J. M., van der Hoeven, G., Groote, J. F., Otten, R. H. J. M., Tonino, H., Juurlink, B. H. H. & Haverkort, B. R. H. M., 15 Oct 2009, 2009 Workshop on Embedded Systems Education. Grenoble, France: Association for Computing Machinery (ACM), p. 8-12 5 p.

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

File
33 Downloads (Pure)

Surviving Survivability Specifications

Cloth, L. & Haverkort, B. R. H. M., 28 Jun 2005, Supplemental Volume of the 2005 Int.'l Conference on Dependable Systems and Networks. Dr. Bondavalli, A., Prof.dr.ir. Haverkort, B. R. H. M. & Prof. Tang, D. (eds.). Yokohama, Japan: IEEE Computer Society, p. 70-71 2 p.

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

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

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)

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)

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

Sensitivity and Uncertainty Analyses in Performability modelling

Haverkort, B. R. H. M. & Meeuwissen, A. M. H., 17 Oct 1992, Proceedings of the 11th symposium on reliable distributed systems. Houston: IEEE, p. 93-102 10 p.

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

File
4 Citations (Scopus)
25 Downloads (Pure)

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the second workshop on foundations of interface theories (FIT). Aalborg, Denmark: University of Aalborg, p. 5-10 6 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)
22 Downloads (Pure)

Reachability in continuous-time Markov reward decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Graedel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

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

File
31 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)
59 Downloads (Pure)

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)

Quality of Service Management in Distributed Systems using Dynamic Routation

Franken, L. J. N., Janssen, P., Haverkort, B. R. H. M. & van Liempd, G., 13 Feb 1995, Open Distributed Processing: Experiences with distributed environments. Proceedings of the third IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing, 1994. Raymond, K. & Armstrong, L. (eds.). Berlin, Germany: Springer, p. 384-395 (IFIP - The International Federation for Information Processing).

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

Open Access
File
17 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

Preface

Cerná, I. & Haverkort, B. R. H. M., 4 Mar 2008, 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007. Amsterdam: Elsevier, p. 1-2 2 p.

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

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

Performance Evaluation of Threshold-Based ATM Cell Scheduling Policies under Markov-Modulated Poisson Traffic using Stochastic Petri Nets

Haverkort, B. R., Idzenga, H. P. & Kim, B. G., 13 Feb 1995, Performance Modelling and Evaluation of ATM Networks. Kouvatsos, D. D. (ed.). Boston, MA: Springer, p. 553-572 (IFIP - The International Federation for Information Processing).

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

Open Access
File
10 Downloads (Pure)

Performance evaluation of intelligent network services

Leever, P. J. E., Vermeer, G. S., Reijmerink, R. A. J., Franken, L. N. J. & Haverkort, B. R., 1993, Tenth UK Teletraffic Symposium: 10th Performance Engineering in Telecommunications Network. Piscataway, NJ: IEEE, 7 p.

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

Open Access
File
2 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
15 Downloads (Pure)

Performance and Dependability Evaluation: Successes, Failures and Challenges

Haverkort, B. R. H. M., 24 Sep 2008, EPEW. London: Springer, p. 1-1 1 p. 10.1007/978-3-540-87412-6_1. (Lecture Notes in Computer Science; vol. 5261, no. 412).

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

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 21 Feb 2000, 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, p. 228-237 10 p.

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

On the Logical Characterisation of Performability Properties

Baier, C., Haverkort, B., Hermanns, H. & Katoen, J. P., Jul 2000, Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings. Montanari, U., Rolin, J. D. P. & Welzl, E. (eds.). Berlin: Springer, p. 780-792 13 p. (Lecture Notes in Computer Science; vol. 1853).

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

Open Access
File
81 Citations (Scopus)
50 Downloads (Pure)

Model-checking performability properties

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C., 2002, Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA: IEEE CS Press, p. - 10 p.

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

56 Citations (Scopus)

Model Checking pathCSL

Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P. & Baier, C., 6 Sep 2003, PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. Bobbio, A., Deavours, D. & Ma, Y. (eds.). Urbana-Champaign: University of Illinois at Urbana-Champaign, p. 19-22

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

Open Access
File
8 Downloads (Pure)

Model checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 2005, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005). Halbwachs, N. & Zuck, L. D. (eds.). Berlin / Heidelberg, Germany: Springer, p. 237-252 16 p. (Lecture Notes in Computer Science; vol. 3440).

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

File
23 Citations (Scopus)
10 Downloads (Pure)

Model checking for survivability

Cloth, L. & Haverkort, B. R. H. M., 19 Sep 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05). IEEE Computer Society, p. 145-154

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

40 Citations (Scopus)

Model Checking CSRL-Specified Performability Properties

Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P. & Baier, C., 2001, Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). German, R., Lüthi, J. & Telek, M. (eds.). Erlangen: University of Erlangen, p. - 5 p.

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

Model checking action- and state-labelled Markov chains

Cloth, L., Baier, C., Kuntz, M., Siegle, M. & Haverkort, B. R. H. M., 28 Jun 2004, Proceedings of the 2004 International Conference on Dependable Systems and Networks. Florence, Italy: IEEE Computer Society Press, p. 701-710 10 p.

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

19 Citations (Scopus)

Message from the IWQoS 2008 chairs!

Karlsson, G., Karagiannis, G. & Haverkort, B. R. H. M., Jun 2008, 2008 16th International Workshop on Quality of Service: Enschede, The Netherlands, 2-4 June 2008. van den Berg, H. L. & Karlsson, G. (eds.). New York: IEEE, p. 1

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

File
9 Downloads (Pure)

Measuring and modelling of application flow length in commercial GPRS networks

Kalden, R. & Haverkort, B. R. H. M., 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 83-92 10 p. 10.1109/QEST.2006.30

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

File
1 Citation (Scopus)
85 Downloads (Pure)

Mean-Field Analysis for the Evaluation of Gossip Protocols

Bakshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Sep 2009, IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). Los Alamitos: IEEE Computer Society Press, p. 247-256 10 p.

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

File
23 Citations (Scopus)
72 Downloads (Pure)

Maximizing System Lifetime by Battery Scheduling

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.

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

File
27 Citations (Scopus)
84 Downloads (Pure)

MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., 2006, Proceedings of the Third Int'l. Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 133-134 2 p. 10.1109/QEST.2006.29

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

File
1 Citation (Scopus)
97 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
160 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
61 Downloads (Pure)

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)

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

GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour

Kuntz, M. & Haverkort, B. R., Sep 2007, Proceedings of the Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 50-56 7 p. (CTIT Workshop Proceedings).

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

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

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)