Mahadevan Subramaniam

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 22

Top Topics

Semantic Segmentation

Top Venues

Publications

Md Ruman Islam, Mahadevan Subramaniam, Pei-Chi Huang
Image-based Deep Learning for Smart Digital Twins: a Review. CoRR (2024)
Ruchitha Mallipeddi, Chris Schaaf, Mahadevan Subramaniam, Abhishek Parakh, Sherri Weitl Harms
A Framework for an Intelligent Adaptive Education Platform for Quantum Cybersecurity. FIE (2023)
Md Hasanur Rahman, Vidya Bommanapally, Dilanga Abeyrathna, Md Ashaduzzman, Manoj Tripathi, Mahzuzah Zahan, Mahadevan Subramaniam, Venkataramana Gadhamshetty
Machine Learning-Assisted Optical Detection of Multilayer Hexagonal Boron Nitride for Enhanced Characterization and Analysis. BIBM (2023)
Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh
Embedding a Problem Graph into Serious Games for Efficient Traversal Through Game Space. FIE (2023)
Vidya Bommanapally, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty, Juneau Jones
Self-Supervised Scribble-based Segmentation of Single Cells in Biofilms. BIBM (2023)
Adithi D. Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Venkataramana Gadhamshetty
Semantic Image Segmentation Using Scant Pixel Annotations. Mach. Learn. Knowl. Extr. 4 (3) (2022)
Joseph Burr, Abhishek Parakh, Mahadevan Subramaniam
Quantum internet. Ubiquity 2022 (August) (2022)
Vidya Bommanapally, Md Ashaduzzman, Mahadevan Subramaniam, Suvarna Talluri, Venkataramana Gadhamshetty
Leveraging Weak annotations for Deep learning tasks on Biofilm Images. BIBM (2022)
Pei-Chi Huang, Ejan Shakya, Myoungkyu Song, Mahadevan Subramaniam
BioMDSE: A Multimodal Deep Learning-Based Search Engine Framework for Biofilm Documents Classifications. BIBM (2022)
Md Ashaduzzman, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Jawahar Kalimuthu, Suvarna Talluri, Ramana Gadhamshetty
Using Deep Learning Super-Resolution for Improved Segmentation of SEM Biofilm Images. BIBM (2022)
Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi
A Framework for Incorporating Serious Games into Learning Object Repositories through Experiential Learning. HICSS (2022)
Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Murat Hasanreisoglu, Muhammad Sohail Halim, Pinar Cakar Ozdal, Quan Dong Nguyen
Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images. BIBE (2020)
Abhishek Parakh, Mahadevan Subramaniam, Parvathi Chundi, Elliott Ostler
A Novel Approach for Embedding and Traversing Problems in Serious Games. SIGITE (2020)
Adithi D. Chakravarthy, Parvathi Chundi, Mahadevan Subramaniam, Shankarachary Ragi, Venkata R. Gadhamshetty
A Thrifty Annotation Generation Approach for Semantic Segmentation of Biofilms. BIBE (2020)
Vidya Bommanapally, Mahadevan Subramaniam, Abhishek Parakh, Parvathi Chundi, Venkata Meghana Puppala
Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography. iTextbooks@AIED (2020)
Donovan Orn, Lian Duan, Yi Liang, Harvey P. Siy, Mahadevan Subramaniam
Agro-AI Education: Artificial Intelligence for Future Farmers. SIGITE (2020)
Adithi Deborah Chakravarthy, Dilanga Abeyrathna, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Sohail Halim, Murat Hasanreisoglu, Yasir J. Sepah, Quan Dong Nguyen
An Approach Towards Automatic Detection of Toxoplasmosis using Fundus Images. BIBE (2019)
Dilanga Abeyrathna, Srikanth Vadla, Vidya Bommanapally, Mahadevan Subramaniam, Parvathi Chundi, Abhishek Parakh
Analyzing and Predicting Player Performance in a Quantum Cryptography Serious Game. GALA (2018)
Abhishek Parakh, Mahadevan Subramaniam, Elliott Ostler
QuaSim: A virtual quantum cryptography educator. EIT (2017)
Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Muhammad Hassan, Quan Dong Nguyen
Towards Automated Distortion and Health Correlation for Age-Related Macular Degeneration. BIBE (2017)
Abhishek Parakh, Pramode Verma, Mahadevan Subramaniam
Improving efficiency of quantum key distribution with probabilistic measurements. Int. J. Secur. Networks 11 (1/2) (2016)
Parvathi Chundi, Mahadevan Subramaniam, Keivan Sabet, Eyal Margalit
Analyzing Retinal Optical Coherence Tomography Images Using Differential Spatial Pyramid Matching. BIBE (2016)
Mahadevan Subramaniam, Parvathi Chundi
An Approach for Cluster-Based Retrieval of Tests Using Cover-Coefficients. Int. J. Softw. Eng. Knowl. Eng. 25 (6) (2015)
Abhinav Parakh, Parvathi Chundi, Mahadevan Subramaniam
DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients. ICSH (2015)
Parvathi Chundi, Mahadevan Subramaniam
Constructing Temporal Equivalence Partitionings for Keyword Sets. Int. J. Knowl. Based Organ. 5 (3) (2015)
Susannah Go, Parvathi Chundi, Mahadevan Subramaniam, Eyal Margalit
Analyzing OCT images of age-related macular degeneration patients to identify spatial health correlations. EMBC (2015)
Hai-Feng Guo, Mahadevan Subramaniam
Model-based test generation using extended symbolic grammars. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit
Testing distortion estimations in Retinal Prostheses. ISSRE (Supplemental Proceedings) (2013)
Parvathi Chundi, Mahadevan Subramaniam, Abhilash Muthuraj, Eyal Margalit
Estimating Distortion Parameters in Simulated Prosthetic Vision. ICHI (2013)
Mahadevan Subramaniam, Parvathi Chundi, Abhilash Muthuraj, Eyal Margalit, Sylvie Sim
Simulating prosthetic vision with disortions for retinal prosthesis design. SHB (2012)
Hai-Feng Guo, Mahadevan Subramaniam
Model-Based Test Generation Using Evolutional Symbolic Grammar. TASE (2012)
Bo Guo, Mahadevan Subramaniam, Parvathi Chundi
Analysis of Test Clusters for Regression Testing. ICST (2012)
Parvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon
Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents. DEXA (1) (2011)
Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo
An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE (2011)
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
L2C2: Logic-based LSC Consistency Checking CoRR (2010)
Mahadevan Subramaniam, Bo Guo, Zoltán Pap
Using Change Impact Analysis to Select Tests for Extended Finite State Machines. SEFM (2009)
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
L2C2: logic-based LSC consistency checking. PPDP (2009)
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
Consistency Checking for LSC Specifications. TASE (2009)
Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. SDL Forum (2009)
Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap
An Approach for Test Selection for EFSMs Using a Theorem Prover. TestCom/FATES (2009)
Parvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy
An approach for temporal analysis of email data based on segmentation. Data Knowl. Eng. 68 (11) (2009)
Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
A segmentation-based approach for temporal analysis of software version repositories. J. Softw. Maintenance Res. Pract. 20 (3) (2008)
Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam
Summarizing developer work history using time series segmentation: challenge report. MSR (2008)
Bo Guo, Mahadevan Subramaniam
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. SEFM (2008)
Mahadevan Subramaniam, Harvey P. Siy
Consistently Incorporating Changes to Evolve Transition-based Systems. CSMR (2007)
Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM (2007)
Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy
Aggregating changes to efficiently check consistency. IWPSE (2007)
Mahadevan Subramaniam, Patrick Conway
A methodology for early validation of cache coherence protocols based on relational databases. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh
A Bounded Incremental Test Generation Algorithm for Finite State Machines. TestCom/FATES (2007)
Mahadevan Subramaniam, Zoltán Pap
Analyzing the Impact of Protocol Changes on Tests. TestCom (2006)
Mahadevan Subramaniam, Jiangfan Shi
Using Dominators to Extract Observable Protocol Contexts. SEFM (2005)
Mahadevan Subramaniam
Preserving Consistency of Runtime Monitors across Protocol Changes. ICECCS (2005)
Mahadevan Subramaniam, Parvathi Chundi
An Approach to Preserve Protocol Consistency and Executability Across Updates. ICFEM (2004)
Victor L. Winter, Mahadevan Subramaniam
The transient combinator, higher-order strategies, and the distributed data problem. Sci. Comput. Program. 52 (2004)
Deepak Kapur, Mahadevan Subramaniam
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. ASIAN (2003)
Mahadevan Subramaniam
Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. IPDPS (2003)
Deepak Kapur, Mahadevan Subramaniam
Extending Decision Procedures with Induction Schemes. CADE (2000)
Deepak Kapur, Mahadevan Subramaniam
Using an induction prover for verifying arithmetic circuits. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Deepak Kapur, Mahadevan Subramaniam
Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. Formal Methods Syst. Des. 13 (2) (1998)
Deepak Kapur, Mahadevan Subramaniam
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. ASIAN (1998)
Deepak Kapur, Mahadevan Subramaniam
Mechanizing Verification of Arithmetic Circuits: SRT Division. FSTTCS (1997)
Deepak Kapur, Mahadevan Subramaniam
Mechanically Verifying a Family of Multiplier Circuits. CAV (1996)
Deepak Kapur, Mahadevan Subramaniam
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. J. Autom. Reason. 16 (1-2) (1996)
Deepak Kapur, Mahadevan Subramaniam
Automating Induction over Mutually Recursive Functions. AMAST (1996)
Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam
Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS (1996)
Deepak Kapur, Mahadevan Subramaniam
Lemma Discovery in Automated Induction. CADE (1996)
Deepak Kapur, Mahadevan Subramaniam
Automated Reasoning About Parallel Algorithms Using Powerlists. AMAST (1995)
Deepak Kapur, Mahadevan Subramaniam
Using Linear Arithmetic Procedure for Generating Induction Schemes. FSTTCS (1994)