Marielle Stoelinga -

Not registered as user

Name:Marielle Stoelinga

Country:Netherlands

Affiliation:University of Twente and Radboud University, Nijmegen

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

Contributions

2026

FM

2025

FSEN

Keynote Speaker of Talk: What is predictive maintenance and why is that interesting for formal software engineers? within the Research Papers-track
Keynote Speaker in Keynote Speakers

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