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

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 proceeding › Conference 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 proceeding › Conference 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 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., 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 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., 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, 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 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., Jan 1 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. 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 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. 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 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. 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 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. P., 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. 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 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., 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 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., 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 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

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

Integrity Constraints

Calculus

Quantifiers

Specifications

Proof by induction