Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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