Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Daniel Balasubramanian
@inproceedings{DBLP:conf/dddas/Canady0BBG22,
author = {Robert Canady and
Xingyu Zhou and
Yogesh D. Barve and
Daniel Balasubramanian and
Aniruddha Gokhale},
editor = {Erik Blasch and
Frederica Darema and
Alex Aved},
title = {Applying {DDDAS} Principles for Realizing Optimized and Robust Deep
Learning Models at the Edge},
booktitle = {Dynamic Data Driven Applications Systems - 4th International Conference,
{DDDAS} 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13984},
pages = {325--339},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-52670-1\_32},
doi = {10.1007/978-3-031-52670-1\_32},
timestamp = {Mon, 04 Mar 2024 23:17:41 +0100},
biburl = {https://dblp.org/rec/conf/dddas/Canady0BBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/ZhouCLBBBG22,
author = {Xingyu Zhou and
Robert Canady and
Yi Li and
Shunxing Bao and
Yogesh D. Barve and
Daniel Balasubramanian and
Aniruddha Gokhale},
title = {Guarding Against Universal Adversarial Perturbations in Data-driven
Cloud/Edge Services},
booktitle = {{IEEE} International Conference on Cloud Engineering, {IC2E} 2022,
Pacific Grove, CA, USA, September 26-30, 2022},
pages = {233--244},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IC2E55432.2022.00032},
doi = {10.1109/IC2E55432.2022.00032},
timestamp = {Mon, 21 Nov 2022 17:42:15 +0100},
biburl = {https://dblp.org/rec/conf/ic2e/ZhouCLBBBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/Canady0BBG22,
author = {Robert Canady and
Xingyu Zhou and
Yogesh D. Barve and
Daniel Balasubramanian and
Aniruddha Gokhale},
title = {Adversarially Robust Edge-Based Object Detection for Assuredly Autonomous
Systems},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2022,
Virtual Event / Fajardo, PR, USA, March 22-24, 2022},
pages = {97--106},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICAA52185.2022.00021},
doi = {10.1109/ICAA52185.2022.00021},
timestamp = {Tue, 03 May 2022 17:07:11 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/Canady0BBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KarsaiB22,
author = {Gabor Karsai and
Daniel Balasubramanian},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assurance Provenance: The Next Challenge in Software Documentation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {90--104},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_6},
doi = {10.1007/978-3-031-19756-7\_6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KarsaiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-11706,
author = {Alessandro Coglio and
Eric McCarthy and
Stephen J. Westfold and
Daniel Balasubramanian and
Abhishek Dubey and
Gabor Karsai},
editor = {Rob Sumners and
Cuong Chau},
title = {Syntheto: {A} Surface Language for {APT} and {ACL2}},
booktitle = {Proceedings Seventeenth International Workshop on the {ACL2} Theorem
Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022},
series = {{EPTCS}},
volume = {359},
pages = {151--167},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.359.13},
doi = {10.4204/EPTCS.359.13},
timestamp = {Tue, 05 Jul 2022 12:50:48 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Balasubramanian21,
author = {Daniel Balasubramanian and
Alessandro Coglio and
Abhishek Dubey and
Gabor Karsai},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Model-Based Intent-Driven Adaptive Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {378--392},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_24},
doi = {10.1007/978-3-030-89159-6\_24},
timestamp = {Thu, 14 Oct 2021 09:48:48 +0200},
biburl = {https://dblp.org/rec/conf/isola/Balasubramanian21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZhangBKS21,
author = {Qishen Zhang and
Daniel Balasubramanian and
Tam{\'{a}}s Kecsk{\'{e}}s and
Janos Sztipanovits},
editor = {Jeff Gray and
Matti Rossi and
Jonathan Sprinkle and
Juha{-}Pekka Tolvanen},
title = {Differential-FORMULA: towards a semantic backplane for incremental
modeling},
booktitle = {{DSM} 2021: Proceedings of the 18th {ACM} {SIGPLAN} International
Workshop on Domain-Specific Modeling, Chicago, IL, USA, 18 October
2021},
pages = {51--60},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486603.3486779},
doi = {10.1145/3486603.3486779},
timestamp = {Fri, 03 Dec 2021 14:51:37 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ZhangBKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ZhangZBLVK20,
author = {Zhenkai Zhang and
Zihao Zhan and
Daniel Balasubramanian and
Bo Li and
P{\'{e}}ter V{\"{o}}lgyesi and
Xenofon D. Koutsoukos},
title = {Leveraging {EM} Side-Channel Information to Detect Rowhammer Attacks},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {729--746},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00060},
doi = {10.1109/SP40000.2020.00060},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/ZhangZBLVK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/KulkarniBLBDK19,
author = {Amogh Kulkarni and
William Z. Bernstein and
David Lechevalier and
Daniel Balasubramanian and
Peter Denno and
Gabor Karsai},
title = {Towards Operational Use of Unit Manufacturing Process Models},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2019,
Melbourne, Australia, February 13-15, 2019},
pages = {818--823},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICIT.2019.8754963},
doi = {10.1109/ICIT.2019.8754963},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icit2/KulkarniBLBDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Balasubramanian19,
author = {Daniel Balasubramanian and
Zhenkai Zhang and
Dan McDermet and
Gabor Karsai},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Dynamic symbolic execution for the analysis of web server applications
in Java},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2178--2185},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297494},
doi = {10.1145/3297280.3297494},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Balasubramanian19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ZhangZBKK18,
author = {Zhenkai Zhang and
Zihao Zhan and
Daniel Balasubramanian and
Xenofon D. Koutsoukos and
Gabor Karsai},
editor = {Chip{-}Hong Chang and
Ulrich R{\"{u}}hrmair and
Daniel E. Holcomb and
Jorge Guajardo},
title = {Triggering Rowhammer Hardware Faults on {ARM:} {A} Revisit},
booktitle = {Proceedings of the 2018 Workshop on Attacks and Solutions in Hardware
Security, ASHES@CCS 2018, Toronto, ON, Canada, October 19, 2018},
pages = {24--33},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3266444.3266454},
doi = {10.1145/3266444.3266454},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/ZhangZBKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Balasubramanian18,
author = {Daniel Balasubramanian and
Dmitriy Kostyuchenko and
Kasper S{\o}e Luckow and
Rody Kersten and
Gabor Karsai},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {A Cloud-Based Execution Framework for Program Analysis},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {139--154},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_9},
doi = {10.1007/978-3-319-92970-5\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Balasubramanian18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00267,
author = {Gabor Karsai and
Daniel Balasubramanian and
Abhishek Dubey and
William R. Otte},
title = {Distributed and Managed: Research Challenges and Opportunities of
the Next Generation Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1710.00267},
year = {2017},
url = {http://arxiv.org/abs/1710.00267},
eprinttype = {arXiv},
eprint = {1710.00267},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PradhanDLKEBOK16,
author = {Subhav Pradhan and
Abhishek Dubey and
Tihamer Levendovszky and
Pranav Srinivas Kumar and
William Emfinger and
Daniel Balasubramanian and
William Otte and
Gabor Karsai},
title = {Achieving resilience in distributed software systems via self-reconfiguration},
journal = {J. Syst. Softw.},
volume = {122},
pages = {344--363},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.05.038},
doi = {10.1016/J.JSS.2016.05.038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PradhanDLKEBOK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Balasubramanian15,
author = {Daniel Balasubramanian and
Abhishek Dubey and
William Otte and
Tihamer Levendovszky and
Aniruddha S. Gokhale and
Pranav Srinivas Kumar and
William Emfinger and
Gabor Karsai},
title = {{DREMS} {ML:} {A} wide spectrum architecture design language for distributed
computing platforms},
journal = {Sci. Comput. Program.},
volume = {106},
pages = {3--29},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.04.002},
doi = {10.1016/J.SCICO.2015.04.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Balasubramanian15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JacksonLB15,
author = {Ethan K. Jackson and
Tihamer Levendovszky and
Daniel Balasubramanian},
title = {Automatically reasoning about metamodeling},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {271--285},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0315-y},
doi = {10.1007/S10270-013-0315-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JacksonLB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015gemoc,
editor = {Beno{\^{\i}}t Combemale and
Julien Deantoni and
Jeff Gray and
Daniel Balasubramanian and
Bruno Barroca and
Sahar Kokaly and
Gergely Mezei and
Pieter Van Gorp},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1511},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1511},
urn = {urn:nbn:de:0074-1511-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015gemoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LevendovszkyDOBCNEKGK14,
author = {Tihamer Levendovszky and
Abhishek Dubey and
William Otte and
Daniel Balasubramanian and
Alessandro Coglio and
Sandor Nyako and
William Emfinger and
Pranav Srinivas Kumar and
Aniruddha S. Gokhale and
Gabor Karsai},
title = {Distributed Real-Time Managed Systems: {A} Model-Driven Distributed
Secure Information Architecture Platform for Managed Embedded Systems},
journal = {{IEEE} Softw.},
volume = {31},
number = {2},
pages = {62--69},
year = {2014},
url = {https://doi.org/10.1109/MS.2013.143},
doi = {10.1109/MS.2013.143},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LevendovszkyDOBCNEKGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LevendovszkyBNSBK14,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Anantha Narayanan and
Feng Shi and
Christopher P. van Buskirk and
Gabor Karsai},
title = {A semi-formal description of migrating domain-specific models with
evolving domains},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {807--823},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0313-5},
doi = {10.1007/S10270-012-0313-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LevendovszkyBNSBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KarsaiBDO14,
author = {Gabor Karsai and
Daniel Balasubramanian and
Abhishek Dubey and
William Otte},
title = {Distributed and Managed: Research Challenges and Opportunities of
the Next Generation Cyber-Physical Systems},
booktitle = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
10-12, 2014},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISORC.2014.36},
doi = {10.1109/ISORC.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KarsaiBDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BalasubramanianLDK14,
author = {Daniel Balasubramanian and
Tihamer Levendovszky and
Abhishek Dubey and
Gabor Karsai},
editor = {Daniel Balasubramanian and
Christophe Jacquet and
Pieter Van Gorp and
Sahar Kokaly and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Taming Multi-Paradigm Integration in a Software Architecture Description
Language},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1237},
pages = {67--76},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1237/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BalasubramanianLDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BalasubramanianDOEKK14,
author = {Daniel Balasubramanian and
Abhishek Dubey and
William R. Otte and
William Emfinger and
Pranav Srinivas Kumar and
Gabor Karsai},
title = {A Rapid Testing Framework for a Mobile Cloud},
booktitle = {25nd {IEEE} International Symposium on Rapid System Prototyping, {RSP}
2014, New Delhi, India, October 16-17, 2014},
pages = {128--134},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/RSP.2014.6966903},
doi = {10.1109/RSP.2014.6966903},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/BalasubramanianDOEKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014mpm,
editor = {Daniel Balasubramanian and
Christophe Jacquet and
Pieter Van Gorp and
Sahar Kokaly and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1237},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1237},
urn = {urn:nbn:de:0074-1237-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014mpm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MahadevanDBK13,
author = {Nagabhushan Mahadevan and
Abhishek Dubey and
Daniel Balasubramanian and
Gabor Karsai},
title = {Deliberative, search-based mitigation strategies for model-based software
health management},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {293--318},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0215-x},
doi = {10.1007/S11334-013-0215-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MahadevanDBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalasubramanianPKL13,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Gabor Karsai and
Michael R. Lowry},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Polyglot: Systematic Analysis for Multiple Statechart Formalisms},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {523--529},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_36},
doi = {10.1007/978-3-642-36742-7\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BalasubramanianPKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013mpm,
editor = {Christophe Jacquet and
Daniel Balasubramanian and
Edward Jones and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1112},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1112},
urn = {urn:nbn:de:0074-1112-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013mpm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PasareanuB12,
author = {Corina S. Pasareanu and
Daniel Balasubramanian},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Statechart Analysis with Symbolic PathFinder},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {772},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.173},
doi = {10.1109/ICST.2012.173},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PasareanuB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LevendovszkySBS12,
author = {Tihamer Levendovszky and
Kevin Smyth and
Daniel Balasubramanian and
Feng Shi and
Gabor Karsai},
title = {Evolution in a context of an model-integrated tool environment},
booktitle = {Proceedings of the 6th International Workshop on Models and Evolution,
ME@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {33--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2523599.2523606},
doi = {10.1145/2523599.2523606},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/LevendovszkySBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BalasubramanianPBPKLW12,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Jason Biatek and
Thomas Pressburger and
Gabor Karsai and
Michael R. Lowry and
Michael W. Whalen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Integrating Statechart Components in Polyglot},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {267--272},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_26},
doi = {10.1007/978-3-642-28891-3\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BalasubramanianPBPKLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Balasubramanian11,
author = {Daniel Balasubramanian},
title = {Behavioral Semantics of Modeling Languages: {A} Pragmatic Approach},
school = {Vanderbilt University, Nashville, Tennessee, {USA}},
year = {2011},
url = {http://hdl.handle.net/1803/12061},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Balasubramanian11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BalasubramanianPWKL11,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Michael W. Whalen and
Gabor Karsai and
Michael R. Lowry},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Polyglot: modeling and analysis for multiple Statechart formalisms},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {45--55},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001427},
doi = {10.1145/2001420.2001427},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BalasubramanianPWKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JacksonLB11,
author = {Ethan K. Jackson and
Tihamer Levendovszky and
Daniel Balasubramanian},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Reasoning about Metamodeling with Formal Specifications and Automatic
Proofs},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {653--667},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_48},
doi = {10.1007/978-3-642-24485-8\_48},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/JacksonLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BalasubramanianPNKLPP11,
author = {Daniel Balasubramanian and
G{\'{a}}bor Pap and
Harmon Nine and
Gabor Karsai and
Michael R. Lowry and
Corina S. Pasareanu and
Thomas Pressburger},
title = {Rapid property specification and checking for model-based formalisms},
booktitle = {Proceedings of the 22nd {IEEE} International Symposium on Rapid System
Prototyping, {RSP} 2011, Karlsruhe, Germany, 24-27 May, 2011},
pages = {121--127},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/RSP.2011.5929985},
doi = {10.1109/RSP.2011.5929985},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/BalasubramanianPNKLPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/PorterBHS11,
author = {Joseph Porter and
Daniel Balasubramanian and
Graham Hemingway and
Janos Sztipanovits},
editor = {Sven Apel and
Ethan K. Jackson},
title = {Towards Incremental Cycle Analysis in ESMoL Distributed Control System
Models},
booktitle = {Software Composition - 10th International Conference, SC@TOOLS 2011,
Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6708},
pages = {133--140},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22045-6\_9},
doi = {10.1007/978-3-642-22045-6\_9},
timestamp = {Sat, 30 Sep 2023 09:57:04 +0200},
biburl = {https://dblp.org/rec/conf/soco/PorterBHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/LevendovszkyBSSK10,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Kevin Smyth and
Feng Shi and
Gabor Karsai},
editor = {Jon Oldevik and
G{\o}ran K. Olsen and
Dimitrios S. Kolovos},
title = {A transformation instance-based approach to traceability},
booktitle = {Proceedings of the 6th {ECMFA} Traceability Workshop, {ECMFA-TW} 2010,
Paris, France, June 15, 2010},
pages = {55--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814392.1814400},
doi = {10.1145/1814392.1814400},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/LevendovszkyBSSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JacksonSBK10,
author = {Ethan K. Jackson and
Wolfram Schulte and
Daniel Balasubramanian and
Gabor Karsai},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Reusing Model Transformations While Preserving Properties},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {44--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_4},
doi = {10.1007/978-3-642-12029-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/JacksonSBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BalasubramanianJ09,
author = {Daniel Balasubramanian and
Ethan K. Jackson},
title = {Lost in Translation: Forgetful Semantic Anchoring},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {645--649},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.83},
doi = {10.1109/ASE.2009.83},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BalasubramanianJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NarayananLBK09,
author = {Anantha Narayanan and
Tihamer Levendovszky and
Daniel Balasubramanian and
Gabor Karsai},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Automatic Domain Model Migration to Manage Metamodel Evolution},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {706--711},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_57},
doi = {10.1007/978-3-642-04425-0\_57},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/NarayananLBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LevendovszkyBNK09,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Anantha Narayanan and
Gabor Karsai},
editor = {Mark van den Brand and
Dragan Gasevic and
Jeff Gray},
title = {A Novel Approach to Semi-automated Evolution of {DSML} Model Transformation},
booktitle = {Software Language Engineering, Second International Conference, {SLE}
2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5969},
pages = {23--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12107-4\_4},
doi = {10.1007/978-3-642-12107-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/LevendovszkyBNK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BalasubramanianNNSTK07,
author = {Daniel Balasubramanian and
Anantha Narayanan and
Sandeep Neema and
Feng Shi and
Ryan Thibodeaux and
Gabor Karsai},
title = {A Subgraph Operator for Graph Transformation Languages},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {6},
year = {2007},
url = {https://doi.org/10.14279/tuj.eceasst.6.72},
doi = {10.14279/TUJ.ECEASST.6.72},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BalasubramanianNNSTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FeitelsonABEMOSSXS07,
author = {Dror G. Feitelson and
Tokunbo O. S. Adeshiyan and
Daniel Balasubramanian and
Yoav Etsion and
Gabor Madl and
Esteban Osses and
Sameer Singh and
Karlkim Suwanmongkol and
Minhui Xie and
Stephen R. Schach},
title = {Fine-grain analysis of common coupling and its application to a Linux
case study},
journal = {J. Syst. Softw.},
volume = {80},
number = {8},
pages = {1239--1255},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2006.12.550},
doi = {10.1016/J.JSS.2006.12.550},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/FeitelsonABEMOSSXS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/SchachABMOSSXF07,
author = {Stephen R. Schach and
Tokunbo O. S. Adeshiyan and
Daniel Balasubramanian and
Gabor Madl and
Esteban Osses and
Sameer Singh and
Karlkim Suwanmongkol and
Minhui Xie and
Dror G. Feitelson},
title = {Common coupling and pointer variables, with application to a Linux
case study},
journal = {Softw. Qual. J.},
volume = {15},
number = {1},
pages = {99--113},
year = {2007},
url = {https://doi.org/10.1007/s11219-006-9005-0},
doi = {10.1007/S11219-006-9005-0},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/SchachABMOSSXF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BalasubramanianNNNSTK07,
author = {Daniel Balasubramanian and
Anantha Narayanan and
Sandeep Neema and
Benjamin Ness and
Feng Shi and
Ryan Thibodeaux and
Gabor Karsai},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Applying a Grouping Operator in Model Transformations},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {410--425},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_28},
doi = {10.1007/978-3-540-89020-1\_28},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agtive/BalasubramanianNNNSTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BalasubramanianNBK06,
author = {Daniel Balasubramanian and
Anantha Narayanan and
Christopher P. van Buskirk and
Gabor Karsai},
title = {The Graph Rewriting and Transformation Language: GReAT},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {1},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.1.89},
doi = {10.14279/TUJ.ECEASST.1.89},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BalasubramanianNBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SzemethyKB06,
author = {Tivadar Szemethy and
Gabor Karsai and
Daniel Balasubramanian},
title = {Model Transformations in the Model-Based Development of Real-time
Systems},
booktitle = {13th Annual {IEEE} International Conference and Workshop on Engineering
of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
Germany},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECBS.2006.47},
doi = {10.1109/ECBS.2006.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SzemethyKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VizhanyoNSBK06,
author = {Attila Vizhanyo and
Sandeep Neema and
Feng Shi and
Daniel Balasubramanian and
Gabor Karsai},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Improving the Usability of a Graph Transformation Language},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {207--222},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.026},
doi = {10.1016/J.ENTCS.2005.10.026},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VizhanyoNSBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
