Communication-Closed Asynchronous Protocols. - Andrei Damian; Cezara Dragoi; Alexandru Militaru; Josef Widder (CAV (2), 2019)

Safer Linux Kernel Modules Using the D Programming Language. - Constantin-Eduard Staniloiu; Alexandru Militaru; Razvan Nitu; Razvan Deaconescu (IEEE Access, 2022)