Author of the publication

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

Checking Business Process Evolution., , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 36-53. (2016)A Consensus-Based Control Law for Accurate Frequency Restoration and Power Sharing in Microgrids in the Presence of Clock Drifts., , and . ECC, page 2575-2580. IEEE, (2018)R-MOZART: A Reconfiguration Tool for WebThings Applications., , , , and . ICSE (Companion Volume), page 41-44. IEEE, (2021)MOZART: Design and Deployment of Advanced IoT Applications., , , , and . WWW (Companion Volume), page 163-166. ACM / IW3C2, (2020)Steady state evaluation of distributed secondary frequency control strategies for microgrids in the presence of clock drifts., , , , and . MED, page 508-515. IEEE, (2017)Distributed secondary frequency control in microgrids: Robustness and steady-state performance in the presence of clock drifts., , and . Eur. J. Control, (2020)VBPMN: Automated Verification of BPMN Processes (Tool Paper)., , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 323-331. Springer, (2017)Infants' Developing Environment: Integration of Computer Vision and Human Annotation to Quantify where Infants Go, what They Touch, and what They See., , , , , , , , and . ICDL, page 1-8. IEEE, (2024)Rigorous design and deployment of IoT applications., , , , and . FormaliSE@ICSE, page 21-30. IEEE / ACM, (2019)Business Process Models for Analysis of Industrial IoT Applications., and . IOT, page 102-109. ACM, (2021)