Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Aditya Agrawal
First name
Aditya
Last name
Agrawal
Agrawal, A., Bakshi, A., Davis, J., Eames, B., Ledeczi, A., Mohanty, S., et al
.
(2001)
.
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
.
In
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES)
.
Snowbird, UT
. (
Original work published
June)
View
Ledeczi, A., Davis, J., Neema, S., & Agrawal, A
.
(2003)
.
Modeling Methodology for Integrated Simulation of Embedded Systems
.
Acm Transactions On Modeling And Computer Simulation
,
13
,
82--103
. (
Original work published
January)
View
Agrawal, A
.
(2002)
.
Hardware Modeling and Simulation of Embedded Applications
.
Master's Thesis
.
Vanderbilt University
. (
Original work published
May)
View
Agrawal, A., Levendovszky, T., Sprinkle, J., Shi, F., & Karsai, G
.
(2002)
.
Generative Programming via Graph Transformations in the Model-Driven Architecture
.
In
OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture
.
Seattle, WA
. (
Original work published
November)
View
Sprinkle, J., Agrawal, A., Levendovszky, T., Shi, F., & Karsai, G
.
(2002)
.
Domain Evolution in Visual Languages Using Graph Transformations
.
In
OOPSLA, 2nd Workshop on Domain-Specific Languages
.
Seattle, WA
. (
Original work published
November)
View
Karsai, G., Agrawal, A., Shi, F., & Sprinkle, J
.
(2003)
.
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
.
Journal Of Universal Computer Science
,
9
.
View
Agrawal, A., Karsai, G., & Shi, F
.
(2003)
.
Interpreter Writing using Graph Transformations
.
Institute for Software Integrated Systems
.
View
Karsai, G., & Agrawal, A
.
(2003)
.
Graph Transformations in OMG's Model-Driven Architecture
.
In
Lecture Notes in Computer Science
(
Vol.
2062, p.
243--259
)
.
Springer
.
View
Karsai, G., Agrawal, A., Shi, F., & Sprinkle, J
.
(2003)
.
On the use of Graph Transformations in the Formal Specification of Computer-Based Systems
.
In
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
(p.
19--27
)
.
Huntsville, Alabama
. (
Original work published
April)
View
Agrawal, A., & Ledeczi, A
.
(2003)
.
Multigranular Simulation of Heterogeneous Embedded Systems
.
In
Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS)
(p.
3--10
)
.
Huntsville, Alabama
. (
Original work published
April)
View
Pagination
Page 1
Next page
››