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

Boudewijn R. Haverkort

university of twente

35H指数

353论文数

5.6K被引数

收录论文 17

发表时间

Mastering operational limitations of LEO satellites - The GOMX-3 approach 掌握低轨卫星的操作限制-GOMX-3方法

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.

Zero-energy Internet-of-Things Energy-SIM'18 Workshop Keynote Abstract 零能耗物联网能源-sim'18研讨会主题演讲摘要

companion of the

IF0

2018-04-02

PREAI

Haverkort, Boudewijn R.

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.

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.

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

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

Computing Lifetimes for Battery-Powered Devices 计算电池供电设备的寿命

operations research proceedings

IF0

2011-06-21

OAAI

Jongerden, Marijn; Haverkort, Boudewijn

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

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

Which battery model to use?使用哪种电池型号？

IET SOFTWARE

IF1.3

2009-12-14

200

OAAI

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

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

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.

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

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 2005 IEEE/IFIP可靠系统和网络会议特刊的客座社论，包括可靠计算和通信以及性能和可靠性专题讨论会

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2006-07-01

OAAI

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

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

Introduction to the special section on Petri Nets and Performance Models 关于Petri网和性能模型的特殊部分的介绍

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2002-10-01

PREAI

Ciardo, G; German, R; Haverkort, BR

Approximate analysis of networks of PH|PH|1|K queues with customer losses:: Test results 具有客户损失的PH | 1 | K队列网络的近似分析:: 测试结果

ANNALS OF OPERATIONS RESEARCH

IF4.5

1998-01-01

PREAI

Haverkort, BR

研究方向