Boudewijn R. Haverkort - Publications, H-index & Citations

Back

Boudewijn R. Haverkort

university of twente

35H-index

353Paper Count

5.6KCitation Count

Published Papers 17

Publication Date

Mastering operational limitations of LEO satellites - The GOMX-3 approach

ACTA ASTRONAUTICA

IF3.4

2018-10-01

OAAI

Nies, Gilles; Stenger, Marvin; Krcal, Jan; Hermanns, Holger; Bisgaard, Morten; Gerhardt, David; Haverkort, Boudewijn; Jongerden, Marijn; Larsen, Kim G.; Wognsen, Erik R.

Save

Zero-energy Internet-of-Things Energy-SIM'18 Workshop Keynote Abstract

companion of the

IF0

2018-04-02

PREAI

Haverkort, Boudewijn R.

Save

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

quantitative evaluation of systems (qest

IF0

2017-08-11

PREAI

Jongerden, Marijn R.; Haverkort, Boudewijn R.

Save

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

ENERGIES

IF3.2

2016-09-09

OAAI

Jongerden, Marijn R.; Huels, Jannik; Remke, Anne; Haverkort, Boudewijn R.

Save

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

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015)

IF0

2015-08-22

PREAI

Wognsen, Erik Ramsgaard; Haverkort, Boudewijn R.; Jongerden, Marijn; Hansen, Rene Rydhof; Larsen, Kim Guldstrand

Save

Energy Resilience Modeling for Smart Houses

2015 45TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS

IF0

2015-06-01

OAAI

Ghasemieh, Hamed; Haverkort, Boudewijn R.; Jongerden, Marijn R.; Remke, Anne

Save

Computing Lifetimes for Battery-Powered Devices

operations research proceedings

IF0

2011-06-21

OAAI

Jongerden, Marijn; Haverkort, Boudewijn

Save

Performance Evaluation and Model Checking Join Forces

COMMUNICATIONS OF THE ACM

IF12.2

2010-09-01

OAAI

Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter

Save

Computing Optimal Schedules of Battery Usage in Embedded Systems

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2010-08-01

OAAI

Jongerden, Marijn; Mereacre, Alexandru; Bohnenkamp, Henrik; Haverkort, Boudewijn; Katoen, Joost-Pieter

Save

Which battery model to use?

IET SOFTWARE

IF1.3

2009-12-14

200

OAAI

Jongerden, M. R.; Haverkort, B. R.

Save

Maximizing System Lifetime by Battery Scheduling

2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009)

IF0

2009-06-01

OAAI

Jongerden, Marijn; Haverkort, Boudewijn; Bohnenkamp, Henrik; Katoen, Joost-Pieter

Save

Computing battery lifetime distributions

37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS

IF0

2007-06-01

OAAI

Cloth, Lucia; Jongerden, Marijn R.; Haverkort, Boudewijn R.

Save

Model checking Markov chains with actions and state labels

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2007-04-01

PREAI

Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Kuntz, Matthias; Siegle, Markus

Save

Guest editorial for the special issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the dependable computing and communications and performance and dependability symposia

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2006-07-01

OAAI

Arlat, Jean; Bondavalli, Andrea; Haverkort, Boudewijn; Verissimo, Paulo

Save

Model-checking algorithms for continuous-time Markov chains

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2003-06-01

502

OAAI

Baier, C; Haverkort, B; Hermanns, H; Katoen, JP

Save

Introduction to the special section on Petri Nets and Performance Models

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2002-10-01

PREAI

Ciardo, G; German, R; Haverkort, BR

Save

Approximate analysis of networks of PH|PH|1|K queues with customer losses:: Test results

ANNALS OF OPERATIONS RESEARCH

IF4.5

1998-01-01

PREAI

Haverkort, BR

Save

Research Directions