ISIS Publications

Export 32 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is Balasubramanian, Daniel  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, 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)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "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)
Balasubramanian, D., Z. Zhang, D. McDermet, and G. Karsai, Janalyzer: A Static Analysis Tool for Java Bytecode, , Nashville, Institute for Software Integrated Systems, 08/2017.  Download: main.pdf (261.01 KB)
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger, "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)
Balasubramanian, D., and G. Karsai, Component Models for Vehicle Software Platforms: Two Case Studies, , no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015. Abstract  Download: ISIS-15-101.pdf (2.52 MB)
Balasubramanian, D., A. Dubey, W. R. Otte, W. Emfinger, P. Kumar, and G. Karsai, "A Rapid Testing Framework for a Mobile Cloud Infrastructure", IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.  Download: RSP2014.pdf (874.05 KB)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "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)
Balasubramanian, D., and E. K. Jackson, "Lost in Translation: Forgetful Semantic Anchoring", Automated Software Engineering, Auckland, New Zealand, 11/2009. Abstract  Download: ASE2009.pdf (357.82 KB)
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry, "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)
D
Dubey, A., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract  Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)
J
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "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
K
Karsai, G., D. Balasubramanian, A. Dubey, and W. R. Otte, "Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems", 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2014. Abstract  Download: drems-isorc.pdf (296.05 KB)
L
Levendovszky, T., D. Balasubramanian, K. Smyth, F. Shi, and G. Karsai, "A Transformation Instance-Based Approach to Traceability", 6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010. Abstract
Levendovszky, T., D. Balasubramanian, A. Narayanan, and G. Karsai, "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.
M
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative Reasoning in Software Health Management", ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.  Download: TechReport2013.pdf (1.29 MB)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
N
P
S
V
Vizhanyo, A., S. Neema, F. Shi, D. Balasubramanian, and G. Karsai, "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)