] Filters: Author is Balasubramanian, Daniel [Clear All Filters]
"Integrating Statechart Components in Polyglot",
NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012.
Abstract
"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs",
Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011.
Abstract
"Polyglot: Modeling and Analysis for Multiple Statechart Formalisms",
International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011.
Abstract
Download: ISSTA2011.pdf (1.53 MB)
"Rapid Property Specification and Checking for Model-Based Formalisms",
IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011.
Abstract
Download: RSP2011.pdf (2.08 MB)
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
"A Transformation Instance-Based Approach to Traceability",
6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010.
Abstract
"A Novel Approach to Semi-Automated Evolution of DSML Model Transformation",
Second International Conference on Software Language Engineering, SLE 2009, LNCS, vol. 5969, Denver, CO, Springer, pp. 23-41, 05/2010.
"Reusing Model Transformations While Preserving Properties",
Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
"Enabling Self-Management by Using Model-Based Design Space Exploration",
AUTONOMIC & AUTONOMOUS SPACE EXPLORATION SYSTEMS, 2010, 2009.
Abstract
Download: PID1113091.pdf (7.01 MB)
"Lost in Translation: Forgetful Semantic Anchoring",
Automated Software Engineering, Auckland, New Zealand, 11/2009.
Abstract
Download: ASE2009.pdf (357.82 KB)
"Continuous Migration Support for Domain-Specific Languages",
The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
"Automatic Domain Model Migration to Manage Metamodel Evolution",
12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
"Applying a Grouping Operator in Model Transformations",
Applications of Graph Transformations with Industrial Relevance, pp. 410 - 425, 2008///.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
Evolving Paradigms and Models in Multi-Paradigm Modeling,
, no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.
Download: ISIS-08-912.pdf (651.03 KB)
"Applying a Grouping Operator in Model Transformations",
The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
"A Subgraph Operator for Graph Transformation Languages",
Electronic Communications of the EASST, vol. 6, 2007.
Abstract
Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)
"Improving the Usability of a Graph Transformation Language",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006.
Abstract
Download: improve_gtl.pdf (262.32 KB)
"The Graph Rewriting and Transformation Language: GReAT",
Electronic Communications of the EASST, vol. 1, 2006.
Abstract
Download: great_easst.pdf (274.21 KB)
"Model Transformations in the Model-Based Development of Real-time Systems",
ECBS, pp. 177-186, 2006.
Abstract
Download: 060105_Final.pdf (553.02 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering