Author of the publication

From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.

, and . RE, page 48-57. IEEE Computer Society, (2004)

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

Aspects and Evolution: The Case for Versioned Types and Meta-Aspect Protocols.. RAM-SE, page 3-5. Fakultät für Informatik, Universität Magdeburg, (2006)Weaving Aspects in a Persistent Environment.. ACM SIGPLAN Notices, 37 (2): 36-44 (2002)Don't forget your classics: Systematizing 45 years of Ancestry for Security API Usability Recommendations., , , and . CoRR, (2021)Proteum/AJ: a mutation system for AspectJ programs., , , and . AOSD (Companion), page 73-74. ACM, (2011)A Digital Forensic Taxonomy For Programmable Logic Controller Data Artefacts., , , and . EuroS&P Workshops, page 320-328. IEEE, (2023)The Internet of Insecure Cows - A Security Analysis of Wireless Smart Devices Used for Dairy Farming., , and . CPSIOTSEC@CCS, page 67-73. ACM, (2023)Data, Data, Everywhere: Quantifying Software Developers' Privacy Attitudes., , , and . STAST, volume 11739 of Lecture Notes in Computer Science, page 47-65. Springer, (2019)SoK: A Taxonomy for Contrasting Industrial Control Systems Asset Discovery Tools., , and . ARES, page 28:1-28:12. ACM, (2022)LASARUS: Lightweight Attack Surface Reduction for Legacy Industrial Control Systems., , and . ESSoS, volume 10379 of Lecture Notes in Computer Science, page 36-52. Springer, (2017)A Hybrid Approach to Separation of Concerns: The Story of SADES.. Reflection, volume 2192 of Lecture Notes in Computer Science, page 231-249. Springer, (2001)