Publications

Publications for Marielle Stoelinga

2018
Link
[bibtex]
Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A unifying semantics of DFTs using GSPNs. Proc. of Petri Nets, Volume 10877 of LNCS, pages 272–293, Springer, 2018.
2017
Download
[bibtex]
Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd (Festschrift Ed Brinksma), Volume 10500 of LNCS, pages 368-389, Springer, 2017.
DOI
[bibtex]
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marielle Stoelinga. Fault Trees on a Diet: Automated Reduction by Graph Rewriting. Formal Aspects of Computing 29(4), pages 651-703, 2017.
Show all