Daniel Balasubramanian

The Graph Rewriting and Transformation Language: GReAT

Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk et al. · Technische Universität Berlin – Universitätsbibliothek · 2024 · 95 citations · Full text

Engineering, Network Analysis, Graph Signal Processing +19

Reasoning about metamodeling with formal specifications and automatic proofs

Ethan K. Jackson, Tihamér Levendovszky, Daniel Balasubramanian · Model Driven Engineering Languages and Systems · 2011 · 48 citations

Formal Specification, Engineering, Formal Modeling +7

Leveraging EM Side-Channel Information to Detect Rowhammer Attacks

Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian et al. · 2020 · 38 citations · Full text

Hardware Trojan, Engineering, Information Security +18

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems

Tihamér Levendovszky, Abhishek Dubey, William R. Otte et al. · IEEE Software · 2014 · 33 citations

Provisioning (Technology), Engineering, Information Security +26

Polyglot

Daniel Balasubramanian, Corina S. Păsăreanu, Michael W. Whalen et al. · 2011 · 31 citations

Engineering, Verification, Computer-aided Verification +18