Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
External positions
Professor, Radboud University Nijmegen
1 Sept 2017 → …
Fingerprint
Dive into the research topics where Mariëlle I.A. Stoelinga is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Case in Point: Verification and Testing of a EULYNX Interface
Bouwman, M., Wal, D. V. D., Luttik, B., Stoelinga, M. & Rensink, A., Mar 2023, In: Formal aspects of computing. 35, 1, p. 1–38 2.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile5 Citations (Scopus)16 Downloads (Pure) -
ATM: A Logic for Quantitative Security Properties on Attack Trees
Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). (Lecture Notes in Computer Science, LNCS; vol. 14323).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
Automatic inference of fault tree models via multi-objective evolutionary algorithms
Jimenez-Roa, L. A., Heskes, T., Tinga, T. & Stoelinga, M. I. A., 1 Jul 2023, In: IEEE transactions on dependable and secure computing. 20, 4, p. 3317-3327 11 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Citations (Scopus)155 Downloads (Pure) -
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Wal, D. V. D., Gerhold, M. & Stoelinga, M., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). p. 242-258 17 p. (Lecture Notes in Computer Science book series; vol. 14290).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
From Fault Trees to Piping and Instrumentation Diagrams
Bos, W., Volk, M., Stoelinga, M. I. A., Bouissou, M. & Krcál, P., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 1234-1235Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile36 Downloads (Pure)
Datasets
-
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
van der Wal, D. (Creator), Gerhold, M. (Creator) & Stoelinga, M. I. A. (Creator), 4TU.Centre for Research Data, 26 Jul 2023
DOI: 10.4121/237905e5-54cc-4a98-abf3-38324d516bf3, https://data.4tu.nl/datasets/237905e5-54cc-4a98-abf3-38324d516bf3 and one more link, https://data.4tu.nl/datasets/237905e5-54cc-4a98-abf3-38324d516bf3/1 (show fewer)
Dataset
-
Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Saaltink, C. (Creator), Nicoletti, S. M. (Creator), Volk, M. (Creator), Hahn, E. M. (Creator) & Stoelinga, M. I. A. (Creator), Zenodo, 21 Jul 2023
DOI: 10.5281/zenodo.8172549, https://zenodo.org/record/8172549
Dataset
-
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'
Badings, T. (Creator), Jansen, N. (Creator), Junges, S. (Creator), Stoelinga, M. I. A. (Creator) & Volk, M. (Creator), Zenodo, 22 Sept 2022
DOI: 10.5281/zenodo.7104342, https://zenodo.org/record/7104342
Dataset
-
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'
Badings, T. (Creator), Junges, S. (Creator), Jansen, N. (Creator), Stoelinga, M. I. A. (Creator) & Volk, M. (Creator), Zenodo, 6 May 2022
DOI: 10.5281/zenodo.6523864, https://zenodo.org/record/6523864
Dataset
Prizes
-
Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods
Nicoletti, Stefano Maria (Recipient), Lopuhaä - Zwakenberg, Milan Abel (Recipient), Hahn, Ernst Moritz (Recipient) & Stoelinga, Mariëlle I.A. (Recipient), 10 Nov 2023
Prize
File -
-
FORTE 2023 Best artefact
van den Bos, Petra (Recipient) & Stoelinga, Mariëlle I.A. (Recipient), 30 Jun 2022
Prize
-
Fault Maintenance Trees: Reliability Centered Maintenance Via Statistical Model Checking
Mariëlle Stoelinga (Speaker)
3 Feb 2017Activity: Talk or presentation › Oral presentation
-
Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie
Sven Zebel (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker) & Ellen Giebels (Speaker)
4 Oct 2016Activity: Talk or presentation › Oral presentation
-
Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling
Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker) & Ellen Giebels (Speaker)
16 Dec 2016Activity: Talk or presentation › Invited talk
-
Design and implementation of digital communication systems for victim-offender mediation
Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker) & Ellen Giebels (Speaker)
31 Aug 2016Activity: Talk or presentation › Oral presentation