 | 2012 |
| 17 |  | Daniel Balasubramanian,
Corina S. Pasareanu,
Jason Biatek,
Thomas Pressburger,
Gabor Karsai,
Michael R. Lowry,
Michael W. Whalen:
Integrating Statechart Components in Polyglot.
NASA Formal Methods 2012: 267-272 |
| 2011 |
| 16 |  | Daniel Balasubramanian,
Corina S. Pasareanu,
Michael W. Whalen,
Gabor Karsai,
Michael R. Lowry:
Polyglot: modeling and analysis for multiple Statechart formalisms.
ISSTA 2011: 45-55 |
| 15 |  | Daniel Balasubramanian,
Gábor Pap,
Harmon Nine,
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
Thomas Pressburger:
Rapid property specification and checking for model-based formalisms.
International Symposium on Rapid System Prototyping 2011: 121-127 |
| 14 |  | Ethan K. Jackson,
Tihamer Levendovszky,
Daniel Balasubramanian:
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.
MoDELS 2011: 653-667 |
| 13 |  | Joseph Porter,
Daniel Balasubramanian,
Graham Hemingway,
Janos Sztipanovits:
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.
Software Composition 2011: 133-140 |
| 2010 |
| 12 |  | Tihamer Levendovszky,
Daniel Balasubramanian,
Kevin Smyth,
Feng Shi,
Gabor Karsai:
A transformation instance-based approach to traceability.
ECMFA-TW 2010: 55-60 |
| 11 |  | Ethan K. Jackson,
Wolfram Schulte,
Daniel Balasubramanian,
Gabor Karsai:
Reusing Model Transformations While Preserving Properties.
FASE 2010: 44-58 |
| 2009 |
| 10 |  | Daniel Balasubramanian,
Ethan K. Jackson:
Lost in Translation: Forgetful Semantic Anchoring.
ASE 2009: 645-649 |
| 9 |  | Anantha Narayanan,
Tihamer Levendovszky,
Daniel Balasubramanian,
Gabor Karsai:
Automatic Domain Model Migration to Manage Metamodel Evolution.
MoDELS 2009: 706-711 |
| 8 |  | Tihamer Levendovszky,
Daniel Balasubramanian,
Anantha Narayanan,
Gabor Karsai:
A Novel Approach to Semi-automated Evolution of DSML Model Transformation.
SLE 2009: 23-41 |
| 2007 |
| 7 |  | 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 |
| 6 |  | Daniel Balasubramanian,
Anantha Narayanan,
Sandeep Neema,
Feng Shi,
Ryan Thibodeaux,
Gabor Karsai:
A Subgraph Operator for Graph Transformation Languages.
ECEASST 6: (2007) |
| 5 |  | Dror G. Feitelson,
Tokunbo O. S. Adeshiyan,
Daniel Balasubramanian,
Yoav Etsion,
Gabor Madl,
Esteban Osses,
Sameer Singh,
Karlkim Suwanmongkol,
Minhui Xie,
Stephen R. Schach:
Fine-grain analysis of common coupling and its application to a Linux case study.
Journal of Systems and Software 80(8): 1239-1255 (2007) |
| 4 |  | Stephen R. Schach,
Tokunbo O. S. Adeshiyan,
Daniel Balasubramanian,
Gabor Madl,
Esteban Osses,
Sameer Singh,
Karlkim Suwanmongkol,
Minhui Xie,
Dror G. Feitelson:
Common coupling and pointer variables, with application to a Linux case study.
Software Quality Journal 15(1): 99-113 (2007) |
| 2006 |
| 3 |  | Tivadar Szemethy,
Gabor Karsai,
Daniel Balasubramanian:
Model Transformations in the Model-Based Development of Real-time Systems.
ECBS 2006: 177-186 |
| 2 |  | Daniel Balasubramanian,
Anantha Narayanan,
Christopher P. van Buskirk,
Gabor Karsai:
The Graph Rewriting and Transformation Language: GReAT.
ECEASST 1: (2006) |
| 1 |  | Attila Vizhanyo,
Sandeep Neema,
Feng Shi,
Daniel Balasubramanian,
Gabor Karsai:
Improving the Usability of a Graph Transformation Language.
Electr. Notes Theor. Comput. Sci. 152: 207-222 (2006) |