Find Research Outputs

Search concepts
Selected filters
2016

Survivability analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Mar 2016, In : Performance Evaluation. 97, p. 36-56 21 p.

Research output: Contribution to journalArticleScientificpeer-review

Sewage treatment
Survivability
Petri nets
Petri Nets
Wastewater

Battery Aging and the Kinetic Battery Model

Jongerden, M. R. & Haverkort, B. R. H. M., Nov 2016, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report)

Research output: Book/ReportBookScientific

Aging of materials
Degradation
Kinetics
2017

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. Langerak, R. & Rensink, A. (eds.). Springer, (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Image processing
X rays
2018

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, https://www.smartindustry.nl/smart-industry-roadmap/.

Research output: Book/ReportBookScientific

2017

Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases

Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., Everinghoff, F., Giberlein, A., Teodorowicz, T. & Wieland, J., 2017.

Research output: Contribution to conferencePaperOther research output

SCADA systems
Intrusion detection
Testbeds
Electric power distribution
2016

Improving SCADA security of a local process with a power grid model

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., Aug 2016, 10 p. UK : BCS Learning & Development Ltd.

Research output: Other contribution

Intrusion detection
2019

A parser for deep packet inspection of IEC-104: A practical solution for industrial applications

Chromik, J. J., Remke, A. K. I., Haverkort, B. & Geist, G., 2019. 6 p.

Research output: Contribution to conferencePaperScientificpeer-review

Industrial applications
Inspection
Monitoring
Throughput
2017

Specification of data centre power management strategies

Postema, B. F. & Haverkort, B. R., 16 May 2017, 6 p. New York, NY, USA : Association for Computing Machinery (ACM).

Research output: Other contribution

Specifications
Servers
Energy utilization
Power management
2019

A New generic processor temperature estimation method

Ozceylan, B., Haverkort, B., De Graaf, M. & Gerards, M., 2019. 6 p.

Research output: Contribution to conferencePaperScientificpeer-review

Temperature
Heat losses
Scheduling
Cooling
Sensors
2016

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer Verlag, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2017

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

Jongerden, M. R., Haverkort, B. R., Bertrand, N. (ed.) & Bortolussi, L. (ed.), 11 Aug 2017, 16 p. Cham : Springer.

Research output: Other contribution

Charging (batteries)
Aging of materials
Kinetics
Degradation
Secondary batteries
2016

Evaluating Load Balancing Policies for Performance and Energy-Efficiency

van den Berg, F., Postema, B. F. & Haverkort, B. R. H. M., Apr 2016, 20 p. Open Publishing Association.

Research output: Other contribution

Resource allocation
Energy efficiency
Servers
Energy utilization
Weather forecasting
2018

A Tool for Generating Automata of IEC60870-5-104 Implementations

Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018.

Research output: Contribution to conferencePaperOther research output

Specifications
Network protocols
Finite automata
Electric power distribution
2016

Fitting a code-red virus spread model: An account of putting theory into practice

Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I. & de Boer, P-T., Mar 2016, p. 39-46. 8 p.

Research output: Contribution to conferencePaperOther research output

Virus
Computer Virus
Model
Mean-field Model
Epidemic Model

What's under the hood? Improving SCADA security with process awareness

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 12 Apr 2016, USA : Institute of Electrical and Electronics Engineers ( IEEE ).

Research output: Other contribution

Monitoring
Intrusion detection
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., German, R. (ed.), Hielscher, K-S. (ed.) & Krieger, U. R. (ed.), 2018, 7 p. Springer Verlag.

Research output: Other contribution

Algebra
Distribution functions
Calibration
2017

Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland

van der Molen, I., Berendsen, J., Gerardts, R., Haverkort, B. R. H. M., Meijerink, B. J., Misana-Ter Huurne, E. F. J., Rojer, G., Schoop, R. & Torenvlied, R., 2017, University of Twente.

Research output: Book/ReportBookScientific

Rapport
2016

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

van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M. & Giebels, E., 5 Sep 2016, Paris : Laboratory of Excellence SMART.

Research output: Other contribution

2018

Combining Energy Saving Techniques in Data Centres using Model-Based Analysis

Postema, B. F., Van Damme, T., De Persis, C., Tesi, P. & Haverkort, B. R. H. M., 2018, 6 p. ACM Press.

Research output: Other contribution

Energy conservation
Cooling
Energy utilization
Hot Temperature
Power management

An integrated testbed for locally monitoring SCADA systems in smart grids

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 6 Nov 2018, In : Energy Informatics. 1, p. 1-29 29 p.

Research output: Contribution to journalArticleScientificpeer-review

SCADA systems
Testbeds
Monitoring
Simulators
Intrusion detection
2016

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Jongerden, M. R., Hüls, J., Remke, A. & Haverkort, B. R., 9 Sep 2016, In : Energies. 9, 9

Research output: Contribution to journalArticleScientificpeer-review

Outages
Survivability
Grid
Battery
Energy
2018

Bro in SCADA: dynamic intrusion detection policies based on a system model

Chromik, J. J., Remke, A. & Haverkort, B. R., 30 Aug 2018, 10 p. Hamburg : BCS Learning & Development Ltd.

Research output: Other contribution

Intrusion detection
SCADA systems
Sensors
Monitoring
2016

Assessing the Cost of Energy Independence

Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M. & Remke, A. K. I., Apr 2016, 6 p. USA : IEEE Power & Energy Society.

Research output: Other contribution

Outages
Costs
2017

Smart Industry

Haverkort, B. R. & Zimmermann, A., 2017, In : IEEE Internet Computing. 21, 1, p. 8-10 3 p.

Research output: Contribution to journalArticleScientificpeer-review

Industry
Internet
Supply chains
Innovation
Communication
2018

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: Contribution to journalArticleScientificpeer-review

Power Management
Data Center
Evaluation
Specification languages
Servers
2016

Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B. R. H. M., Jongerden, M. R., Larsen, K. G. & Wognsen, E. R., Sep 2016, 15 p. France : International Astronautical Federation.

Research output: Other contribution

Orbits
Earth (planet)
Satellites
Scheduling
Nanosatellites