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.

  • 4 Similar Profiles
Model checking Engineering & Materials Science
Image processing Engineering & Materials Science
X rays Engineering & Materials Science
Servers Engineering & Materials Science
Sampling Engineering & Materials Science
Embedded systems Engineering & Materials Science
Medical imaging Engineering & Materials Science
Algebra Engineering & Materials Science

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

Research Output 2013 2018

  • 7 Conference contribution
  • 1 Chapter
  • 1 Article
  • 1 PhD Thesis - Research UT, graduation UT

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

Distribution functions
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

iDSL: Automated Performance Evaluation of Service-Oriented Systems

van den Berg, F. G. B., Haverkort, B. R. H. M. & Hooman, J. 27 Sep 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Langerak, R. & Rensink, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10500)

Research output: Scientific - peer-reviewChapter

Image processing
X rays

Evaluating Load Balancing Policies for Performance and Energy-Efficiency

van den Berg, F., Postema, B. F. & Haverkort, B. R. H. M. Apr 2016 Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016. Open Publishing Association, p. 98-117 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 227)

Research output: ScientificConference contribution

Resource allocation
Energy utilization
Weather forecasting
7 Citations

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M. & Remke, A. K. I. 31 Aug 2015 Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 208-224 17 p. (Lecture notes in computer science; vol. 9272)

Research output: Scientific - peer-reviewConference contribution

Model checking
Image processing
X rays

Activities 2014 2017

  • 4 Oral presentation
  • 1 Invited talk