dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Daniel Balasubramanian Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry: Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEthan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits: Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. Software Composition 2011: 133-140
2010
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai: A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEthan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Ethan K. Jackson: Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai: A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai: Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai: A Subgraph Operator for Graph Transformation Languages. ECEASST 6: (2007)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDror 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)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT. ECEASST 1: (2006)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAttila 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)

Coauthor Index

1Tokunbo O. S. Adeshiyan [4] [5]
2Jason Biatek [17]
3Christopher P. van Buskirk [2]
4Yoav Etsion [5]
5Dror G. Feitelson [4] [5]
6Graham Hemingway [13]
7Ethan K. Jackson [10] [11] [14]
8Gabor Karsai [1] [2] [3] [6] [7] [8] [9] [11] [12] [15] [16] [17]
9Tihamer Levendovszky [8] [9] [12] [14]
10Michael R. Lowry [15] [16] [17]
11Gabor Madl [4] [5]
12Anantha Narayanan [2] [6] [7] [8] [9]
13Sandeep Neema [1] [6] [7]
14Benjamin Ness [7]
15Harmon Nine [15]
16Esteban Osses [4] [5]
17Gábor Pap [15]
18Corina S. Pasareanu [15] [16] [17]
19Joseph Porter [13]
20Thomas Pressburger [15] [17]
21Stephen R. Schach [4] [5]
22Wolfram Schulte [11]
23Feng Shi [1] [6] [7] [12]
24Sameer Singh [4] [5]
25Kevin Smyth [12]
26Karlkim Suwanmongkol [4] [5]
27Tivadar Szemethy [3]
28Janos Sztipanovits [13]
29Ryan Thibodeaux [6] [7]
30Attila Vizhanyo [1]
31Michael W. Whalen [16] [17]
32Minhui Xie [4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page