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

A Formal Approach to Event-Based Architectures., and . FASE, volume 3922 of Lecture Notes in Computer Science, page 18-32. Springer, (2006)HeadREST: A Specification Language for RESTful APIs., , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 428-434. Springer, (2019)Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling., , , and . DAISD, volume LSI/90-30 of Report de recerca, page 93-110. Universitat Politecnica de Catalunya (UPC), (1990)Algebraic Semantics of Service Component Modules., , and . WADT, volume 4409 of Lecture Notes in Computer Science, page 37-55. Springer, (2006)Semantics of Architectural Connectors., and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 505-519. Springer, (1997)A formal model for service-oriented interactions., , and . Sci. Comput. Program., 77 (5): 577-608 (2012)Runtime Verification for Generic Classes with ConGu 2., , and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 33-48. Springer, (2010)Statically Checking REST API Consumers., , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 265-283. Springer, (2020)Automated generation of policies to support elastic scaling in cloud environments., , and . SAC, page 450-455. ACM, (2017)A Model for Dynamic Reconfiguration in Service-Oriented Architectures., and . ECSA, volume 6285 of Lecture Notes in Computer Science, page 70-85. Springer, (2010)