2006 |
14 | EE | Aditya Agrawal,
Gabor Karsai,
Sandeep Neema,
Feng Shi,
Attila Vizhanyo:
The design of a language for model transformations.
Software and System Modeling 5(3): 261-288 (2006) |
2004 |
13 | EE | Attila Vizhanyo,
Aditya Agrawal,
Feng Shi:
Towards Generation of Efficient Transformations.
GPCE 2004: 298-316 |
12 | EE | Aditya Agrawal,
Gyula Simon,
Gabor Karsai:
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations.
Electr. Notes Theor. Comput. Sci. 109: 43-56 (2004) |
2003 |
11 | EE | Gabor Karsai,
Aditya Agrawal:
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).
AGTIVE 2003: 243-259 |
10 | EE | Aditya Agrawal:
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck.
ASE 2003: 364-368 |
9 | EE | Jonathan Sprinkle,
Aditya Agrawal,
Tihamer Levendovszky,
Feng Shi,
Gabor Karsai:
Domain Model Translation Using Graph Transformations.
ECBS 2003: 159-167 |
8 | EE | Aditya Agrawal,
Ákos Lédeczi:
Multigranular Simulation of Heterogeneous Embedded Systems.
ECBS 2003: 3-10 |
7 | EE | Aditya Agrawal:
Metamodel based model transformation language to facilitate domain specific model driven architecture.
OOPSLA Companion 2003: 118-119 |
6 | EE | Aditya Agrawal:
Metamodel based model transformation language.
OOPSLA Companion 2003: 386-387 |
5 | EE | Aditya Agrawal,
Gabor Karsai,
Ákos Lédeczi:
An end-to-end domain-driven software development framework.
OOPSLA Companion 2003: 8-15 |
4 | EE | Ákos Lédeczi,
James Davis,
Sandeep Neema,
Aditya Agrawal:
Modeling methodology for integrated simulation of embedded systems.
ACM Trans. Model. Comput. Simul. 13(1): 82-103 (2003) |
3 | EE | Gabor Karsai,
Aditya Agrawal,
Feng Shi,
Jonathan Sprinkle:
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
J. UCS 9(11): 1296-1321 (2003) |
2 | EE | Robert Gilmore Pontius Jr.,
Aditya Agrawal,
Diana Huffaker:
Estimating the uncertainty of land-cover extrapolations while constructing a raster map from tabular data.
Journal of Geographical Systems 5(3): 253-273 (2003) |
1993 |
1 | | Aditya Agrawal,
P. V. Srinivas,
G. Sreenivas,
Uttiya Dasgupta:
LATCHECK: A Latchup Checker for VLSI Layouts.
VLSI Design 1993: 230-235 |