Autor der Publikation

Model Checking Techniques for Test Generation from Business Process Models.

, , und . Ada-Europe, Volume 5570 von Lecture Notes in Computer Science, Seite 59-74. Springer, (2009)

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

Towards Service-Based Business Process Modeling, Prototyping and Integration., und . RISE, Volume 3943 von Lecture Notes in Computer Science, Seite 218-233. Springer, (2005)Understanding the Effect of Data Center Resource Disaggregation on Production DBMSs., , , , , , und . Proc. VLDB Endow., 13 (9): 1568-1581 (2020)Sensitivity of Green-Up Date to Meteorological Indicators in Hulun Buir Grasslands of China., , , , , , , , , und 1 andere Autor(en). Remote. Sens., 14 (3): 670 (2022)Bedrock: Programmable Network Support for Secure RDMA Systems., , , , , und . USENIX Security Symposium, Seite 2585-2600. USENIX Association, (2022)NetWarden: Mitigating Network Covert Channels while Preserving Performance., , und . USENIX Security Symposium, Seite 2039-2056. USENIX Association, (2020)Total Recall: Persistence of Passwords in Android., , und . NDSS, The Internet Society, (2019)Closed-loop Network Performance Monitoring and Diagnosis with SpiderMon., , , , und . NSDI, Seite 267-285. USENIX Association, (2022)RDC: Energy-Efficient Data Center Network Congestion Relief with Topological Reconfigurability at the Edge., , , , , und . NSDI, Seite 1267-1288. USENIX Association, (2022)Automatic Assessment of the Wrist Movement Function in a Haptic Virtual Environment for Home-Based Stroke Rahabilitation., , , und . CCECE, Seite 1-4. IEEE, (2018)A Feasibility Study on Time-aware Monitoring with Commodity Switches., , , und . SPIN@SIGCOMM, Seite 22-27. ACM, (2020)