Mahadevan Subramaniam

According to our database, Mahadevan Subramaniam authored at least 69 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Image-based Deep Learning for Smart Digital Twins: a Review.

Md Ruman Islam, Mahadevan Subramaniam, Pei-Chi Huang

CoRR, 2024

2023

A Framework for an Intelligent Adaptive Education Platform for Quantum Cybersecurity.

Ruchitha Mallipeddi, Chris Schaaf, Mahadevan Subramaniam, Abhishek Parakh, Sherri Weitl Harms

Proceedings of the IEEE Frontiers in Education Conference, 2023

Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space.

Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh

Proceedings of the IEEE Frontiers in Education Conference, 2023

Machine Learning-Assisted Optical Detection of Multilayer Hexagonal Boron Nitride for Enhanced Characterization and Analysis.

Md Hasanur Rahman, Vidya Bommanapally, Dilanga Abeyrathna, Md Ashaduzzman, Manoj Tripathi, Mahzuzah Zahan, Mahadevan Subramaniam, Venkataramana Gadhamshetty

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

Self-Supervised Scribble-based Segmentation of Single Cells in Biofilms.

Vidya Bommanapally, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty, Juneau Jones

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022

Quantum internet.

Joseph Burr, Abhishek Parakh, Mahadevan Subramaniam

Ubiquity, 2022

Semantic Image Segmentation Using Scant Pixel Annotations.

Adithi D. Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Venkataramana Gadhamshetty

Mach. Learn. Knowl. Extr., 2022

A Framework for Incorporating Serious Games into Learning Object Repositories through Experiential Learning.

Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

BioMDSE: A Multimodal Deep Learning-Based Search Engine Framework for Biofilm Documents Classifications.

Pei-Chi Huang, Ejan Shakya, Myoungkyu Song, Mahadevan Subramaniam

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

Leveraging Weak annotations for Deep learning tasks on Biofilm Images.

Vidya Bommanapally, Md Ashaduzzman, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

Using Deep Learning Super-Resolution for Improved Segmentation of SEM Biofilm Images.

Md Ashaduzzman, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Jawahar Kalimuthu, Suvarna Talluri, Ramana Gadhamshetty

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

2021

Self-supervised Learning Approach to Detect Corrosion Products in Biofilm images.

Vidya Bommanapally, Md Ashaduzzman, Milind Malshe, Parvathi Chundi, Mahadevan Subramaniam

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

2020

A Novel Approach for Embedding and Traversing Problems in Serious Games.

Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi, Elliott Ostler

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

Agro-AI Education: Artificial Intelligence for Future Farmers.

Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms.

Adithi D. Chakravarthy, Parvathi Chundi, Mahadevan Subramaniam, Shankarachary Ragi, Venkata R. Gadhamshetty

Proceedings of the 20th IEEE International Conference on Bioinformatics and Bioengineering, 2020

Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images.

Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Murat Hasanreisoglu, Muhammad Sohail Halim, Pinar Cakar Ozdal, Quan Dong Nguyen

Proceedings of the 20th IEEE International Conference on Bioinformatics and Bioengineering, 2020

Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography.

Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh, Parvathi Chundi, Venkata Meghana Puppala

Proceedings of the Second International Workshop on Intelligent Textbooks 2020 co-located with 21st International Conference on Artificial Intelligence in Education (AIED 2020), 2020

2019

An Approach Towards Designing Problem Networks in Serious Games.

Abhishek Parakh, Parvathi Chundi, Mahadevan Subramaniam

Proceedings of the IEEE Conference on Games, 2019

An Approach Towards Automatic Detection of Toxoplasmosis using Fundus Images.

Adithi Deborah Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Sohail Halim, Murat Hasanreisoglu, Yasir J. Sepah, Quan Dong Nguyen

Proceedings of the 19th IEEE International Conference on Bioinformatics and Bioengineering, 2019

2018

Analyzing and Predicting Player Performance in a Quantum Cryptography Serious Game.

Dilanga Abeyrathna, Srikanth Vadla, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Abhishek Parakh

Proceedings of the Games and Learning Alliance - 7th International Conference, 2018

2017

QuaSim: A virtual quantum cryptography educator.

Abhishek Parakh, Mahadevan Subramaniam, Elliott Ostler

Proceedings of the IEEE International Conference on Electro Information Technology, 2017

Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration.

Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Hassan, Quan Dong Nguyen

Proceedings of the 17th IEEE International Conference on Bioinformatics and Bioengineering, 2017

2016

Improving efficiency of quantum key distribution with probabilistic measurements.

Abhishek Parakh, Pramode K. Verma, Mahadevan Subramaniam

Int. J. Secur. Networks, 2016

Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching.

Parvathi Chundi, Mahadevan Subramaniam, Keivan Sabet, Eyal Margalit

Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

2015

