Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Daniel Balasubramanian
First name
Daniel
Last name
Balasubramanian
Levendovszky, T., Balasubramanian, D., Narayanan, A., & Karsai, G
.
(2010)
.
A Novel Approach to Semi-Automated Evolution of DSML Model Transformation
.
In
Second International Conference on Software Language Engineering, SLE 2009, LNCS
(
Vol.
5969, pp.
23-41
)
.
Denver, CO:
Springer
. (
Original work published
May 2010)
View
Levendovszky, T., Balasubramanian, D., Smyth, K., Shi, F., & Karsai, G
.
(2010)
.
A Transformation Instance-Based Approach to Traceability
.
In
6th ECMFA Traceability Workshop (ECMFA-TW)
(pp.
55-60
)
.
Paris, France:
ACM Digital Library
. (
Original work published
2010)
View
Porter, J., Balasubramanian, D., Hemingway, G., & Sztipanovits, J
.
(2011)
.
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models
.
In
Software Composition (SC 2011)
(
Vol.
LNCS 6708, pp.
133-140
)
.
Zurich:
Springer
.
View
Porter, J., Balasubramanian, D., Hemingway, G., & Sztipanovits, J
.
(2011)
.
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models
(
No. ISIS-11-106
)
.
Nashville, TN
:
ISIS, Vanderbilt University
. (
Original work published
April 2011)
View
Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M., Pasareanu, C., & Pressburger, T
.
(2011)
.
Rapid Property Specification and Checking for Model-Based Formalisms
.
In
IEEE International Symposium on Rapid System Prototyping
.
Karlsruhe, Germany
. (
Original work published
May 2011)
View
Balasubramanian, D., Pasareanu, C. S., Whalen, M. W., Karsai, G., & Lowry, M
.
(2011)
.
Polyglot: Modeling and Analysis for Multiple Statechart Formalisms
.
In
International Symposium on Software Testing and Analysis (ISSTA)
.
Toronto, Canada
. (
Original work published
July 2011)
View
Jackson, E. K., Levendovszky, T., & Balasubramanian, D
.
(2011)
.
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs
.
Model Driven Engineering Languages and Systems (MoDELS)
.
Wellington, New Zealand:
Springer
. (
Original work published
October 2011)
View
Balasubramanian, D., Pasareanu, C. S., Biatek, J., Pressburger, T., Karsai, G., Lowry, M. R., & Whalen, M. W
.
(2012)
.
Integrating Statechart Components in Polyglot
.
NASA Formal Methods
.
Norfolk, VA:
Springer
. (
Original work published
April 2012)
View
Balasubramanian, D., Emfinger, W., Kumar, P. S., Otte, W., Dubey, A., & Karsai, G
.
(2013)
.
An application development and deployment platform for satellite clusters
.
Workshop on Spacecraft Flight Software
.
View
Mahadevan, N., Dubey, A., Balasubramanian, D., & Karsai, G
.
(2013)
.
Deliberative Reasoning in Software Health Management
(
No. ISIS-13-101
)
.
ISIS Technical Report
.
Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212
. (
Original work published
April 2013)
View
Pagination
Previous page
‹‹
Page 3
Next page
››