Mahadevan Subramaniam, PhD

Professor

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

Research Output 1994 2019

  • 302 Citations
  • 10 h-Index
  • 40 Conference contribution
  • 13 Article
  • 2 Paper
  • 1 Conference article
Filter
Conference contribution
2019
1 Citation (Scopus)

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

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

Quantum cryptography
Peer to peer networks
Cryptography
Students
Network protocols
2017
3 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. (IEEE International Conference on Electro Information Technology).

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

Quantum cryptography
Students
Virtual reality
Education

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

Macular Degeneration
Degeneration
Retina
Health
Physicians
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., 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 proceedingConference contribution

Degeneration
Health
Optical tomography
Data structures
Imaging techniques
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, 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 proceedingConference contribution

Optical tomography
Optical Coherence Tomography
Macular Degeneration
Health
Cluster Analysis
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

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
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
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
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
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., 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
8 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., 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

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

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

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 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
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
2003
3 Citations (Scopus)

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 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
1998

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., 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 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., Jan 1 1996, Foundations of Intelligent Systems - 9th International Symposium, ISMIS 1996, Proceedings. Michalewicz, M. & Ras, Z. W. (eds.). Springer Verlag, 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
22 Citations (Scopus)

Lemma discovery in automating induction

Kapur, D. & Subramaniam, M., Jan 1 1996, Automated Deduction – Cade-13 - 13th International Conference on Automated Deduction, Proceedings. Slaney, J. K. & McRobbie, M. A. (eds.). Springer Verlag, p. 538-552 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1104).

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

Lemma
Proof by induction
Paradigm
User Interaction
Guidance
15 Citations (Scopus)

Mechanically verifying a family of multiplier circuits

Kapur, D. & Subramaniam, M., Jan 1 1996, Computer Aided Verification - 8th International Conference, CAV 1996, Proceedings. Henzinger, T. A. & Alur, R. (eds.). Springer Verlag, p. 135-146 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1102).

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

Multiplier
Networks (circuits)
Correctness
Specifications
Hardware
1995
4 Citations (Scopus)

Automated reasoning about parallel algorithms using powerlists

Kapur, D. & Subramaniam, M., Jan 1 1995, Algebraic Methodology and Software Technology - 4th International Conference, AMAST 1995, Proceedings. Alagar, V. S. & Nivat, M. (eds.). Springer Verlag, p. 416-430 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 936).

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

Automated Reasoning
Parallel algorithms
Parallel Algorithms
Data structures
Specifications
1994
1 Citation (Scopus)

Using linear arithmetic procedure for generating induction schemes

Kapur, D. & Subramaniam, M., Jan 1 1994, Foundations of Software Technology and Theoretical Computer Science - 14th Conference, 1994, Proceedings. Thiagarajan, P. S. (ed.). Springer Verlag, p. 438-449 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 880 LNCS).

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

Set Cover
Proof by induction
Semantic Analysis
Semantics
Decision Procedures