Autor der Publikation

Incremental Security Verification for Evolving UMLsec models.

, , , und . ECMFA, Volume 6698 von Lecture Notes in Computer Science, Seite 52-68. Springer, (2011)

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

Adaptive multimedia: Using gaze-contingent instructional guidance to provide personalized processing support., , , , , , , und . Computers & Education, (2019)A Formal Metamodel for Problem Frames., , und . MoDELS, Volume 5301 von Lecture Notes in Computer Science, Seite 68-82. Springer, (2008)Ontology-Based Identification of Research Gaps and Immature Research Areas., , , , , und . CD-ARES, Volume 7465 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2012)A Common Body of Knowledge for Engineering Secure Software and Services., , , , , und . ARES, Seite 499-506. IEEE Computer Society, (2012)An Integrated Method for Pattern-Based Elicitation of Legal Requirements Applied to a Cloud Computing Example., , und . ARES, Seite 463-472. IEEE Computer Society, (2012)A Decentral Architecture for SIP-based Multimedia Networks., , und . KiVS, Seite 63-74. Springer, (2007)SoapME: a lightweight Java ME web service container., , und . MW4SOC, Seite 13-18. ACM, (2008)Instant-X: a component-based middleware architecture for a generic multimedia API., , und . Middleware (Companion), Seite 90-92. ACM, (2008)UML4PF - A tool for problem-oriented requirements analysis., , , und . RE, Seite 349-350. IEEE Computer Society, (2011)Towards generic Service Management Concepts - A Service Model Based Approach., , , , , , , , und . Integrated Network Management, Seite 719-732. IEEE, (2001)