logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Mariëlle Stoelinga

university of twente

35H指数
289论文数
4.8K被引数
收录论文 13
发表时间
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata基于混合自动机的MPSoC数据流应用中电池QoS模型检测与评估
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
err分享
err收藏
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
err分享
err收藏
Linear and Branching System Metrics
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err68
errOAAI
errde Alfaro, Luca; Faella, Marco; Stoelinga, Marielle
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Tom Heskes
H 指数: 49 · 论文数: 432
L
Luca de Alfaro
H 指数: 47 · 论文数: 186
A
Alessandro Abate
H 指数: 40 · 论文数: 442
I
Ivano Malavolta
H 指数: 34 · 论文数: 208
T
Tiedo Tinga
H 指数: 33 · 论文数: 196
查看更多