Mahadevan Subramaniam, PhD &ndash; Research Output

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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., Jan 1 2016, In : International Journal of Security and Networks. 11, 1-2, p. 37-47 11 p.

Research output: Contribution to journal › Article

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

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 journal › Article

Utility programs

Testing

2014

1 Citation (Scopus)

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

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 proceeding › Conference contribution

Prostheses and Implants

Visual Prosthesis

Research

14 Citations (Scopus)

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

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Context free grammars

Testing

Syntactics

2011

34 Citations (Scopus)

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

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 journal › Article

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 proceeding › Conference 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 proceeding › Conference 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 conference › Paper

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Finite automata

Testing

Concretes

Costs

Experiments

2008

5 Citations (Scopus)

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

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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, 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

Finite automata

Large scale systems

Network protocols

Costs

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

Finite automata

Large scale systems

Network protocols

Costs

3 Citations (Scopus)

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

Semantics

Finite automata

Switches

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 conference › Paper

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 proceeding › Conference contribution

Network protocols

Model checking

Static analysis

2004

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

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 journal › Article

Loaders

Virtual machine

2003

3 Citations (Scopus)

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

Decision Procedures

Lemma

Canonical form

Networks (circuits)

Reasoning

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 proceeding › Conference 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 proceeding › Conference 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 journal › Article

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 journal › Article

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Recursive functions

Recursive Functions

Proof by induction

Set Cover

Specifications