Author of the publication

Architecture Modeling and Analysis of Security in Android Systems.

, , , , , , and . ECSA, volume 9839 of Lecture Notes in Computer Science, page 274-290. (2016)

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

Architecture as an Independent Variable for Aspect-Oriented Application Descriptions., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 395. Springer, (2010)Monarch: Model-Based Development of Software Architectures., and . MoDELS (2), volume 6395 of Lecture Notes in Computer Science, page 376-390. Springer, (2010)Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , and . ICSE, page 1135-1147. IEEE, (2021)Automated Repair of Declarative Software Specifications in the Era of Large Language Models., , , and . CoRR, (2023)SAINTDroid: Scalable, Automated Incompatibility Detection for Android., , , , , and . DSN, page 567-579. IEEE, (2022)Determination and Enforcement of Least-Privilege Architecture in Android., , and . ICSA, page 59-68. IEEE Computer Society, (2017)A Study on the Role of Software Architecture in the Evolution and Quality of Software., , , , , and . MSR, page 246-257. IEEE Computer Society, (2015)Scalable Relational Analysis via Relational Bound Propagation., and . ICSE, page 177:1-177:12. ACM, (2024)A Formal Approach for Incorporating Architectural Tactics into the Software Architecture., and . SEKE, page 770-775. Knowledge Systems Institute Graduate School, (2011)Shared data science infrastructure for genomics data., , , , and . BMC Bioinform., 20 (1): 436:1-436:13 (2019)