( en | de | ru )

 

Disambiguierung von "Stoelinga, Mariëlle"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Based Testing of Probabilistic Systems.

, und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 251-268. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marielle Ziegler

Marielle Stock

Marielle Hering

Marielle Cremer

Marielle Hess

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k., und . Int. J. Softw. Tools Technol. Transf., 3 (4): 469-485 (2001)Model-based joint analysis of safety and security:Survey and identification of gaps., , , und . Comput. Sci. Rev., (November 2023)Attack time analysis in dynamic attack trees via integer linear programming., und . CoRR, (2021)Model-Based Testing of Probabilistic Systems., und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 251-268. Springer, (2016)Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms., , , und . IEEE Trans. Dependable Secur. Comput., 20 (4): 3317-3327 (Juli 2023)Efficient and Generic Algorithms for Quantitative Attack Tree Analysis., , und . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (September 2023)ATM: a Logic for Quantitative Security Properties on Attack Trees., , , und . CoRR, (2023)Fuzzy quantitative attack tree analysis., , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 210-231. Springer, (2024)Formal Methods Meet Machine Learning (F3ML)., , , , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 393-405. Springer, (2022)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , und . DSD, Seite 271-275. IEEE Computer Society, (2015)