Остановите войну!
for scientists:
default search action
Daniel Balasubramanian
Publications
- 2022
- [c28]Gabor Karsai, Daniel Balasubramanian:
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) 2022: 90-104 - [c27]Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai:
Syntheto: A Surface Language for APT and ACL2. ACL2 2022: 151-167 - 2021
- [c26]Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai:
Towards Model-Based Intent-Driven Adaptive Software. ISoLA 2021: 378-392 - 2019
- [c23]Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai:
Towards Operational Use of Unit Manufacturing Process Models. ICIT 2019: 818-823 - [c22]Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai:
Dynamic symbolic execution for the analysis of web server applications in Java. SAC 2019: 2178-2185 - 2018
- [c21]Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai:
Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS 2018: 24-33 - [c20]Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
A Cloud-Based Execution Framework for Program Analysis. SEFM 2018: 139-154 - 2017
- [i1]Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR abs/1710.00267 (2017) - 2016
- [j10]Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai:
Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. 122: 344-363 (2016) - 2015
- [j9]Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai:
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. 106: 3-29 (2015) - 2014
- [j7]Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai:
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31(2): 62-69 (2014) - [j6]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai:
A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. 13(2): 807-823 (2014) - [c19]Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC 2014: 1-8 - [c18]Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai:
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS 2014: 67-76 - [c17]Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai:
A Rapid Testing Framework for a Mobile Cloud. RSP 2014: 128-134 - 2013
- [j5]Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai:
Deliberative, search-based mitigation strategies for model-based software health management. Innov. Syst. Softw. Eng. 9(4): 293-318 (2013) - [c16]Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry:
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529 - 2012
- [c14]Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai:
Evolution in a context of an model-integrated tool environment. ME@MoDELS 2012: 33-38 - [c13]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 - 2011
- [c12]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 - [c10]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 - 2010
- [c8]Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai:
A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60 - [c7]Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai:
Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58 - 2009
- [c5]Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai:
Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711 - [c4]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai:
A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41 - 2007
- [j4]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai:
A Subgraph Operator for Graph Transformation Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [c3]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 - 2006
- [j1]Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai:
The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006) - [c2]Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian:
Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186 - 2005
- [c1]Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai:
Improving the Usability of a Graph Transformation Language. GRaMoT@GPCE 2005: 207-222
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-06 10:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint