Mahadevan Subramaniam, PhD

Professor

  • 299 Citations
  • 10 h-Index
19942019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1994 2019

  • 299 Citations
  • 10 h-Index
  • 39 Conference contribution
  • 13 Article
  • 2 Paper
  • 1 Conference article
2019

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 proceedingConference contribution

Quantum Cryptography
Quantum cryptography
Serious Games
Exercise
Security of data
2018

Towards automated distortion and health correlation for age-related macular degeneration

Chakravarthy, A. D., Subramaniam, M., Chundi, P., Hassan, M. & Nguyen, Q., Jan 8 2018, Proceedings - 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering, BIBE 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 486-491 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Macular Degeneration
Degeneration
Retina
Health
Physicians
2017
2 Citations (Scopus)

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quantum cryptography
Students
Virtual reality
Education
2016
2 Citations (Scopus)

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 proceedingConference contribution

Optical tomography
Optical Coherence Tomography
Macular Edema
Macular Degeneration
Experiments

Drsti: A workbench for querying retinal image data of age-related macular degeneration patients

Parakh, A., Chundi, P. & Subramaniam, M., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9545. 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 proceedingConference contribution

Degeneration
Health
Optical tomography
Data structures
Imaging techniques
2 Citations (Scopus)

Improving efficiency of quantum key distribution with probabilistic measurements

Parakh, A., Verma, P. & Subramaniam, M., 2016, In : International Journal of Security and Networks. 11, 1-2, p. 37-47 11 p.

Research output: Contribution to journalArticle

Quantum cryptography
Quantum entanglement
Statistical Models
2015
3 Citations (Scopus)

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, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-November. p. 8127-8130 4 p. 7320280

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Optical tomography
Optical Coherence Tomography
Macular Degeneration
Health
Cluster Analysis

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 journalArticle

Utility programs
Testing
2014
1 Citation (Scopus)

Model-based test generation using extended symbolic grammars

Guo, H. F. & Subramaniam, M., Jan 1 2014, In : International Journal on Software Tools for Technology Transfer. 16, 4, p. 437-455 19 p.

Research output: Contribution to journalArticle

Software testing
Model checking
Simulators
Testing
2013
2 Citations (Scopus)

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 proceedingConference contribution

Prostheses and Implants
Visual Prosthesis
Research
14 Citations (Scopus)
Engineering education
Education
Students
Construction engineering
Simulation

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 proceedingConference contribution

Prosthetics
Testing
Prostheses and Implants
2012
2 Citations (Scopus)

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 proceedingConference contribution

Testing
Experiments
2 Citations (Scopus)

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 proceedingConference contribution

Software testing
Specifications
Communication
Testing
3 Citations (Scopus)

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 proceedingConference contribution

Eye movements
Virtual environments
Impairment
Retina

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 proceedingConference contribution

Context free grammars
Testing
Syntactics
2011
34 Citations (Scopus)

A framework for Virtual Interactive Construction Education (VICE)

Goedert, J. D., 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 journalArticle

Education
Personnel
Construction industry
Semantic Web
Virtual reality
1 Citation (Scopus)

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 proceedingConference contribution

2 Citations (Scopus)

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 proceedingConference contribution

User Interaction
Game
Simulation System
Data analysis
Integrate

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 proceedingConference contribution

Websites
Equivalence
Partitioning
Interval
Relationships
2009
8 Citations (Scopus)

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 journalArticle

Electronic mail
Segmentation
Communication
Enron
Social networks
2 Citations (Scopus)

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 proceedingConference contribution

Finite automata
Theorem
Web services
State Machine
Network protocols
6 Citations (Scopus)

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 proceedingConference contribution

Specifications
Formal languages
Logic programming
Computer programming languages
Semantics

L2C2: Logic-based LSC consistency checking

Guo, H. F., Zheng, W. & Subramaniam, M., Dec 1 2009.

Research output: Contribution to conferencePaper

