Marielle Stoelinga -

Not registered as user yet

Name:Marielle Stoelinga

Country:Netherlands

Affiliation:University of Twente and Radboud University, Nijmegen

Personal website: http://wwwhome.cs.utwente.nl/~marielle/

Contributions

2025

FSEN

2024

STAF

Keynote Speaker of ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis within the Keynotes-track

2023

FTSCS

Author of Solving Queries for Boolean Fault Tree Logic via Quantified SAT within the FTSCS 2023-track

2021

SPIN

Author of Safety versus security: why have they not married yet? within the SPIN-track

ICSE

Committee Member in Program Committee within the Technical Track-track

2019

ETAPS

FASE

SPIoT

2018

FormaliSE

Keynote Speaker of Risk management of high tech systems within the FormaliSE 2018-track

2017

VMCAI

Committee Member in Program committee