Research output per year
Research output per year
Personal profile
Fingerprint
Dive into the research topics where Boudewijn R.H.M. Haverkort is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage
Willemsen, L., Remke, A., Haverkort, B. R. & Hurink, J. L., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (eds.). Springer, p. 382-407 26 p. (Lecture notes in computer science; vol. 15760).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
Behavioral Analysis of a Digital Twin using Logging and Model Learning
Gunasekaran, R., Haverkort, B. R. & Kruger, L., 2025, In: Journal of object technology. 24, 2, p. 1-14 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile29 Downloads (Pure) -
Verification of Digital Twins using Classical & Statistical Model Checking
Gunasekaran, R. & Haverkort, B., 4 May 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 418, p. 16-23 8 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open AccessFile8 Downloads (Pure) -
Verification of Digital Twins through Statistical Model Checking
Gunasekaran, R. & Haverkort, B. R., 2024, In: CEUR workshop proceedings. 3855, 15 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open AccessFile1 Citation (Scopus)25 Downloads (Pure) -
Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks
Ozceylan, B., Haverkort, B. R. H. M., de Graaf, M. & Gerards, M. E. T., Aug 2022, In: IEEE transactions on very large scale integration (VLSI) systems. 30, 8, p. 1084-1097 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile5 Citations (Scopus)427 Downloads (Pure)
Prizes
-
2019 Harvey Rosten Award For Excellence
Ozceylan, B. (Recipient), Haverkort, B. R. H. M. (Recipient), de Graaf, M. (Recipient) & Gerards, M. E. T. (Recipient), 19 Mar 2020
Prize
-
Designing Cyber-Physical Systems (CPSs) with aDSL: a Domain Specific Language and Toolchain
van den Berg, F. (Speaker), Tekinerdogan, B. (Contributor), Garousi, V. (Contributor) & Haverkort, B. R. (Contributor)
19 Mar 2018Activity: Talk or presentation › Oral presentation
-
Automated Performance Evaluation of Service-Oriented Systems
van den Berg, F. G. B. (Speaker), Haverkort, B. R. H. M. (Contributor) & Hooman, J. (Contributor)
26 Sept 2017Activity: Talk or presentation › Oral presentation
-
Design and implementation of digital communication systems for victim-offender mediation
van den Berg, L. I. S. A. (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)
31 Aug 2016Activity: Talk or presentation › Oral presentation
-
Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie
Zebel, S. (Speaker), van den Berg, L. I. S. A. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)
4 Oct 2016Activity: Talk or presentation › Oral presentation
-
Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling
van den Berg, L. I. S. A. (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)
16 Dec 2016Activity: Talk or presentation › Invited talk