Research Output per year
Research Output 1994 2019
- 1 - 50 out of 56 results
- Publication Year, Title (descending)
Analyzing and predicting player performance in a quantum cryptography serious game
Abeyrathna, D., Vadla, S., Bommanapally, V., Subramaniam, M., Chundi, P. & Parakh, A., Jan 1 2019, Games and Learning Alliance - 7th International Conference, GALA 2018, Proceedings. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer Verlag, p. 267-276 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11385 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An approach towards designing problem networks in serious games
Parakh, A., Chundi, P. & Subramaniam, M., Aug 2019, IEEE Conference on Games 2019, CoG 2019. IEEE Computer Society, 8848055. (IEEE Conference on Computatonal Intelligence and Games, CIG; vol. 2019-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
QuaSim: A virtual quantum cryptography educator
Parakh, A., Subramaniam, M. & Ostler, E., Sep 27 2017, 2017 IEEE International Conference on Electro Information Technology, EIT 2017. IEEE Computer Society, p. 600-605 6 p. 8053434. (IEEE International Conference on Electro Information Technology).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards automated distortion and health correlation for age-related macular degeneration
Chakravarthy, A. D., Subramaniam, M., Chundi, P., Hassan, M. & Nguyen, Q., Jul 1 2017, Proceedings - 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering, BIBE 2017. Institute of Electrical and Electronics Engineers Inc., p. 486-491 6 p. (Proceedings - 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering, BIBE 2017; vol. 2018-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching
Chundi, P., Subramaniam, M., Sabet, K. & Margalit, E., Dec 16 2016, Proceedings - 2016 IEEE 16th International Conference on Bioinformatics and Bioengineering, BIBE 2016. Institute of Electrical and Electronics Engineers Inc., p. 316-323 8 p. 7790003. (Proceedings - 2016 IEEE 16th International Conference on Bioinformatics and Bioengineering, BIBE 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Drsti: A workbench for querying retinal image data of age-related macular degeneration patients
Parakh, A., Chundi, P. & Subramaniam, M., Jan 1 2016, Smart Health - International Conference, ICSH 2015, Revised Selected Papers. Chen, H., Zeng, D. D., Zheng, X. & Leischow, S. J. (eds.). Springer Verlag, p. 340-349 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9545).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Improving efficiency of quantum key distribution with probabilistic measurements
Parakh, A., Verma, P. & Subramaniam, M., Jan 1 2016, In : International Journal of Security and Networks. 11, 1-2, p. 37-47 11 p.Research output: Contribution to journal › Article
Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations
Go, S., Chundi, P., Subramaniam, M. & Margalit, E., Nov 4 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015. Institute of Electrical and Electronics Engineers Inc., p. 8127-8130 4 p. 7320280. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 2015-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients
Subramaniam, M. & Chundi, P., Aug 1 2015, In : International Journal of Software Engineering and Knowledge Engineering. 25, 6, p. 1033-1052 20 p.Research output: Contribution to journal › Article
Model-based test generation using extended symbolic grammars
Guo, H. F. & Subramaniam, M., Aug 2014, In : International Journal on Software Tools for Technology Transfer. 16, 4, p. 437-455 19 p.Research output: Contribution to journal › Article
Estimating distortion parameters in simulated prosthetic vision
Chundi, P., Subramaniam, M., Muthuraj, A. & Margalit, E., Dec 1 2013, Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013. p. 421-430 10 p. 6680505. (Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Project-oriented pedagogical model for construction engineering education using cyberinfrastructure tools
Goedert, J. D., Pawloski, R., Rokooeisadabad, S. & Subramaniam, M., Oct 1 2013, In : Journal of Professional Issues in Engineering Education and Practice. 139, 4, p. 301-309 9 p.Research output: Contribution to journal › Article
Testing distortion estimations in Retinal Prostheses
Subramaniam, M., Chundi, P., Muthuraj, A. & Margalit, E., Dec 1 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013. p. 223-242 20 p. 6688902. (2013 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Analysis of test clusters for regression testing
Guo, B., Subramaniam, M. & Chundi, P., Jun 21 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. 1 p. 6200177. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model-based test generation using evolutional symbolic grammar
Guo, H. F. & Subramaniam, M., Oct 5 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. p. 111-118 8 p. 6269634. (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Simulating prosthetic vision with distortions for retinal prosthesis design
Subramaniam, M., Chundi, P., Muthuraj, A., Margalit, E. & Sim, S., Dec 7 2012, SHB'12 - Proceedings of the 2012 ACM International Workshop on Smart Health and Wellbeing, Co-located with CIKM 2012. p. 57-64 8 p. (International Conference on Information and Knowledge Management, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Symbolic production grammars in LSCs testing
Guo, H. F. & Subramaniam, M., Jul 5 2012, Computer and Information Science 2012. Lee, R. (ed.). p. 105-120 16 p. (Studies in Computational Intelligence; vol. 429).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A framework for Virtual Interactive Construction Education (VICE)
Goedert, J., Cho, Y., Subramaniam, M., Guo, H. & Xiao, L., Jan 1 2011, In : Automation in Construction. 20, 1, p. 76-87 12 p.Research output: Contribution to journal › Article
An approach to regression test selection of adaptive EFSM tests
Guo, B., Subramaniam, M. & Guo, H. F., Nov 4 2011, Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011. p. 217-220 4 p. 6042082. (Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Dynamically adapting training systems based on user interactions
Weerakoon, R. M., Chundi, P. & Subramaniam, M., Sep 29 2011, Proceedings of the 2011 Workshop on Knowledge Discovery, Modeling and Simulation, KDMS'11. p. 31-38 8 p. (Proceedings of the 2011 Workshop on Knowledge Discovery, Modeling and Simulation, KDMS'11).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Extracting temporal equivalence relationships among keywords from time-stamped documents
Chundi, P., Subramaniam, M. & Weerakoon, R. M. A., Sep 20 2011, Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Proceedings. PART 1 ed. p. 110-124 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6860 LNCS, no. PART 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An approach for temporal analysis of email data based on segmentation
Chundi, P., Subramaniam, M. & Vasireddy, D. K., Nov 1 2009, In : Data and Knowledge Engineering. 68, 11, p. 1253-1270 18 p.Research output: Contribution to journal › Article
An approach for test selection for EFSMs using a theorem prover
Subramaniam, M., Xiao, L., Guo, B. & Pap, Z., Dec 1 2009, Testing of Software and Communication Systems - 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Proceedings. p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5826 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Consistency checking for LSC specifications
Guo, H. F., Zheng, W. & Subramaniam, M., Nov 16 2009, Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. p. 119-126 8 p. 5198494. (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
L2C2: Logic-based LSC consistency checking
Guo, H. F., Zheng, W. & Subramaniam, M., Dec 1 2009.Research output: Contribution to conference › Paper
L2C2: Logic-based LSC consistency checking
Guo, H. F., Zheng, W. & Subramaniam, M., Nov 30 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 183-194 12 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Optimal string edit distance based test suite reduction for SDL specifications
Kovács, G., Németh, G. Á., Subramaniam, M. & Pap, Z., Dec 1 2009, SDL 2009: Design for Motes and Mobiles - 14th International SDL Forum, Proceedings. p. 82-97 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5719 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Using change impact analysis to select tests for extended finite state machines
Subramaniam, M., Guo, B. & Pap, Z., Dec 1 2009, SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. p. 93-102 10 p. 5368111. (SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A segmentation-based approach for temporal analysis of software version repositories
Siy, H., Chundi, P., Rosenkrantz, D. J. & Subramaniam, M., May 1 2008, In : Journal of Software Maintenance and Evolution. 20, 3, p. 199-222 24 p.Research output: Contribution to journal › Article
Formal change impact analyses of extended finite state machines using a theorem prover
Guo, B. & Subramaniam, M., Dec 1 2008, Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008. p. 335-344 10 p. 46685820. (Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Summarizing developer work history using time series segmentation
Siy, H., Chundi, P. & Subramaniam, M., Dec 8 2008, 30th International Conference on Software Engineering, ICSE 2008 - 2008 International Working Conference on Mining Software Repositories, MSR'08. p. 137-140 4 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A bounded incremental test generation algorithm for finite state machines
Pap, Z., Subramaniam, M., Kovács, G. & Németh, G. Á., Aug 27 2007, Testing of Software and Communicating Systems - 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Proceedings. p. 244-259 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4581 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Aggregating changes to efficiently check consistency
Subramaniam, M., Chundi, P. & Siy, H., Dec 1 2007, IWPSE'07: Ninth International Workshop on Principles of Software Evolution - In conjunction with the 6th ESEC/FSE Joint Meeting. p. 39-42 4 p. (International Workshop on Principles of Software Evolution (IWPSE)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Aggregating changes to efficiently check consistency
Subramaniam, M., Chundi, P. & Siy, H., Dec 1 2007, 9th International Workshop on Principles of Software Evolution, IWPSE 2007, Held in Conjunction with the 6th ESEC/FSE Joint Meeting. p. 39-42 4 p. (9th International Workshop on Principles of Software Evolution, IWPSE 2007, Held in Conjunction with the 6th ESEC/FSE Joint Meeting).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Consistently incorporating changes to evolve transition-based systems
Subramaniam, M. & Siy, H., Aug 13 2007, In : Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. p. 17-26 10 p., 4145021.Research output: Contribution to journal › Conference article
Discovering dynamic developer relationships from software version histories by time series segmentation
Siy, H., Chundi, P., Rosenkrantz, D. J. & Subramaniam, M., Dec 1 2007, ICSM 2007 - Proceedings of the 2007 IEEE International Conference on Software Maintenance. p. 415-424 10 p. 4362654. (IEEE International Conference on Software Maintenance, ICSM).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Analyzing the impact of protocol changes on tests
Subramaniam, M. & Pap, Z., Jan 1 2006, Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. Duale, A. Y., Uyar, M. Ü. & Fecko, M. A. (eds.). Springer Verlag, p. 197-212 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3964 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Designing monitoring environments for verifiability using abstraction
Ueman, F. & Subramaniam, M., Dec 1 2006, Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006. p. 45-50 6 p. (Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, SEA 2006).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Preserving consistency of runtime monitors across protocol changes
Subramaniam, M., Oct 31 2005, p. 590-599. 10 p.Research output: Contribution to conference › Paper
Using dominators to extract observable protocol contexts
Subramaniam, M. & Shi, J., Dec 1 2005, Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005. p. 96-105 10 p. 1575898. (Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An approach to preserve protocol consistency and executability across updates
Subramaniam, M. & Chundi, P., Dec 1 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3308, p. 341-356 16 p.Research output: Contribution to journal › Article
The transient combinator, higher-order strategies, and the distributed data problem
Winter, V. L. & Subramaniam, M., Aug 1 2004, In : Science of Computer Programming. 52, 1-3, p. 165-212 48 p.Research output: Contribution to journal › Article
Automatic generation of simple lemmas from recursive definitions using decision procedures - Preliminary report
Kapur, D. & Subramaniam, M., Dec 1 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2896, p. 125-145 21 p.Research output: Contribution to journal › Article
Early error detection in industrial strength cache coherence protocols using SQL
Subramaniam, M., Jan 1 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213518. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Extending decision procedures with induction schemes
Kapur, D. & Subramaniam, M., Jan 1 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 324-345 22 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Using an induction prover for verifying arithmetic circuits
Kapur, D. & Subramaniam, M., Dec 1 2000, In : International Journal on Software Tools for Technology Transfer. 3, 1, p. 32-65 34 p.Research output: Contribution to journal › Article
Mechanical verification of adder circuits using rewrite rule laboratory
Kapur, D. & Subramaniam, M., Sep 1 1998, In : Formal Methods in System Design. 13, 2, p. 127-158 32 p.Research output: Contribution to journal › Article
Mechanizing reasoning about large finite tables in a rewrite based theorem prover
Kapur, D. & Subramaniam, M., Jan 1 1998, Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. Ohori, A. & Hsiang, J. (eds.). Springer Verlag, p. 22-42 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1538).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Mechanizing verification of arithmetic circuits: SRT division
Kapur, D. & Subramaniam, M., Jan 1 1997, Foundations of Software Technology and Theoretical Computer Science - 17th Conference, 1997, Proceedings. Ramesh, S. & Sivakumar, G. (eds.). Springer Verlag, p. 103-122 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1346).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automating induction over mutually recursive functions
Kapur, D. & Subramaniam, M., Jan 1 1996, Algebraic Methodology and Software Technology - 5th International Conference, AMAST 1996, Proceedings. Nivat, M. & Wirsing, M. (eds.). Springer Verlag, p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1101).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution