Mariëlle Ida Antoinette Stoelinga

dr.

20042020
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Mariëlle Ida Antoinette Stoelinga is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 8 Similar Profiles
Model checking Engineering & Materials Science
Testing Engineering & Materials Science
Intelligent buildings Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Formal methods Engineering & Materials Science
Specifications Engineering & Materials Science
Fault Tree Mathematics
Availability Engineering & Materials Science

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

Research Output 2004 2020

28 Downloads (Pure)

Alice & Eve: A celebration of women in computing

van Huizen, N., Kemper, P., Stoelinga, M. (ed.), Schaafstal, A. (ed.), Huisman, M. (ed.) & Lathouwers, S. (ed.), 2020, Enschede: University of Twente. 133 p.

Research output: Book/ReportBookProfessional

Open Access
File

Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm

Linard, A., Bucur, D. & Stoelinga, M., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Guan, N., Katoen, J-P. & Sun, J. (eds.). Cham: Springer, p. 19-37 19 p. (Lecture Notes in Computer Science; vol. 11951)(Programming and Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fault Tree
Evolutionary algorithms
Evolutionary Algorithms
Sensors
Internet of Things
Open Access
File
Evolutionary algorithms
Sensors
Failure modes
Experiments
Cyber Physical System

FFORT: A benchmark suite for fault tree analysis

Ruijters, E. J. J., Budde, C. E., Chenariyan Nakhaee, M., Stoelinga, M. I. A., Bucur, D., Hiemstra, D. & Schivo, S., 2019, ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. Beer, M. & Zio, E. (eds.). Research Publishing, p. 22-26

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
analysis
metadata
engineering
modeling
method

From Good Intentions to Behaviour Change: Probabilistic Feature Diagrams for Behaviour Support Agents

Kließ, M. S., Stoelinga, M. & van Riemsdijk, M. B., 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila-Wenkstern, R. (eds.). Cham: Springer, p. 354-369 16 p. (Lecture Notes in Computer Science; vol. 11873).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Behavior change
Diagrams
Decomposition
Organizing
Hypothesis testing

Activities 2016 2017

  • 3 Oral presentation
  • 1 Invited talk

Fault Maintenance Trees: Reliability Centered Maintenance Via Statistical Model Checking

Mariëlle Stoelinga (Speaker)
3 Feb 2017

Activity: Talk or presentationOral presentation

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

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
31 Aug 2016

Activity: Talk or presentationOral presentation

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Sven Zebel (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
4 Oct 2016

Activity: Talk or presentationOral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
16 Dec 2016

Activity: Talk or presentationInvited talk