Autor der Publikation

Specification and Analysis of Automata-Based Designs.

, , , und . IFM, Volume 1945 von Lecture Notes in Computer Science, Seite 176-193. Springer, (2000)

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

Models and Patterns of Trust., , , , , , , und . CSCW, Seite 328-338. ACM, (2015)Policy support for call control., , , , , , und . Comput. Stand. Interfaces, 28 (6): 635-649 (2006)A Tool Suite to Support Aspect-Oriented Specification., und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 296-297. Springer, (1999)Incorporating software security: using developer workshops to engage product managers., , und . Empir. Softw. Eng., 28 (1): 21 (2023)Light-Touch Interventions to Improve Software Development Security., , , , und . SecDev, Seite 85-93. IEEE Computer Society, (2018)Handling Policy Conflicts in Call Control., und . FIW, Seite 39-57. IOS Press, (2005)The Impact of Aspect-Oriented Programming on Formal Methods., und . ECOOP Workshops, Volume 1543 von Lecture Notes in Computer Science, Seite 436. Springer, (1998)A Passion for Security: Intervening to Help Software Developers., , und . ICSE (SEIP), Seite 21-30. IEEE, (2021)A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects., und . LNCS Trans. Aspect Oriented Softw. Dev., (2006)Cyber-sustainability: leaving a lasting legacy of human wellbeing., , und . BCS HCI, Seite 1-6. ACM, (2011)