Autor der Publikation

Enabling Auditing of Smart Contracts Through Process Mining.

, , , , , und . From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 467-480. Springer, (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Consistent modelling of hierarchical BPMN collaborations., , , , und . Bus. Process. Manag. J., 28 (2): 442-460 (2022)A formal approach for the analysis of BPMN collaboration models., , , , , und . J. Syst. Softw., (2021)XModel-Based Testing of XSLT Applications., , , und . WEBIST (2), Seite 282-288. INSTICC Press, (2007)(role)CAST: A Framework for On-line Service Testing., , und . WEBIST, Seite 13-18. SciTePress, (2011)FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development., , , , und . Softw. Syst. Model., 22 (1): 131-158 (Februar 2023)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , und . Business Process Management Workshops, Volume 397 von Lecture Notes in Business Information Processing, Seite 108-121. Springer, (2020)Testing software components for integration: a survey of issues and techniques., , , und . Softw. Test. Verification Reliab., 17 (2): 95-133 (2007)RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies., , , und . SAC, Seite 245-248. ACM, (2023)Extending Feature Models to Express Variability in Business Process Models., , , und . CAiSE Workshops, Volume 215 von Lecture Notes in Business Information Processing, Seite 245-256. Springer, (2015)Model-Based Generation of Testbeds for Web Services., , , und . TestCom/FATES, Volume 5047 von Lecture Notes in Computer Science, Seite 266-282. Springer, (2008)