From post

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.

 

Другие публикации лиц с тем же именем

Hybrid service-oriented architectures: a case-study in the automotive domain., , , , , и . SEM, стр. 62-68. ACM, (2005)Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata., , , и . FORTE, том 4574 из Lecture Notes in Computer Science, стр. 247-262. Springer, (2007)Version-consistent dynamic reconfiguration of component-based distributed systems., , , , и . SIGSOFT FSE, стр. 245-255. ACM, (2011)Dealing with changes in service orchestrations., , и . SAC, стр. 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., и . ASWSD, том 4147 из Lecture Notes in Computer Science, стр. 57-73. Springer, (2004)Model-based verification of quantitative non-functional properties for software product lines., и . Inf. Softw. Technol., 55 (3): 508-524 (2013)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , и . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, стр. 507--511. ACM, ACM Press, (июля 2002)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , и . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), том X из Electronic Communications of the EASST, стр. 277--290. EASST, European Association of Software Science and Technology, (марта 2008)