Följ
Denis Bogdanas
Denis Bogdanas
Runtime Verification Inc
Verifierad e-postadress på runtimeverification.com - Startsida
Titel
Citeras av
Citeras 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 inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–5