| 2008 |
|---|
| 11 | EE | Amogh Kavimandan,
Anantha Narayanan,
Aniruddha S. Gokhale,
Gabor Karsai:
Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems.
ISORC 2008: 100-107 |
| 10 | EE | Anantha Narayanan,
Gabor Karsai:
Verifying Model Transformations by Structural Correspondence.
ECEASST 10: (2008) |
| 9 | EE | Anantha Narayanan,
Gabor Karsai:
Towards Verifying Model Transformations.
Electr. Notes Theor. Comput. Sci. 211: 191-200 (2008) |
| 2007 |
|---|
| 8 | EE | Daniel Balasubramanian,
Anantha Narayanan,
Sandeep Neema,
Benjamin Ness,
Feng Shi,
Ryan Thibodeaux,
Gabor Karsai:
Applying a Grouping Operator in Model Transformations.
AGTIVE 2007: 410-425 |
| 7 | EE | Dániel Varró,
Márk Asztalos,
Dénes Bisztray,
Artur Boronat,
Duc-Hanh Dang,
Rubino Geiß,
Joel Greenyer,
Pieter Van Gorp,
Ole Kniemeyer,
Anantha Narayanan,
Edgars Rencis,
Erhard Weinell:
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.
AGTIVE 2007: 540-565 |
| 6 | EE | Daniel Balasubramanian,
Anantha Narayanan,
Sandeep Neema,
Feng Shi,
Ryan Thibodeaux,
Gabor Karsai:
A Subgraph Operator for Graph Transformation Languages.
ECEASST 6: (2007) |
| 2006 |
|---|
| 5 | EE | Gabor Karsai,
Anantha Narayanan:
Towards Verification of Model Transformations Via Goal-Directed Certification.
ASWSD 2006: 67-83 |
| 4 | EE | Gabor Karsai,
Anantha Narayanan:
On the Correctness of Model Transformations in the Development of Embedded Systems.
Monterey Workshop 2006: 1-18 |
| 3 | EE | Daniel Balasubramanian,
Anantha Narayanan,
Christopher P. van Buskirk,
Gabor Karsai:
The Graph Rewriting and Transformation Language: GReAT.
ECEASST 1: (2006) |
| 2 | EE | Anantha Narayanan,
Gabor Karsai:
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations.
ECEASST 4: (2006) |
| 2000 |
|---|
| 1 | EE | Anantha Narayanan:
Evaluation of Java for Mobile Multimedia Component.
AIWoRC 2000: 221-226 |
