Label-Based Programming Language Semantics in K Framework with SDF. - Denis Bogdanas (SYNASC, 2012)

K-Java: A Complete Semantics of Java. - Denis Bogdanas; Grigore Rosu (POPL, 2015)

DPerm: Assisting the Migration of Android Apps to Runtime Permissions. - Denis Bogdanas (CoRR, 2017)