Author of the publication

Verifying Policy Enforcers.

, , , and . RV, volume 10548 of Lecture Notes in Computer Science, page 241-258. Springer, (2017)

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

An Architecture for the Design of Platforms Supporting Responsive Environments., , and . ICSOFT EA, page 417-427. SciTePress, (2014)Spatio-Temporal Normalization of Data from Heterogeneous Sensors., , , and . ICSOFT-EA, page 462-467. SciTePress, (2015)TkT: Automatic Inference of Timed and Extended Pushdown Automata., , , and . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)A benchmark of data loss bugs for Android apps., , , and . MSR, page 582-586. IEEE / ACM, (2019)Network Services via Reflective Architecture., , , and . SEKE, page 761-766. (2005)The House of Carbs: Personalized Carbohydrate Dispenser for People with Diabetes., , , and . MIE, volume 270 of Studies in Health Technology and Informatics, page 693-697. IOS Press, (2020)Ambient Assisted Living for an Ageing Society: a Technological Overview., , , and . AI*AAL@AI*IA, volume 1803 of CEUR Workshop Proceedings, page 43-58. CEUR-WS.org, (2016)RGAM: An Architecture-Based Approach to Self-management., , and . ICITS, volume 918 of Advances in Intelligent Systems and Computing, page 325-334. Springer, (2019)Non-functional Testing of Runtime Enforcers in Android., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 320-334. Springer, (2022)FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades., , , and . ASE, page 1292-1296. IEEE, (2020)