Author of the publication

Formalizing correctness criteria of dynamic updates derived from specification changes.

, , , and . SEAMS, page 63-72. IEEE Computer Society, (2013)

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

Local dynamic update for component-based distributed systems.. CBSE, page 167-176. ACM, (2012)The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions., , and . ECEASST, (2013)QoS Driven Dynamic Binding in-the-many., , , and . QoSA, volume 6093 of Lecture Notes in Computer Science, page 68-83. Springer, (2010)Live objects: A system for infrastructure-less location-based services., , and . PerCom Workshops, page 1-3. IEEE Computer Society, (2016)Environmental Sensing Testbeds for Livable Smart Cities., , , , , and . GOODTECHS, page 19-24. ACM, (2019)SPF: A Middleware for Social Interaction in Mobile Proximity Environments., , , , , and . ICSE (2), page 79-88. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Consistent Runtime Evolution of Service-Based Business Processes., , and . WICSA, page 77-86. IEEE Computer Society, (2014)Formalizing correctness criteria of dynamic updates derived from specification changes., , , and . SEAMS, page 63-72. IEEE Computer Society, (2013)Performance-driven dynamic service selection., , , and . Concurrency and Computation: Practice and Experience, 27 (3): 633-650 (2015)Efficient Dynamic Updates of Distributed Components Through Version Consistency., , , and . IEEE Trans. Software Eng., 43 (4): 340-358 (2017)