An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients.

Mahadevan Subramaniam, Parvathi Chundi

Int. J. Softw. Eng. Knowl. Eng., 2015

Constructing Temporal Equivalence Partitionings for Keyword Sets.

Parvathi Chundi, Mahadevan Subramaniam

Int. J. Knowl. Based Organ., 2015

DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients.

Abhinav Parakh, Parvathi Chundi, Mahadevan Subramaniam

Proceedings of the Smart Health - International Conference, 2015

Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations.

Susannah Go, Parvathi Chundi, Mahadevan Subramaniam, Eyal Margalit

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2014

Model-based test generation using extended symbolic grammars.

Hai-Feng Guo, Mahadevan Subramaniam

Int. J. Softw. Tools Technol. Transf., 2014

2013

Testing distortion estimations in Retinal Prostheses.

Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Estimating Distortion Parameters in Simulated Prosthetic Vision.

Parvathi Chundi, Mahadevan Subramaniam, Abhilash Muthuraj, Eyal Margalit

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

2012

Model-Based Test Generation Using Evolutional Symbolic Grammar.

Hai-Feng Guo, Mahadevan Subramaniam

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Analysis of Test Clusters for Regression Testing.

Bo Guo, Mahadevan Subramaniam, Parvathi Chundi

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Simulating prosthetic vision with disortions for retinal prosthesis design.

Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit, Sylvie Sim

Proceedings of the 2012 International Workshop on Smart Health and Wellbeing, 2012

2011

An Approach to Regression Test Selection of Adaptive EFSM Tests.

Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents.

Parvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon

Proceedings of the Database and Expert Systems Applications, 2011

2009

An approach for temporal analysis of email data based on segmentation.

Parvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy

Data Knowl. Eng., 2009

Consistency Checking for LSC Specifications.

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Proceedings of the TASE 2009, 2009

Using Change Impact Analysis to Select Tests for Extended Finite State Machines.

Mahadevan Subramaniam, Bo Guo, Zoltán Pap

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications.

Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap

Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009

An Approach for Test Selection for EFSMs Using a Theorem Prover.

Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap

Proceedings of the Testing of Software and Communication Systems, 2009

L2C2: logic-based LSC consistency checking.

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

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

Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam

J. Softw. Maintenance Res. Pract., 2008

Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.

Bo Guo, Mahadevan Subramaniam

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Summarizing developer work history using time series segmentation: challenge report.

Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam

Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008

2007

A methodology for early validation of cache coherence protocols based on relational databases.

Mahadevan Subramaniam, Patrick Conway

Concurr. Comput. Pract. Exp., 2007

A Bounded Incremental Test Generation Algorithm for Finite State Machines.

Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh

Proceedings of the Testing of Software and Communicating Systems, 2007

Aggregating changes to efficiently check consistency.

Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy

Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation.

Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Consistently Incorporating Changes to Evolve Transition-based Systems.

Mahadevan Subramaniam, Harvey P. Siy

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006

Analyzing the Impact of Protocol Changes on Tests.

Mahadevan Subramaniam, Zoltán Pap

Proceedings of the Testing of Communicating Systems, 2006

2005

Using Dominators to Extract Observable Protocol Contexts.

Mahadevan Subramaniam, Jiangfan Shi

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Preserving Consistency of Runtime Monitors across Protocol Changes.

Mahadevan Subramaniam

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

The transient combinator, higher-order strategies, and the distributed data problem.

Victor L. Winter, Mahadevan Subramaniam

Sci. Comput. Program., 2004

An Approach to Preserve Protocol Consistency and Executability Across Updates.

Mahadevan Subramaniam, Parvathi Chundi

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL.

Mahadevan Subramaniam

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Advances in Computing Science, 2003

2000

Using an induction prover for verifying arithmetic circuits.

Deepak Kapur, Mahadevan Subramaniam

Int. J. Softw. Tools Technol. Transf., 2000

Extending Decision Procedures with Induction Schemes.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Automated Deduction, 2000

1998

Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory.

Deepak Kapur, Mahadevan Subramaniam

Formal Methods Syst. Des., 1998

Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Advances in Computing Science, 1998

1997

Mechanizing Verification of Arithmetic Circuits: SRT Division.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

1996

New Uses of Linear Arithmetic in Automated Theorem Proving by Induction.

Deepak Kapur, Mahadevan Subramaniam

J. Autom. Reason., 1996

Automating Proofs of Integrity Constraints in Situation Calculus.

Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Mechanically Verifying a Family of Multiplier Circuits.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Lemma Discovery in Automated Induction.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Automating Induction over Mutually Recursive Functions.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Automated Reasoning About Parallel Algorithms Using Powerlists.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Using Linear Arithmetic Procedure for Generating Induction Schemes.

Deepak Kapur, Mahadevan Subramaniam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994