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.

  • 7 Similar Profiles
Model checking Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Testing Engineering & Materials Science
Automata Mathematics
Costs Engineering & Materials Science
Stochastic models Engineering & Materials Science
Confluence Mathematics
Markov processes Engineering & Materials Science

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

Research Output 2004 2018

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A. Apr 2018 Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802)

Research output: Scientific - peer-reviewConference contribution

Interoperability

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees

Cauchi, N., Hoque, K. A., Abate, A. & Stoelinga, M. 12 Jan 2018 arXiv.org

Research output: ProfessionalWorking paper

Intelligent buildings
Model checking
Air conditioning
Markov processes
Ventilation

Model-based testing of probabilistic systems

Gerhold, M. & Stoelinga, M. 22 Jan 2018 In : Formal aspects of computing. 30, 1, p. 77-106

Research output: Scientific - peer-reviewArticle

Testing
Specifications
Statistical methods

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking

Ruijters, E. J. J. May 2018 Enschede. 272 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Costs
Inspection
Repair
Availability
1 Citations

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A. 13 Jan 2017 Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer Verlag, Vol. 10107, p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107)

Research output: Scientific - peer-reviewConference contribution

Hardware
Interoperability

Activities 2016 2016

  • 2 Oral presentation
  • 1 Invited talk

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