( en | de | ru )

 

Disambiguation of "Stoelinga, Mariëlle"

Author of the publication

copydeleteadd this publication to your clipboard
Timed Interfaces.

, , and . EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 108-122. Springer, (2002)

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

Model-Based Testing of Probabilistic Systems., and . FASE, volume 9633 of Lecture Notes in Computer Science, page 251-268. Springer, (2016)Formal Methods Meet Machine Learning (F3ML)., , , , , and . ISoLA (3), volume 13703 of Lecture Notes in Computer Science, page 393-405. Springer, (2022)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , and . DSD, page 271-275. IEEE Computer Society, (2015)LOCKS: a property specification language for security goals., , and . SAC, page 1907-1915. ACM, (2018)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)Fuzzy quantitative attack tree analysis., , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 210-231. Springer, (2024)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , and . CoRR, (2018)Linear Parametric Model Checking of Timed Automata., , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 189-203. Springer, (2001)Norm Functions for Probabilistic Bisimulations with Delays., and . FoSSaCS, volume 1784 of Lecture Notes in Computer Science, page 1-16. Springer, (2000)DFTSim: a simulation tool for extended dynamic fault trees., , and . SpringSim, SCS/ACM, (2009)