Daniel Balasubramanian

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 14

Top Topics

Description Language

Embedded Systems

Top Venues

Softw. Syst. Model.

IEEE Symposium on Security and Privacy

Publications

Xingyu Zhou, Robert Canady, Yi Li, Shunxing Bao, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale
Guarding Against Universal Adversarial Perturbations in Data-driven Cloud/Edge Services. IC2E (2022)
Gabor Karsai, Daniel Balasubramanian
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) (2022)
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Syntheto: A Surface Language for APT and ACL2. ACL2 (2022)
Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale
Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge. DDDAS (2022)
Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale
Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems. ICAA (2022)
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
Towards Model-Based Intent-Driven Adaptive Software. ISoLA (2021)
Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits
Differential-FORMULA: towards a semantic backplane for incremental modeling. DSM@SPLASH (2021)
Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Bo Li, Péter Völgyesi, Xenofon D. Koutsoukos
Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. IEEE Symposium on Security and Privacy (2020)
Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai
Towards Operational Use of Unit Manufacturing Process Models. ICIT (2019)
Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai
Dynamic symbolic execution for the analysis of web server applications in Java. SAC (2019)
Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai
A Cloud-Based Execution Framework for Program Analysis. SEFM (2018)
Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai
Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS (2018)
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR (2017)
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 (2016)
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 (2015)
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Automatically reasoning about metamodeling. Softw. Syst. Model. 14 (1) (2015)
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) (2014)
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS (2014)
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC (2014)
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) (2014)
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
A Rapid Testing Framework for a Mobile Cloud. RSP (2014)
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) (2013)
Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS (2013)
Corina S. Pasareanu, Daniel Balasubramanian
Statechart Analysis with Symbolic PathFinder. ICST (2012)
Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
Evolution in a context of an model-integrated tool environment. ME@MoDELS (2012)
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)
Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. SC@TOOLS (2011)
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)
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS (2011)
Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA (2011)
Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
A transformation instance-based approach to traceability. ECMFA-TW (2010)
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Reusing Model Transformations While Preserving Properties. FASE (2010)
Daniel Balasubramanian, Ethan K. Jackson
Lost in Translation: Forgetful Semantic Anchoring. ASE (2009)
Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai
Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS (2009)
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai
A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE (2009)
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai
Applying a Grouping Operator in Model Transformations. AGTIVE (2007)
Dror 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. J. Syst. Softw. 80 (8) (2007)
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)
Stephen 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. Softw. Qual. J. 15 (1) (2007)
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai
Improving the Usability of a Graph Transformation Language. Electron. Notes Theor. Comput. Sci. 152 (2006)
Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian
Model Transformations in the Model-Based Development of Real-time Systems. ECBS (2006)
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)