Følg
Denis Bogdanas
Denis Bogdanas
Runtime Verification Inc
Verifisert e-postadresse på runtimeverification.com - Startside
Tittel
Sitert av
Sitert av
År
K-Java: A complete semantics of Java
D Bogdanas, G Roşu
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
2082015
Dperm: Assisting the migration of android apps to runtime permissions
D Bogdanas
arXiv preprint arXiv:1706.05042, 2017
102017
Label-based programming language semantics in K framework with SDF
D Bogdanas
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
72012
Analysis and transformations in support of android privacy
D Bogdanas, N Nelson, D Dig
42016
K-Java: runtime semantics for method invocation and object instantiation
D Bogdanas
22014
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–5