simulator
Specifications
Logic programming
Testing
Computer programming languages
8 Citations (Scopus)

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 proceedingConference contribution

Specifications
Logic programming
Testing
Computer programming languages
Simulators
3 Citations (Scopus)

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 proceedingConference contribution

Edit Distance
Strings
Specification
Specifications
Coverage
6 Citations (Scopus)

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 proceedingConference contribution

Finite automata
Testing
Concretes
Costs
Experiments
2008
5 Citations (Scopus)

A segmentation-based approach for temporal analysis of software version repositories

Siy, H. P., 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 journalArticle

Time series
Dynamic programming
6 Citations (Scopus)

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 proceedingConference contribution

Finite automata
Web services
Network protocols
Communication
5 Citations (Scopus)

Summarizing developer work history using time series segmentation

Siy, H. P., 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 proceedingConference contribution

Time series analysis
Time series
Miners
2007
7 Citations (Scopus)

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 proceedingConference contribution

Test Generation
Finite automata
State Machine
Incremental Algorithm
Specification

Aggregating changes to efficiently check consistency

Subramaniam, M., Chundi, P. & Siy, H. P., 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 proceedingConference contribution

Finite automata
Large scale systems
Network protocols
Costs

Aggregating changes to efficiently check consistency

Subramaniam, M., Chundi, P. & Siy, H. P., 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 proceedingConference contribution

Finite automata
Large scale systems
Network protocols
Costs
3 Citations (Scopus)
Semantics
Finite automata
Switches
6 Citations (Scopus)

Discovering dynamic developer relationships from software version histories by time series segmentation

Siy, H. P., 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 proceedingConference contribution

Time series
Time series analysis
Dynamic programming
2006
1 Citation (Scopus)

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 proceedingConference contribution

Maintenance
Network protocols
Controller
Turnaround time
Controllers

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 proceedingConference contribution

Specifications
Monitoring
Switches
2005
1 Citation (Scopus)

Preserving consistency of runtime monitors across protocol changes

Subramaniam, M., Oct 31 2005, p. 590-599. 10 p.

Research output: Contribution to conferencePaper

Computer monitors
Network protocols
Turnaround time
Finite automata
Large scale systems
2 Citations (Scopus)

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 proceedingConference contribution

Network protocols
Model checking
Static analysis
2004
Update
Network protocols
Controller
Controllers
Cache Coherence
15 Citations (Scopus)

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 journalArticle

Loaders
Virtual machine
2003
3 Citations (Scopus)
Decision Procedures
Lemma
Canonical form
Networks (circuits)
Reasoning
3 Citations (Scopus)

Early error detection in industrial strength cache coherence protocols using SQL

Subramaniam, M., 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213518

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cache Coherence
Error Detection
Error detection
Tables
Hardware
2000
14 Citations (Scopus)

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 proceedingConference contribution

Decision Procedures
Proof by induction
Quantifiers
Syntactics
Byproducts
16 Citations (Scopus)

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 journalArticle

Networks (circuits)
Adders
Recursive functions
Theorem proving
Demonstrations
1998
22 Citations (Scopus)

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 journalArticle

Adders
Divide and conquer
Networks (circuits)
Look-ahead
Ripple

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 proceedingConference contribution

Tables
Reasoning
Hardware
Table lookup
Table
1997
9 Citations (Scopus)

Mechanizing verification of arithmetic circuits: SRT division

Kapur, D. & Subramaniam, M., 1997, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1346. 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 proceedingConference contribution

Arithmetic Circuits
Division
Networks (circuits)
Adders
Multiplier
1996
5 Citations (Scopus)

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 proceedingConference contribution

Recursive functions
Recursive Functions
Proof by induction
Set Cover
Specifications
11 Citations (Scopus)

Automating proofs of integrity constraints in situation calculus

Bertossi, L., Pinto, J., Saez, P., Kapur, D. & Subramaniam, M., 1996, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1079. p. 212-222 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1079).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Integrity Constraints
Calculus
Quantifiers
Specifications
Proof by induction