Daniel Balasubramanian

Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry: Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529

Corina S. Pasareanu, Daniel Balasubramanian: Statechart Analysis with Symbolic PathFinder. ICST 2012: 772

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

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

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667

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

Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits: Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. Software Composition 2011: 133-140

Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai: A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58

Daniel Balasubramanian, Ethan K. Jackson: Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649

Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711

Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai: A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41

Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai: A Subgraph Operator for Graph Transformation Languages. ECEASST 6 (2007)

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)

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)

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

Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT. ECEASST 1 (2006)

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)

Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186