Concepedia

Boudewijn R. Haverkort

BR

80

Publications

3.7K

Citations

30

H-Index

1990

Active since

Affiliations

University of Twente(Current)

RWTH Aachen University

University of Münster

Saarland University

University of Bonn

Boudewijn R. Haverkort is an author at University of Twente specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal VerificationFormal MethodsVerificationAutomated ReasoningReliability EngineeringSoftware Analysis

Publications per year

1990–2024

80

Publications

80

Model-checking algorithms for continuous-time markov chains

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2003 · 762 citations

Model Checking Problem, Engineering, Automated Reasoning +15

Which battery model to use?

Marijn Jongerden, Boudewijn R. Haverkort · IET Software · 2009 · 270 citations

Engineering, Energy Efficiency, Battery Technology +19

Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package

Boudewijn R. Haverkort · Performance Evaluation · 1998 · 202 citations

Software Maintenance, Software Reliability Testing, Engineering +19

Composite performance and dependability analysis

Kishor S. Trivedi, Jogesh K. Muppala, Steven Woolet et al. · Performance Evaluation · 1992 · 165 citations · Full text

Reliability, Dependency Analysis, Reliability Engineering +7

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

Christel Baier, Holger Hermanns, Joost-Pieter Katoen et al. · Theoretical Computer Science · 2005 · 123 citations · Full text

Reachability Analysis, Efficient Computation, Engineering +11

Rows per page

1–5 of 80