Follow
Denis Bogdanas
Denis Bogdanas
Runtime Verification Inc
Verified email at runtimeverification.com - Homepage
Title
Cited by
Cited by
Year
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
2122015
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
The system can't perform the operation now. Try again later.
Articles 1–5