Daniel Balasubramanian
发表
Gabor Karsai,
Abhishek Dubey,
Daniel Balasubramanian,
2014,
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Daniel Balasubramanian,
Tihamer Levendovszky,
Ethan K. Jackson,
2013,
Software & Systems Modeling.
Aniruddha S. Gokhale,
Gabor Karsai,
Abhishek Dubey,
2014,
IEEE Software.
Gabor Karsai,
Abhishek Dubey,
Daniel Balasubramanian,
2016,
J. Syst. Softw..
Michael Lowry,
Michael W. Whalen,
Daniel Balasubramanian,
2012,
MoDeVVa '12.
Gabor Karsai,
Feng Shi,
Sandeep Neema,
2008,
AGTIVE.
Daniel Balasubramanian,
James Kolpack,
John Williams,
2004
.
Gabor Karsai,
William Z. Bernstein,
Daniel Balasubramanian,
2019,
2019 IEEE International Conference on Industrial Technology (ICIT).
Stephen R. Schach,
Dror G. Feitelson,
Gabor Madl,
2006,
Software Quality Journal.
Stephen R. Schach,
Dror G. Feitelson,
Gabor Madl,
2007,
J. Syst. Softw..
Gabor Karsai,
Kasper Søe Luckow,
Daniel Balasubramanian,
2018,
SEFM.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
2011 22nd IEEE International Symposium on Rapid System Prototyping.
Gabor Karsai,
Anantha Narayanan,
Daniel Balasubramanian,
2009,
MoDELS.
Gabor Karsai,
Anantha Narayanan,
Daniel Balasubramanian,
2007,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Corina S. Pasareanu,
Daniel Balasubramanian,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Gabor Karsai,
Feng Shi,
Sandeep Neema,
2007,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Daniel Balasubramanian,
Ethan K. Jackson,
D. Balasubramanian,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
A domain-specific language for model composition and verification of multidisciplinary models | NIST
Gabor Karsai,
Anantha Narayanan,
Daniel Balasubramanian,
2016
.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2012,
NASA Formal Methods.
Gabor Karsai,
Xenofon D. Koutsoukos,
Daniel Balasubramanian,
2018,
ASHES@CCS.
Gabor Karsai,
Daniel Balasubramanian,
Peter Denno,
2018
.
Gabor Karsai,
Tivadar Szemethy,
Daniel Balasubramanian,
2006,
13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
Gabor Karsai,
Daniel Balasubramanian,
D. Balasubramanian,
2011
.
Gabor Karsai,
Abhishek Dubey,
Daniel Balasubramanian,
2014,
2014 25nd IEEE International Symposium on Rapid System Prototyping.
Janos Sztipanovits,
Daniel Balasubramanian,
Joseph Porter,
2011,
SC@TOOLS.
Gabor Karsai,
Daniel Balasubramanian,
Zhenkai Zhang,
2019,
SAC.
Gabor Karsai,
Abhishek Dubey,
Daniel Balasubramanian,
2010,
2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.
Gabor Karsai,
Abhishek Dubey,
Nagabhushan Mahadevan,
2013,
Innovations in Systems and Software Engineering.
Gabor Karsai,
Feng Shi,
Sandeep Neema,
2006,
Electron. Notes Theor. Comput. Sci..
Gabor Karsai,
Feng Shi,
Daniel Balasubramanian,
2012,
ME '12.
Aniruddha S. Gokhale,
Gabor Karsai,
Abhishek Dubey,
2015,
Sci. Comput. Program..
Gabor Karsai,
Feng Shi,
Anantha Narayanan,
2013,
Software & Systems Modeling.
Daniel Balasubramanian,
Tihamer Levendovszky,
Ethan K. Jackson,
2011,
MODELS'11.
Gabor Karsai,
Feng Shi,
Daniel Balasubramanian,
2010,
ECMFA-TW '10.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2013,
TACAS.
Gabor Karsai,
Abhishek Dubey,
Aniruddha Gokhale,
2014,
2014 IEEE International Conference on Space Mission Challenges for Information Technology.
Gabor Karsai,
Wolfram Schulte,
Daniel Balasubramanian,
2010,
FASE.
Gabor Karsai,
Anantha Narayanan,
Daniel Balasubramanian,
2009,
SLE.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
ISSTA '11.
Gabor Karsai,
Abhishek Dubey,
Daniel Balasubramanian,
2014,
MPM@MoDELS.
Gabor Karsai,
Abhishek Dubey,
Daniel Balasubramanian,
2021,
ISoLA.
Ákos Lédeczi,
Daniel Balasubramanian,
Zoltán Molnár,
2007
.
Gabor Karsai,
Daniel Balasubramanian,
Zhenkai Zhang,
2017
.
Gabor Karsai,
Anantha Narayanan,
Daniel Balasubramanian,
2009
.
Daniel Balasubramanian,
Ted Bapty,
2015
.
Gabor Karsai,
Abhishek Dubey,
Nagabhushan Mahadevan,
2013
.
Gabor Karsai,
Sandeep Neema,
Anantha Narayanan,
2008
.