Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 38 Similar Profiles
Model checking Engineering & Materials Science
Scheduling Engineering & Materials Science
Petri nets Engineering & Materials Science
Stochastic models Engineering & Materials Science
Semantics Engineering & Materials Science
Random processes Engineering & Materials Science
Specification languages Engineering & Materials Science
Outages Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1990 2018

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

van den Berg, F. G. B., Hooman, J. & Haverkort, B. R. H. M. 2018 Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). Springer Verlag, p. 295-301 7 p. (Lecture Notes in Computer Science; vol. 10740)

Research output: Scientific - peer-reviewConference contribution

Algebra
Distribution functions
Calibration
Specifications
Finite automata
Electric power distribution

Analysis of hybrid Petri nets with random discrete events

Ghasemieh, H. 3 Feb 2017 Enschede. 196 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Petri nets
Critical infrastructures
Intelligent buildings
Sewage treatment
Electric power distribution
1 Citations

Automated performance evaluation of service-oriented systems

van den Berg, F. G. B. 14 Jun 2017 Enschede. 266 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Embedded systems
Model checking
Computer systems
Gain measurement
Biomedical equipment

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

Jongerden, M. R. & Haverkort, B. R. 11 Aug 2017 Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 88-103 16 p. (Lecture Notes in Computer Science; vol. 10503)

Research output: Scientific - peer-reviewConference contribution

Charging (batteries)
Degradation
Kinetics
Secondary batteries
Electric vehicles

Activities 2012 2017

  • 4 Oral presentation
  • 1 Invited talk

Automated Performance Evaluation of Service-Oriented Systems

van den Berg, F. G. B. (Speaker), Haverkort, B. R. (Contributor), Jozef Hooman (Contributor)
26 Sep 2017

Activity: Oral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
16 Dec 2016

Activity: Invited talk

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Zebel, S. (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
4 Oct 2016

Activity: Oral presentation

Design and implementation of digital communication systems for victim-offender mediation

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
31 Aug 2016

Activity: Oral presentation

ICT redefines High-Tech Systems

Haverkort, B. R. (Speaker)
18 Jun 2012

Activity: Oral presentation