Daniel Balasubramanian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
16
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Middleware | DnD: Automating Discovery and Deployment of Realistic Network Topologies for Cyber Defense. | Sanjana Das, Akhilesh Raj, Himanshu Neema, Daniel Balasubramanian, Aniruddha Gokhale |
| 2022 | IC2E | 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 |
| 2022 | ISoLA | Assurance Provenance: The Next Challenge in Software Documentation. | Gabor Karsai, Daniel Balasubramanian |
| 2021 | ISoLA | Towards Model-Based Intent-Driven Adaptive Software. | Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai |
| 2021 | OOPSLA | Differential-FORMULA: towards a semantic backplane for incremental modeling. | Qishen Zhang, Daniel Balasubramanian, Tams Kecsks, Janos Sztipanovits |
| 2020 | SP | Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. | Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Bo Li, Pter Vlgyesi, Xenofon D. Koutsoukos |
| 2019 | SAC | Dynamic symbolic execution for the analysis of web server applications in Java. | Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai |
| 2018 | CCS | Triggering Rowhammer Hardware Faults on ARM: A Revisit. | Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai |
| 2018 | SEFM | A Cloud-Based Execution Framework for Program Analysis. | Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Se Luckow, Rody Kersten, Gabor Karsai |
| 2014 | ISORC | Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. | Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte |
| 2014 | MODELS | Taming Multi-Paradigm Integration in a Software Architecture Description Language. | Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai |
| 2014 | RSP | A Rapid Testing Framework for a Mobile Cloud. | Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai |
| 2013 | TACAS | Polyglot: Systematic Analysis for Multiple Statechart Formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
| 2012 | ICST | Statechart Analysis with Symbolic PathFinder. | Corina S. Pasareanu, Daniel Balasubramanian |
| 2012 | MODELS | Evolution in a context of an model-integrated tool environment. | Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai |
| 2011 | ISSTA | Polyglot: modeling and analysis for multiple Statechart formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2011 | MODELS | Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. | Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian |
| 2011 | RSP | Rapid property specification and checking for model-based formalisms. | Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger |
| 2010 | FASE | Reusing Model Transformations While Preserving Properties. | Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai |
| 2009 | MODELS | Automatic Domain Model Migration to Manage Metamodel Evolution. | Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai |
| 2009 | SLE | A Novel Approach to Semi-automated Evolution of DSML Model Transformation. | Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai |