Author of the publication

CHOReOSynt: enforcing choreography realizability in the future internet.

, , , and . SIGSOFT FSE, page 723-726. ACM, (2014)

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

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains., , , , and . SEDA, volume 925 of Advances in Intelligent Systems and Computing, page 232-244. Springer, (2018)Producing software by integration: challenges and research directions (keynote)., , , , and . ESEC/SIGSOFT FSE, page 2-12. ACM, (2013)Towards a Graphical Tool for Refining User to System Requirements., and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 147-157. Elsevier, (2006)On the Model-driven Synthesis of Adaptable Choreographies., , , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 12-17. CEUR-WS.org, (2018)Towards a Connector Algebra., , , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 278-292. Springer, (2010)An investigation into Android run-time permissions from the end users' perspective., , , , and . MOBILESoft@ICSE, page 45-55. ACM, (2018)A self-configuring and adaptive privacy-aware permission system for Android apps., , and . ACSOS, page 38-47. IEEE, (2020)An empirical study of privacy labels on the Apple iOS mobile app store., , , and . MOBILESoft, page 114-124. IEEE, (2022)Integration Architecture Synthesis for Taming Uncertainty in the Digital Space., , , , , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 118-131. Springer, (2012)Different Glasses to Look into the Three Cs: Component, Connector, Coordination., , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 191-216. Springer, (2019)