( en | de | ru )

 

Disambiguation of "Stoelinga, Mariëlle"

Author of the publication

copydeleteadd this publication to your clipboard
sfPFL: A Probabilistic Logic for Fault Trees.

, , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 199-221. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marielle Ziegler

Marielle Stock

Marielle Hering

Marielle Cremer

Marielle Hess

 

Other publications of authors with the same name

Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k., and . Int. J. Softw. Tools Technol. Transf., 3 (4): 469-485 (2001)Attack time analysis in dynamic attack trees via integer linear programming., and . CoRR, (2021)Model-based joint analysis of safety and security:Survey and identification of gaps., , , and . Comput. Sci. Rev., (November 2023)Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms., , , and . IEEE Trans. Dependable Secur. Comput., 20 (4): 3317-3327 (July 2023)Efficient and Generic Algorithms for Quantitative Attack Tree Analysis., , and . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (September 2023)Model-Based Testing of Probabilistic Systems., and . FASE, volume 9633 of Lecture Notes in Computer Science, page 251-268. Springer, (2016)Fuzzy quantitative attack tree analysis., , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 210-231. Springer, (2024)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , and . DSD, page 271-275. IEEE Computer Society, (2015)Ioco Theory for Probabilistic Automata., and . MBT, volume 180 of EPTCS, page 23-40. (2015)A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications., , , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 1-16. Springer, (2016)