logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Mariëlle Stoelinga

university of twente

35H-index
289Paper Count
4.8KCitation Count
Published Papers 13
Publication Date
logo
Fuzzy Fault Trees: the Fast and the Formal
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errDang, Thi Kim Nhung; Peterseim, Benedikt; Lopuhaa-Zwakenberg, Milan; Stoelinga, Marielle
errShare
errSave
Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata
errTESTING SOFTWARE AND SYSTEMS, ICTSS 2025
IF0
err2026-01-01
err0
PREAI
errBrandan Briones, Laura; Gerhold, Marcus; van den Bos, Petra; Stoelinga, Marielle
errShare
errSave
ATM: a Logic for Quantitative Security Properties on Attack Trees
errSOFTWARE AND SYSTEMS MODELING
IF3.2
err2025-10-01
err0
errOAAI
errNicoletti, Stefano M.; Lopuhaa-Zwakenberg, Milan; Hahn, E. Moritz; Stoelinga, Marielle
errShare
errSave
A comparison of anomaly detection algorithms with applications on recoater streaking in an additive manufacturing process
errRAPID PROTOTYPING JOURNAL
IF3.6
err2024-08-22
err0
PREAI
errStribos, Reinier; Bouman, Roel; Jimenez, Lisandro; Slot, Maaike; Stoelinga, Marielle
errShare
errSave
Model-based joint analysis of safety and security: Survey and identification of gaps
errCOMPUTER SCIENCE REVIEW
IF12.7
err2023-11-01
err4
errOAAI
errNicoletti, Stefano M.; Peppelman, Marijn; Kolb, Christina; Stoelinga, Marielle
errShare
errSave
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-09-01
err4
errOAAI
errLopuhaa-Zwakenberg, Milan; Budde, Carlos E.; Stoelinga, Marielle
errShare
errSave
Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-07-01
err3
errOAAI
errJimenez-Roa, Lisandro Arturo; Heskes, Tom; Tinga, Tiedo; Stoelinga, Marielle
errShare
errSave
Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store
errIEEE SOFTWARE
IF3
err2022-05-01
err1
errOAAI
errMalavolta, Ivano; Ghaleb, Taher A.; David, Istvan; van Rooijen, Jasper; Stoelinga, Marielle
errShare
errSave
Rare event simulation for dynamic fault trees
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2019-06-01
err27
errOAAI
errRuijters, Enno; Reijsbergen, Daniel; de Boer, Pieter-Tjerk; Stoelinga, Marielle
errShare
errSave
Maintenance of Smart Buildings using Fault Trees
errACM TRANSACTIONS ON SENSOR NETWORKS
IF4.7
err2018-11-27
err7
errOAAI
errCauchi, Nathalie; Hoque, Khaza Anuarul; Stoelinga, Marielle; Abate, Alessandro
errShare
errSave
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata
err2016 16TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2016)
IF0
err2016-06-01
err5
PREAI
errAhmad, Waheed; Jongerden, Marijn; Stoelinga, Marielle; van de Pol, Jaco
errShare
errSave
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2010-04-01
err107
errOAAI
errBoudali, Hichem; Crouzen, Pepijn; Stoelinga, Marielle
errShare
errSave
Linear and Branching System Metrics
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err68
errOAAI
errde Alfaro, Luca; Faella, Marco; Stoelinga, Marielle
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Tom Heskes
H-index: 49 · Papers: 432
L
Luca de Alfaro
H-index: 47 · Papers: 186
A
Alessandro Abate
H-index: 40 · Papers: 442
I
Ivano Malavolta
H-index: 34 · Papers: 208
T
Tiedo Tinga
H-index: 33 · Papers: 196
View more