Author of the publication

Incremental Security Verification for Evolving UMLsec models.

, , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 52-68. Springer, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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