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

Deriving performance models of software architectures from message sequence charts., , , und . Workshop on Software and Performance, Seite 47-57. ACM, (2000)A Strategy to Deal with Divergent Rewrite Systems., und . CTRS, Volume 656 von Lecture Notes in Computer Science, Seite 458-467. Springer, (1992)A compositional synthesis of failure-free connectors for correct components assembly, und . Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering, (2003)A Rewriting Strategy to Verify Observational Congruence., und . Inf. Process. Lett., 35 (4): 191-199 (1990)Integrity Constraints as Views in Deductice Databases., , und . FMLDO, Seite 133-140. University of Magedeburg, Faculty of Computer Science, (1996)Deadlock-free software architectures for COM/DCOM Applications., und . J. Syst. Softw., 65 (3): 173-183 (2003)Software architecture-based analysis and testing: a look into achievements and future challenges., , und . Computing, 95 (8): 633-648 (2013)Quantitative resource-oriented analysis of Java (Adaptable) applications., und . WOSP, Seite 15-25. ACM, (2007)ESP-MC: An Experiment in the Use of Verification Tools., , und . ASIAN, Volume 1023 von Lecture Notes in Computer Science, Seite 396-410. Springer, (1995)Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework., , und . FASE, Volume 4422 von Lecture Notes in Computer Science, Seite 57-71. Springer, (2007)