Daniel Balasubramanian

According to our database, Daniel Balasubramanian authored at least 42 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Syntheto: A Surface Language for APT and ACL2.

Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

Assurance Provenance: The Next Challenge in Software Documentation.

Gabor Karsai, Daniel Balasubramanian

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems.

Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Guarding Against Universal Adversarial Perturbations in Data-driven Cloud/Edge Services.

Xingyu Zhou, Robert Canady, Yi Li, Shunxing Bao, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale

Proceedings of the IEEE International Conference on Cloud Engineering, 2022

Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge.

Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale

Proceedings of the Dynamic Data Driven Applications Systems - 4th International Conference, 2022

2021

Differential-FORMULA: towards a semantic backplane for incremental modeling.

Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

Towards Model-Based Intent-Driven Adaptive Software.

Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Leveraging EM Side-Channel Information to Detect Rowhammer Attacks.

Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Bo Li, Péter Völgyesi, Xenofon D. Koutsoukos

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Dynamic symbolic execution for the analysis of web server applications in Java.

Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards Operational Use of Unit Manufacturing Process Models.

Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai

Proceedings of the IEEE International Conference on Industrial Technology, 2019

2018

A Cloud-Based Execution Framework for Program Analysis.

Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Triggering Rowhammer Hardware Faults on ARM: A Revisit.

Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai

Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware Security, 2018

2016

Achieving resilience in distributed software systems via self-reconfiguration.

Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai

J. Syst. Softw., 2016

2015

Automatically reasoning about metamodeling.

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian

Softw. Syst. Model., 2015

DREMS ML: A wide spectrum architecture design language for distributed computing platforms.

Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai

Sci. Comput. Program., 2015

2014

A semi-formal description of migrating domain-specific models with evolving domains.

Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai

Softw. Syst. Model., 2014

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.

Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai

IEEE Softw., 2014

A Rapid Testing Framework for a Mobile Cloud.

Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Taming Multi-Paradigm Integration in a Software Architecture Description Language.

Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.

Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

2013

Deliberative, search-based mitigation strategies for model-based software health management.

Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai

Innov. Syst. Softw. Eng., 2013

Polyglot: Systematic Analysis for Multiple Statechart Formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Integrating Statechart Components in Polyglot.

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen

Proceedings of the NASA Formal Methods, 2012

Evolution in a context of an model-integrated tool environment.

Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Statechart Analysis with Symbolic PathFinder.

Corina S. Pasareanu, Daniel Balasubramanian

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Behavioral Semantics of Modeling Languages: A Pragmatic Approach.

Daniel Balasubramanian

PhD thesis, 2011

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.

Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits

Proceedings of the Software Composition - 10th International Conference, 2011

Rapid property specification and checking for model-based formalisms.

Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.

Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Polyglot: modeling and analysis for multiple Statechart formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Reusing Model Transformations While Preserving Properties.

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai

Proceedings of the Fundamental Approaches to Software Engineering, 2010

A transformation instance-based approach to traceability.

Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai

Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009

A Novel Approach to Semi-automated Evolution of DSML Model Transformation.

Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai

Proceedings of the Software Language Engineering, Second International Conference, 2009

Automatic Domain Model Migration to Manage Metamodel Evolution.

Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Lost in Translation: Forgetful Semantic Anchoring.

Daniel Balasubramanian, Ethan K. Jackson

Proceedings of the ASE 2009, 2009

2007

Common coupling and pointer variables, with application to a Linux case study.

Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson

Softw. Qual. J., 2007

Fine-grain analysis of common coupling and its application to a Linux case study.

Dror G. Feitelson, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Yoav Etsion, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Stephen R. Schach

J. Syst. Softw., 2007

A Subgraph Operator for Graph Transformation Languages.

Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Applying a Grouping Operator in Model Transformations.

Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

The Graph Rewriting and Transformation Language: GReAT.

Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Model Transformations in the Model-Based Development of Real-time Systems.

Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

Improving the Usability of a Graph Transformation Language.

Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai

Proceedings of the International Workshop on Graph and Model Transformation, 2005