E-LIB Suche - Ergebnisse für: Stoelinga, Mariëlle I.A.

1

Mechanical verification of the IEEE 1394a root contention p..:

Simons, David P.L. ; Stoelinga, Mariëlle I.A.
International Journal on Software Tools for Technology Transfer. 3 (2001) 4 - p. 469-485 , 2001

Link: https://doi.org/10.1007/..

2

Divergent Quiescent Transition Systems (extended version):

Stokkink, Willem G.J ; Timmer, Mark ; Stoelinga, Mariëlle I.A
http://doc.utwente.nl/85339/1/report-Timmer.pdf. , 2013

Link: http://purl.utwente.nl/p..

3

Divergent quiescent transition systems:

Stokkink, Willem G.J ; Timmer, Mark ; Stoelinga, Mariëlle I.A
http://doc.utwente.nl/86479/3/TAP2013.pdf. , 2013

Link: http://purl.utwente.nl/p..

4

Boolean-logic driven Markov processes

explained. analysed. verified. Aachener Informatik-Berichte (AIB) ; 2022, 02;Technical report / Department of Computer Science, RWTH Aachen

Khan, Shahid , October 2022

Link: https://nbn-resolving.de..

5

Stochastic Model Checking. Rigorous Dependability Analysis ..

International Autumn School, ROCKS 2012, Vahrn, Italy, Octo... Lecture Notes in Computer Science ; 8453;SpringerLink, Bücher

Remke, Anne ; Stoelinga, Mariëlle , 2014

Link: https://doi.org/10.1007/..

6

Quantitative Evaluation of Systems

10th International Conference, QEST 2013, Buenos Aires, Arg... Lecture Notes in Computer Science ; 8054;SpringerLink, Bücher

Joshi, Kaustubh ; Siegle, Markus ; D’Argenio, Pedro R.. , 2013

Link: https://doi.org/10.1007/..

7

Experiences with formal engineering: Model-based specificat..:

Sijtema, M. ; Belinfante, A. ; Stoelinga, M.I.A..
Science of Computer Programming. 80 (2014) - p. 188-209 , 2014

Link: https://doi.org/10.1016/..

8

DFTSim : a simulation tool for extended dynamic fault tr..:

, In: Proceedings of the 2009 Spring Simulation Multiconference,

Boudali, H. ; Nijmeijer, A. P. ; Stoelinga, M. I. A. - p. 1-8 , 2009

Link: https://dl.acm.org/doi/1..

9

CTMCs with Imprecisely Timed Observations:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Badings, Thom ; Volk, Matthias ; Junges, Sebastian.. - p. 258-278 , 2024

Link: https://doi.org/10.1007/..

10

Querying Fault and Attack Trees: Property Specification on ..:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),

Nicoletti, Stefano M. ; Lopuhaa-Zwakenberg, Milan ; Hahn, E. Moritz. - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

11

Maintenance Strategies for Sewer Pipes with Multi-State Deg..:

Jimenez-Roa, Lisandro Arturo ; Simão, Thiago D. ; Bukhsh, Zaharah...
PHM Society European Conference. 8 (2024) 1 - p. 14 , 2024

Link: https://doi.org/10.36001..

12

Fuzzy quantitative attack tree analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Dang, Thi Kim Nhung ; Lopuhaä-Zwakenberg, Milan ; Stoelinga, Mariëlle - p. 210-231 , 2024

Link: https://doi.org/10.1007/..

13

SAFEST: Fault Tree Analysis Via Probabilistic Model Checkin:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),

Volk, Matthias ; Sher, Falak ; Katoen, Joost-Pieter. - p. 1-7 , 2024

Link: https://doi.org/10.1109/..

14

Efficient and Generic Algorithms for Quantitative Attack Tr..:

Lopuhaä-Zwakenberg, Milan ; Budde, Carlos E. ; Stoelinga, Mariëlle
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 5 - p. 4169-4187 , 2023

Link: https://doi.org/10.1109/..

15

$$\textsf{ATM}$$: A Logic for Quantitative Security Propert..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Nicoletti, Stefano M. ; Lopuhaä-Zwakenberg, Milan ; Hahn, Ernst Moritz. - p. 205-225 , 2023

Link: https://doi.org/10.1007/..