Author of the publication

Trusted Execution Environment for Decentralized Process Mining.

, , , and . CAiSE, volume 14663 of Lecture Notes in Computer Science, page 509-527. Springer, (2024)

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.

 

Other publications of authors with the same name

A Formal Methods Demonstrator for Railways., and . ERCIM News, (2020)A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts., and . COORDINATION, volume 12717 of Lecture Notes in Computer Science, page 225-238. Springer, (2021)A Blockchain-driven Architecture for Usage Control in Solid., , , and . ICDCS Workshops, page 19-24. IEEE, (2023)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 368-384. Springer, (2020)Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming., , and . RSSRail, volume 10598 of Lecture Notes in Computer Science, page 221-237. Springer, (2017)Survey on Formal Methods and Tools in Railways: The ASTRail Approach., , , , , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 226-241. Springer, (2019)Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC., , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 1-21. Springer, (2019)Specifying variability in service contracts., , , , and . VaMoS, page 20-27. ACM, (2017)An Experimental Toolchain for Strategy Synthesis with Spatial Properties., , and . ISoLA (3), volume 13703 of Lecture Notes in Computer Science, page 142-164. Springer, (2022)Modelling and analysis with featured modal contract automata., , and . SPLC (2), page 11-16. ACM, (2018)