Daniel Balasubramanian

51 papers A* 2A 6B 4C 4Misc 1Journal 13Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Human Study of Cognitive Biases in Web Application Security. CoRR Yuwei Yang, Skyler Grandel, Daniel Balasubramanian, Yu Huang, Kevin Leach
2025	—	`conf`	Autonomous Cybersecurity Testbed for Operational Technology Networks. DESTION@CPSIoTWeek Akhilesh Raj, Sanjana Das, Harsh Vardhan, Himanshu Neema, Ajay Chhokra, Daniel Balasubramanian
2025	—	`conf`	DnD: Automating Discovery and Deployment of Realistic Network Topologies for Cyber Defense. Middleware Demos/Posters/Doctoral Symposium Sanjana Das, Akhilesh Raj, Himanshu Neema, Daniel Balasubramanian, Aniruddha Gokhale
2024	—	`conf`	A NAND Use Case for Cybersecurity Experiments. SecDev Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao
2022	—	`conf`	Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems. ICAA Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale
2022	—	`conf`	Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge. DDDAS Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale
2022	—	`conf`	Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) Gabor Karsai, Daniel Balasubramanian
2022	B	`conf`	Guarding Against Universal Adversarial Perturbations in Data-driven Cloud/Edge Services. IC2E Xingyu Zhou, Robert Canady, Yi Li, Shunxing Bao, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale
2022	—	`conf`	Syntheto: A Surface Language for APT and ACL2. ACL2 Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
2021	—	`conf`	Differential-FORMULA: towards a semantic backplane for incremental modeling. DSM@SPLASH Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits
2021	C	`conf`	Towards Model-Based Intent-Driven Adaptive Software. ISoLA Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
2020	A*	`conf`	Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. SP Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Bo Li, Péter Völgyesi, Xenofon D. Koutsoukos
2019	Misc	`conf`	Dynamic symbolic execution for the analysis of web server applications in Java. SAC Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai
2019	—	`conf`	Towards Operational Use of Unit Manufacturing Process Models. ICIT Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai
2018	B	`conf`	A Cloud-Based Execution Framework for Program Analysis. SEFM Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai
2018	—	`conf`	Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai
2017	J	`jnl`	Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte
2016	J	`jnl`	Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
2015	J	`jnl`	Automatically reasoning about metamodeling. Softw. Syst. Model. Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
2015	J	`jnl`	DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015	—	`ed.`	Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, September 28, 2015. GEMOC+MPM Benoît Combemale, Julien Deantoni, Jeff Gray, Daniel Balasubramanian, Bruno Barroca, Sahar Kokaly, Gergely Mezei, Pieter Van Gorp
2014	C	`conf`	A Rapid Testing Framework for a Mobile Cloud. RSP Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
2014	J	`jnl`	A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai
2014	J	`jnl`	Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
2014	C	`conf`	Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
2014	—	`ed.`	Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September 30, 2014. MPM@MoDELS Daniel Balasubramanian, Christophe Jacquet, Pieter Van Gorp, Sahar Kokaly, Tamás Mészáros
2014	—	`conf`	Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
2013	J	`jnl`	Deliberative, search-based mitigation strategies for model-based software health management. Innov. Syst. Softw. Eng. Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
2013	A	`conf`	Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry
2013	—	`ed.`	Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, USA, September 30, 2013. MPM@MoDELS Christophe Jacquet, Daniel Balasubramanian, Edward Jones, Tamás Mészáros
2012	—	`conf`	Evolution in a context of an model-integrated tool environment. ME@MoDELS Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
2012	—	`conf`	Integrating Statechart Components in Polyglot. NASA Formal Methods Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen
2012	A	`conf`	Statechart Analysis with Symbolic PathFinder. ICST Corina S. Pasareanu, Daniel Balasubramanian
2011	—	`—`	Behavioral Semantics of Modeling Languages: A Pragmatic Approach. Daniel Balasubramanian
2011	A	`conf`	Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry
2011	C	`conf`	Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
2011	A	`conf`	Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
2011	A	`conf`	Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. SC Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits
2010	—	`conf`	A transformation instance-based approach to traceability. ECMFA-TW Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
2010	B	`conf`	Reusing Model Transformations While Preserving Properties. FASE Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
2009	B	`conf`	A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai
2009	A	`conf`	Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai
2009	A*	`conf`	Lost in Translation: Forgetful Semantic Anchoring. ASE Daniel Balasubramanian, Ethan K. Jackson
2007	J	`jnl`	A Subgraph Operator for Graph Transformation Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai
2007	—	`conf`	Applying a Grouping Operator in Model Transformations. AGTIVE Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai
2007	J	`jnl`	Common coupling and pointer variables, with application to a Linux case study. Softw. Qual. J. Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson
2007	J	`jnl`	Fine-grain analysis of common coupling and its application to a Linux case study. J. Syst. Softw. Dror G. Feitelson, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Yoav Etsion, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Stephen R. Schach
2006	—	`conf`	Model Transformations in the Model-Based Development of Real-time Systems. ECBS Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian
2006	J	`jnl`	The Graph Rewriting and Transformation Language: GReAT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai
2005	—	`conf`	Improving the Usability of a Graph Transformation Language. GRaMoT@GPCE Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai
2004	J	`jnl`	An internet based algorithm visualization system. J. Comput. Sci. Coll. Frank Hadlock, Daniel Balasubramanian, James Bittinger, Crystal Davis, Sarat Kesiraju, James Kolpack, Jeffery Northcutt, Subash Sudireddy, Megan Tyler, John Williams, Jason N. Wyatt