Author of the publication

Testing Run-time Evolving Systems.

, , , , , and . Self-Healing and Self-Adaptive Systems, volume 09201 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)

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

XModel-Based Testing of XSLT Applications., , , and . WEBIST (2), page 282-288. INSTICC Press, (2007)RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies., , , and . SAC, page 245-248. ACM, (2023)Consistent modelling of hierarchical BPMN collaborations., , , , and . Bus. Process. Manag. J., 28 (2): 442-460 (2022)Testing software components for integration: a survey of issues and techniques., , , and . Softw. Test. Verification Reliab., 17 (2): 95-133 (2007)A formal approach for the analysis of BPMN collaboration models., , , , , and . J. Syst. Softw., (2021)FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development., , , , and . Softw. Syst. Model., 22 (1): 131-158 (February 2023)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , and . Business Process Management Workshops, volume 397 of Lecture Notes in Business Information Processing, page 108-121. Springer, (2020)(role)CAST: A Framework for On-line Service Testing., , and . WEBIST, page 13-18. SciTePress, (2011)Run-time systems failure prediction via proactive monitoring., , , and . ASE, page 484-487. IEEE Computer Society, (2011)BProVe: tool support for business process verification., , , , , and . ASE, page 937-942. IEEE Computer Society, (2017)