D
Denis Bogdanas
Researcher at Alexandru Ioan Cuza University
Publications - 5
Citations - 152
Denis Bogdanas is an academic researcher from Alexandru Ioan Cuza University. The author has contributed to research in topics: Action semantics & Operational semantics. The author has an hindex of 3, co-authored 5 publications receiving 136 citations.
Papers
More filters
Proceedings ArticleDOI
K-Java: A Complete Semantics of Java
Denis Bogdanas,Grigore Rosu +1 more
TL;DR: K-Java is presented, a complete executable formal semantics of Java 1.4 that is applied to model-check multi-threaded programs and is generic and ready to be used in other Java-related projects.
Posted Content
DPerm: Assisting the Migration of Android Apps to Runtime Permissions.
TL;DR: DPerm is presented, a static analysis for Android apps that recommends locations for permission requests in code that achieves high precision through context sensitivity and improves recall through a general call graph augmentation algorithm for incomplete code.
Proceedings ArticleDOI
Label-Based Programming Language Semantics in K Framework with SDF
TL;DR: This paper presents a parser generator which accepts as input a grammar in SDF format, and produces a parser ready to be integrated with K, and illustrates the methodology of defining a language using the generated parser based on an example.
K-Java: Runtime Semantics for Method Invocation and Object Instantiation
TL;DR: In this section, the fragment of con guration used by runtime method invocation is presented.
Analysis and Transformations in Support of Android Privacy
TL;DR: A large-scale formative study is presented to understand how app developers use and migrate to the new permission model and a tool suite is designed, implemented, and evaluated that recommends locations where to insert permission requests and automatically inserts all the permission-related code.