Aditya Agrawal

Fine-grained DRAM

Mike O’Connor, Niladrish Chatterjee, Donghyuk Lee et al. · 2017 · 180 citations

Engineering, Memory Design, Future Gpus +16

Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations

Aditya Agrawal, Gyula Simon, Gábor Karsai · Electronic Notes in Theoretical Computer Science · 2004 · 138 citations · Full text

Simulink/stateflow Models, Engineering, Verification +25

Understanding Reduced-Voltage Operation in Modern DRAM Devices

Kevin K. Chang, A. Giray Yağlıkçı, Saugata Ghose et al. · 2017 · 131 citations

Hardware Security, Energy Consumption, Electrical Engineering +14

On the Use of Graph Transformation in the Formal Specification of Model Interpreters

Gábor Karsai, Aditya Agrawal, Shi Feng et al. · Zenodo (CERN European Organization for Nuclear Research) · 2003 · 122 citations · Full text

The design of a language for model transformations

Aditya Agrawal, Gábor Karsai, Sandeep Neema et al. · Software & Systems Modeling · 2006 · 111 citations

Engineering, Automated Reasoning, Design +8