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

Hybrid service-oriented architectures: a case-study in the automotive domain., , , , , und . SEM, Seite 62-68. ACM, (2005)Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata., , , und . FORTE, Volume 4574 von Lecture Notes in Computer Science, Seite 247-262. Springer, (2007)Version-consistent dynamic reconfiguration of component-based distributed systems., , , , und . SIGSOFT FSE, Seite 245-255. ACM, (2011)Dealing with changes in service orchestrations., , und . SAC, Seite 1961-1967. ACM, (2012)Editorial.. ACM Trans. Softw. Eng. Methodol., 14 (2): 119-123 (2005)Editorial.. ACM Trans. Softw. Eng. Methodol., 16 (1): 2 (2007)Validation of Component and Service Federations in Automotive Software Applications., und . ASWSD, Volume 4147 von Lecture Notes in Computer Science, Seite 57-73. Springer, (2004)Model-based verification of quantitative non-functional properties for software product lines., und . Inf. Softw. Technol., 55 (3): 508-524 (2013)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , und . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, Seite 507--511. ACM, ACM Press, (Juli 2002)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , und . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), Volume X von Electronic Communications of the EASST, Seite 277--290. EASST, European Association of Software Science and Technology, (März 2008)