An internet based algorithm visualization system. - Frank Hadlock; Daniel Balasubramanian; James Bittinger; Crystal Davis; Sarat Kesiraju; James Kolpack; Jeffery Northcutt; Subash Sudireddy; Megan Tyler; John Williams; Jason N. Wyatt (J. Comput. Sci. Coll., 2004)

Improving the Usability of a Graph Transformation Language. - Attila Vizhanyo; Sandeep Neema; Feng Shi; Daniel Balasubramanian; Gabor Karsai (GRaMoT@GPCE, 2005)

Model Transformations in the Model-Based Development of Real-time Systems. - Tivadar Szemethy; Gabor Karsai; Daniel Balasubramanian (ECBS, 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)

Applying a Grouping Operator in Model Transformations. - Daniel Balasubramanian; Anantha Narayanan; Sandeep Neema; Benjamin Ness; Feng Shi; Ryan Thibodeaux; Gabor Karsai (AGTIVE, 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)

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 001; Karlkim Suwanmongkol; Minhui Xie; Stephen R. Schach (J. Syst. Softw., 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 001; Karlkim Suwanmongkol; Minhui Xie; Dror G. Feitelson (Softw. Qual. J., 2007)

Lost in Translation: Forgetful Semantic Anchoring. - Daniel Balasubramanian; Ethan K. Jackson (ASE, 2009)

Automatic Domain Model Migration to Manage Metamodel Evolution. - Anantha Narayanan; Tihamer Levendovszky; Daniel Balasubramanian; Gabor Karsai (MoDELS, 2009)

A Novel Approach to Semi-automated Evolution of DSML Model Transformation. - Tihamer Levendovszky; Daniel Balasubramanian; Anantha Narayanan; Gabor Karsai (SLE, 2009)

A transformation instance-based approach to traceability. - Tihamer Levendovszky; Daniel Balasubramanian; Kevin Smyth; Feng Shi; Gabor Karsai (ECMFA-TW, 2010)

Reusing Model Transformations While Preserving Properties. - Ethan K. Jackson; Wolfram Schulte; Daniel Balasubramanian; Gabor Karsai (FASE, 2010)

Polyglot: modeling and analysis for multiple Statechart formalisms. - Daniel Balasubramanian; Corina S. Pasareanu; Michael W. Whalen; Gabor Karsai; Michael R. Lowry (ISSTA, 2011)

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. - Ethan K. Jackson; Tihamer Levendovszky; Daniel Balasubramanian (MoDELS, 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 (International Symposium on Rapid System Prototyping, 2011)

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. - Joseph Porter; Daniel Balasubramanian; Graham Hemingway; Janos Sztipanovits (SC@TOOLS, 2011)

Behavioral Semantics of Modeling Languages: A Pragmatic Approach. - Daniel Balasubramanian (2011)

Statechart Analysis with Symbolic PathFinder. - Corina S. Pasareanu; Daniel Balasubramanian (ICST, 2012)

Evolution in a context of an model-integrated tool environment. - Tihamer Levendovszky; Kevin Smyth; Daniel Balasubramanian; Feng Shi; Gabor Karsai (ME@MoDELS, 2012)

Integrating Statechart Components in Polyglot. - Daniel Balasubramanian; Corina S. Pasareanu; Jason Biatek; Thomas Pressburger; Gabor Karsai; Michael R. Lowry; Michael W. Whalen (NASA Formal Methods, 2012)

Polyglot: Systematic Analysis for Multiple Statechart Formalisms. - Daniel Balasubramanian; Corina S. Pasareanu; Gabor Karsai; Michael R. Lowry (TACAS, 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)

Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. - Gabor Karsai; Daniel Balasubramanian; Abhishek Dubey; William Otte (ISORC, 2014)

Taming Multi-Paradigm Integration in a Software Architecture Description Language. - Daniel Balasubramanian; Tihamer Levendovszky; Abhishek Dubey; Gabor Karsai (MPM@MoDELS, 2014)

A Rapid Testing Framework for a Mobile Cloud. - Daniel Balasubramanian; Abhishek Dubey; William R. Otte; William Emfinger; Pranav Srinivas Kumar; Gabor Karsai (RSP, 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 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)

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)

Automatically reasoning about metamodeling. - Ethan K. Jackson; Tihamer Levendovszky; Daniel Balasubramanian (Softw. Syst. Model., 2015)

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)

Triggering Rowhammer Hardware Faults on ARM: A Revisit. - Zhenkai Zhang 002; Zihao Zhan; Daniel Balasubramanian; Xenofon D. Koutsoukos; Gabor Karsai (ASHES@CCS, 2018)

A Cloud-Based Execution Framework for Program Analysis. - Daniel Balasubramanian; Dmitriy Kostyuchenko; Kasper Søe Luckow; Rody Kersten; Gabor Karsai (SEFM, 2018)

Towards Operational Use of Unit Manufacturing Process Models. - Amogh Kulkarni; William Z. Bernstein; David Lechevalier; Daniel Balasubramanian; Peter Denno; Gabor Karsai (ICIT, 2019)

Dynamic symbolic execution for the analysis of web server applications in Java. - Daniel Balasubramanian; Zhenkai Zhang 002; Dan McDermet; Gabor Karsai (SAC, 2019)

Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. - Zhenkai Zhang 002; Zihao Zhan; Daniel Balasubramanian; Bo Li 026; Péter Völgyesi; Xenofon D. Koutsoukos (SP, 2020)

Towards Model-Based Intent-Driven Adaptive Software. - Daniel Balasubramanian; Alessandro Coglio; Abhishek Dubey; Gabor Karsai (ISoLA, 2021)

Differential-FORMULA: towards a semantic backplane for incremental modeling. - Qishen Zhang; Daniel Balasubramanian; Tamás Kecskés; Janos Sztipanovits (DSM@SPLASH, 2021)

Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge. - Robert Canady; Xingyu Zhou 010; Yogesh D. Barve; Daniel Balasubramanian; Aniruddha Gokhale (DDDAS, 2022)

Guarding Against Universal Adversarial Perturbations in Data-driven Cloud/Edge Services. - Xingyu Zhou 010; Robert Canady; Yi Li; Shunxing Bao; Yogesh D. Barve; Daniel Balasubramanian; Aniruddha Gokhale (IC2E, 2022)

Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems. - Robert Canady; Xingyu Zhou 010; Yogesh D. Barve; Daniel Balasubramanian; Aniruddha Gokhale (ICAA, 2022)

Assurance Provenance: The Next Challenge in Software Documentation. - Gabor Karsai; Daniel Balasubramanian (ISoLA (2), 2022)

Syntheto: A Surface Language for APT and ACL2. - Alessandro Coglio; Eric McCarthy; Stephen J. Westfold; Daniel Balasubramanian; Abhishek Dubey; Gabor Karsai (ACL2, 2022)

A NAND Use Case for Cybersecurity Experiments. - Timothy Fraser; Xuwei Liu; Qingkai Shi; Xiangyu Zhang 001; Mark Wutka; Daniel Balasubramanian; Hao Chen 023; Zhong Shao 001 (SecDev, 2024)

Autonomous Cybersecurity Testbed for Operational Technology Networks. - Akhilesh Raj; Sanjana Das; Harsh Vardhan; Himanshu Neema; Ajay Chhokra; Daniel Balasubramanian (DESTION@CPSIoTWeek, 2025)

A Human Study of Cognitive Biases in Web Application Security. - Yuwei Yang; Skyler Grandel; Daniel Balasubramanian; Yu Huang 015; Kevin Leach (CoRR, 2025)