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.

  • 36 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

Evaluation of Advanced Data Centre Power Management Strategies

Postema, B. F. & Haverkort, B. R. 9 May 2018 In : Electronic notes in theoretical computer science. 337, p. 173-191 19 p.

Research output: Scientific - peer-reviewArticle

Specification languages
Power management
Servers
Energy utilization

Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA

Habraken, M. M. P. , Ahsmann, B. , van den Akker , E. , van Baars , G. , Baartmans, R. , Blankendaal, J. , Bossert, R. , Burghardt, P. , Duisterwinkel, A. , van Eijk , D. , van den Eijnde , W. , Endhoven, W. , Gijsbers, G. , Ten Have, K. , Haverkort, B. R. H. M. , van der Horst, T. , Jayawardhana, B. , Jansson, M. , Karelse, F. , van Keulen, F. & 10 others van Kranenburg , H., van Lente, H., van Lier, B., Meinders, T., Post, J., Puik, E., Renders, W., Snijder, P. L., Sol, E-J. & Thuis, B. 5 Feb 2018

Research output: Other research outputReport

Industry

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

Activities 2012 2018

  • 5 Oral presentation
  • 1 Invited talk

Designing Cyber-Physical Systems (CPSs) with aDSL: a Domain Specific Language and Toolchain

van den Berg, F. (Speaker), Bedir Tekinerdogan (Contributor), Vahid Garousi (Contributor), Haverkort, B. R. (Contributor)
19 Mar 2018

Activity: Oral presentation

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