More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Daniel Balasubramanian

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/secdev/FraserLS0WBCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secdev/FraserLS0WBCS24
Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao:
A NAND Use Case for Cybersecurity Experiments. SecDev 2024: 178-179
2022
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/dddas/Canady0BBG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dddas/Canady0BBG22
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: 325-339
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ic2e/ZhouCLBBBG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic2e/ZhouCLBBBG22
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: 233-244
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icaa2/Canady0BBG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaa2/Canady0BBG22
Robert Canady, Xingyu Zhou, Yogesh D. Barve, Daniel Balasubramanian, Aniruddha Gokhale:
Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous Systems. ICAA 2022: 97-106
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KarsaiB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KarsaiB22
Gabor Karsai, Daniel Balasubramanian:
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) 2022: 90-104
[c27]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-11706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-11706
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai:
Syntheto: A Surface Language for APT and ACL2. ACL2 2022: 151-167
2021
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Balasubramanian21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Balasubramanian21
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai:
Towards Model-Based Intent-Driven Adaptive Software. ISoLA 2021: 378-392
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ZhangBKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ZhangBKS21
Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits:
Differential-FORMULA: towards a semantic backplane for incremental modeling. DSM@SPLASH 2021: 51-60
2020
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ZhangZBLVK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ZhangZBLVK20
Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Bo Li, Péter Völgyesi, Xenofon D. Koutsoukos:
Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. SP 2020: 729-746

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/KulkarniBLBDK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/KulkarniBLBDK19
Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai:
Towards Operational Use of Unit Manufacturing Process Models. ICIT 2019: 818-823
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Balasubramanian19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Balasubramanian19
Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai:
Dynamic symbolic execution for the analysis of web server applications in Java. SAC 2019: 2178-2185
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ZhangZBKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ZhangZBKK18
Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai:
Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS 2018: 24-33
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Balasubramanian18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Balasubramanian18
Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
A Cloud-Based Execution Framework for Program Analysis. SEFM 2018: 139-154
2017
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-00267
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-00267
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR abs/1710.00267 (2017)
2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/PradhanDLKEBOK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/PradhanDLKEBOK16
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: 344-363 (2016)
2015
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Balasubramanian15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Balasubramanian15
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: 3-29 (2015)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/JacksonLB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/JacksonLB15
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Automatically reasoning about metamodeling. Softw. Syst. Model. 14(1): 271-285 (2015)
[e3]
- view
- export record
  dblp key:
  - conf/models/2015gemoc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2015gemoc
Benoît Combemale, Julien Deantoni, Jeff Gray, Daniel Balasubramanian, Bruno Barroca, Sahar Kokaly, Gergely Mezei, Pieter Van Gorp:
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. CEUR Workshop Proceedings 1511, CEUR-WS.org 2015 [contents]
2014
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/software/LevendovszkyDOBCNEKGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/LevendovszkyDOBCNEKGK14
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): 62-69 (2014)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LevendovszkyBNSBK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LevendovszkyBNSBK14
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): 807-823 (2014)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/KarsaiBDO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/KarsaiBDO14
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC 2014: 1-8
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/BalasubramanianLDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BalasubramanianLDK14
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai:
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS 2014: 67-76
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/BalasubramanianDOEKK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/BalasubramanianDOEKK14
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai:
A Rapid Testing Framework for a Mobile Cloud. RSP 2014: 128-134
[e2]
- view
- export record
  dblp key:
  - conf/models/2014mpm
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2014mpm
Daniel Balasubramanian, Christophe Jacquet, Pieter Van Gorp, Sahar Kokaly, Tamás Mészáros:
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. CEUR Workshop Proceedings 1237, CEUR-WS.org 2014 [contents]
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MahadevanDBK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MahadevanDBK13
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): 293-318 (2013)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BalasubramanianPKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BalasubramanianPKL13
Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry:
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529
[e1]
- view
- export record
  dblp key:
  - conf/models/2013mpm
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/2013mpm
Christophe Jacquet, Daniel Balasubramanian, Edward Jones, Tamás Mészáros:
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. CEUR Workshop Proceedings 1112, CEUR-WS.org 2013 [contents]
2012
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/PasareanuB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/PasareanuB12
Corina S. Pasareanu, Daniel Balasubramanian:
Statechart Analysis with Symbolic PathFinder. ICST 2012: 772
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LevendovszkySBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LevendovszkySBS12
Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai:
Evolution in a context of an model-integrated tool environment. ME@MoDELS 2012: 33-38
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BalasubramanianPBPKLW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BalasubramanianPBPKLW12
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: 267-272
2011
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Balasubramanian11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Balasubramanian11
Daniel Balasubramanian:
Behavioral Semantics of Modeling Languages: A Pragmatic Approach. Vanderbilt University, Nashville, Tennessee, USA, 2011
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BalasubramanianPWKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BalasubramanianPWKL11
Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry:
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JacksonLB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JacksonLB11
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. MoDELS 2011: 653-667
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/BalasubramanianPNKLPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/BalasubramanianPNKLPP11
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: 121-127
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/PorterBHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/PorterBHS11
Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits:
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. SC@TOOLS 2011: 133-140
2010
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/LevendovszkyBSSK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/LevendovszkyBSSK10
Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai:
A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/JacksonSBK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JacksonSBK10
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai:
Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BalasubramanianJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BalasubramanianJ09
Daniel Balasubramanian, Ethan K. Jackson:
Lost in Translation: Forgetful Semantic Anchoring. ASE 2009: 645-649
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/models/NarayananLBK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/NarayananLBK09
Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai:
Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/LevendovszkyBNK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/LevendovszkyBNK09
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai:
A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41
2007
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BalasubramanianNNSTK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BalasubramanianNNSTK07
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)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/FeitelsonABEMOSSXS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/FeitelsonABEMOSSXS07
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): 1239-1255 (2007)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/SchachABMOSSXF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/SchachABMOSSXF07
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): 99-113 (2007)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/BalasubramanianNNNSTK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/BalasubramanianNNNSTK07
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai:
Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BalasubramanianNBK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BalasubramanianNBK06
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)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/SzemethyKB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/SzemethyKB06
Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian:
Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186
2005
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/VizhanyoNSBK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VizhanyoNSBK06
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai:
Improving the Usability of a Graph Transformation Language. GRaMoT@GPCE 2005: 207-222

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.