No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

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.

  • 31 Similar Profiles
Model checking Engineering & Materials Science
Testing Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Specifications Engineering & Materials Science
Formal methods Engineering & Materials Science
Availability Engineering & Materials Science
Intelligent buildings Engineering & Materials Science
Semantics Engineering & Materials Science

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

Research Output 2004 2018

Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

Abate, A., Budde, C. E., Cauchi, N., Hoque, K. A. & Stoelinga, M. I. A. 2 Jul 2018 In : Proceedings of the European Conference of the PHM Society. 4, 1, 16 p.

Research output: Contribution to journalConference article

Open Access
File
Intelligent buildings
Formal methods
Availability
Model checking
Costs

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: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Interoperability

LIFT: Learning Fault Trees from Observational Data

Nauta, M., Bucur, D. & Stoelinga, M. 2018 Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 11024)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Statistical tests
Failure modes
Learning systems
Availability
Industry

Model-Based Testing for General Stochastic Time

Gerhold, M., Hartmanns, A. & Stoelinga, M. 11 Mar 2018 NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). p. 203-219 (Lecture notes in computer science; vol. 10811)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Bluetooth
Real time systems
Probability distributions
Specifications
1 Citations

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: Contribution to journalArticle

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output

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