Modeling Mutation on a Vector Processor. - Aditya P. Mathur; Edward W. Krauser (ICSE, 1988)

PMothra: Scheduling Mutants for Execution on a Hypercube. - Byoungju Choi; Aditya P. Mathur; Brian Pattison (Symposium on Testing, Analysis, and Verification, 1989)

Concurrency Enhancement through Program Unification: A Performance Analysis. - Vernon Rego; Aditya P. Mathur (J. Parallel Distributed Comput., 1990)

Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis. - Vernon Rego; Aditya P. Mathur (IEEE Trans. Parallel Distributed Syst., 1990)

Compiler-integrated program mutation. - Richard A. DeMillo; Edward W. Krauser; Aditya P. Mathur (COMPSAC, 1991)

Performance, effectiveness, and reliability issues in software testing. - Aditya P. Mathur (COMPSAC, 1991)

High Performance Software Testing on SIMD Machines. - Edward W. Krauser; Aditya P. Mathur; Vernon Rego (IEEE Trans. Software Eng., 1991)

An application of program unification to priority queue vectorization. - Ling-Yu Chuang; Vernon Rego; Aditya P. Mathur (Int. J. Parallel Program., 1992)

Assessing Testing Tools in Research and Education. - Joseph Robert Horgan; Aditya P. Mathur (IEEE Softw., 1992)

TERSE: A tool for evaluating software reliability models. - Mei-Hwa Chen; Michael K. Jones; Aditya P. Mathur; Vernon Rego (ISSRE, 1993)

Evaluation of The Cost of Alternate Mutation Strategies. - Aditya P. Mathur; Weichen E. Wong (SBES, 1993)

High-performance mutation testing. - Byoungju Choi; Aditya P. Mathur (J. Syst. Softw., 1993)

A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria. - Aditya P. Mathur; W. Eric Wong (ACM Conference on Computer Science, 1994)

A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience. - David B. Boardman; Aditya P. Mathur (CSEE, 1994)

Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness. - W. Eric Wong; Aditya P. Mathur; José Carlos Maldonado (Software Quality and Productivity, 1994)

A case study to investigate sensitivity of reliability estimates to errors in operational profile. - Mei-Hwa Chen; Aditya P. Mathur; Vernon Rego (ISSRE, 1994)

Effect of test set size and block coverage on the fault detection effectiveness. - W. Eric Wong; Joseph R. Horgan; Saul London; Aditya P. Mathur (ISSRE, 1994)

Constrained Mutation in C programs. - W. Eric Wong; José Carlos Maldonado; Márcio E. Delamaro; Aditya P. Mathur (SBES, 1994)

Experiments with Program unification on the Cray Y-MP. - Ling-Yu Chuang; Vernon Rego; Aditya P. Mathur (Concurr. Pract. Exp., 1994)

An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria. - Aditya P. Mathur; W. Eric Wong (Softw. Test. Verification Reliab., 1994)

LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. - David B. Boardman; Geoffrey Greene; Vivek Khandelwal; Aditya P. Mathur (COMPSAC, 1995)

On the correlation between code coverage and software reliability. - Fabio Del Frate; Praerit Garg; Aditya P. Mathur; Alberto Pasquini (ISSRE, 1995)

Reducing the cost of mutation testing: An empirical study. - W. Eric Wong; Aditya P. Mathur (J. Syst. Softw., 1995)

Fault detection effectiveness of mutation and data flow testing. - W. Eric Wong; Aditya P. Mathur (Softw. Qual. J., 1995)

Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. - Richard A. DeMillo; Aditya P. Mathur; W. Eric Wong (IEEE Trans. Software Eng., 1995)

On predicting reliability of modules using code coverage. - Saileshwar Krishnamurthy; Aditya P. Mathur (CASCON, 1996)

Integration testing using interface mutation. - Márcio Eduardo Delamaro; José Carlos Maldonado; Aditya P. Mathur (ISSRE, 1996)

On the estimation of reliability of a software system using reliabilities of its components. - Saileshwar Krishnamurthy; Aditya P. Mathur (ISSRE, 1997)

Automated Test Data Generation Using an Iterative Relaxation Method. - Neelam Gupta; Aditya P. Mathur; Mary Lou Soffa (SIGSOFT FSE, 1998)

Effect of Test Set Minimization on Fault Detection Effectiveness. - W. Eric Wong; Joseph Robert Horgan; Saul London; Aditya P. Mathur (Softw. Pract. Exp., 1998)

Security Relevancy Analysis on the Registry of Windows NT 4.0. - Wenliang Du; Praerit Garg; Aditya P. Mathur (ACSAC, 1999)

UNA Based Iterative Test Data Generation and Its Evaluation. - Neelam Gupta; Aditya P. Mathur; Mary Lou Soffa (ASE, 1999)

Test set size minimization and fault detection effectiveness: A case study in a space application. - W. Eric Wong; Joseph Robert Horgan; Aditya P. Mathur; Alberto Pasquini (J. Syst. Softw., 1999)

Testing for Software Vulnerability Using Environment Perturbation. - Wenliang Du; Aditya P. Mathur (DSN, 2000)

Generating Test Data for Branch Coverage. - Neelam Gupta; Aditya P. Mathur; Mary Lou Soffa (ASE, 2000)

Interface Mutation to Assess the Adequacy of Tests for Components and Systems. - Sudipto Ghosh 001; Aditya P. Mathur (TOOLS (34), 2000)

Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects. - Baskar Sridharan; Sambrama Mundkur; Aditya P. Mathur (TOOLS (33), 2000)

A XML based Policy-Driven Management Information Service. - Ramkumar Natarajan; Aditya P. Mathur; Paul McKee (Integrated Network Management, 2001)

Feedback Control of the Software Test Process Through Measurements of Software Reliability. - João W. Cangussu; Aditya P. Mathur; Raymond A. DeCarlo (ISSRE, 2001)

Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. - Katerina Goseva-Popstojanova; Aditya P. Mathur; Kishor S. Trivedi (ISSRE, 2001)

A state model for the Software Test Process with automated parameter identification. - João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (SMC, 2001)

Sensitivity analysis of a state variable model of the Software Test Process. - João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (SMC, 2001)

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. - Márcio Eduardo Delamaro; José Carlos Maldonado; Alberto Pasquini; Aditya P. Mathur (Empir. Softw. Eng., 2001)

Interface mutation. - Sudipto Ghosh 001; Aditya P. Mathur (Softw. Test. Verification Reliab., 2001)

Interface Mutation: An Approach for Integration Testing. - Márcio Eduardo Delamaro; José Carlos Maldonado; Aditya P. Mathur (IEEE Trans. Software Eng., 2001)

Effect of Disturbances on the Convergence of Failure Intensity. - João W. Cangussu; Aditya P. Mathur; Raymond A. DeCarlo (ISSRE, 2002)

Digital device manuals for the management of ConnectedSpaces. - Baskar Sridharan; Aditya P. Mathur; Steven G. Ungar (IEEE Commun. Mag., 2002)

A Formal Model of the Software Test Process. - João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (IEEE Trans. Software Eng., 2002)

Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. - Baskar Sridharan; Aditya P. Mathur; Kai-Yuan Cai (PerCom, 2003)

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. - Baskar Sridharan; Aditya P. Mathur; Kai-Yuan Cai (QSIC, 2003)

Monitoring the software test process using statistical process control: a logarithmic approach. - João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (ESEC / SIGSOFT FSE, 2003)

An Overview of Software Cybernetics. - Kai-Yuan Cai; João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (STEP, 2003)

Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process. - João W. Cangussu; Raymond A. DeCarlo; Aditya P. Mathur (IEEE Trans. Software Eng., 2003)

Computer Supported Cooperative Work in Software Engineering. - J. Jenny Li 001; Tangqiu Li; Zongkai Lin; Aditya P. Mathur; Karama Kanoun (COMPSAC, 2004)

Modeling and Control of the Incremental Software Test Process. - Scott D. Miller; Raymond A. DeCarlo; Aditya P. Mathur (COMPSAC Workshops, 2004)

Software Release Control using Defect Based Quality Estimation. - João W. Cangussu; Richard M. Karcich; Aditya P. Mathur; Raymond A. DeCarlo (ISSRE, 2004)

Model-Based Software Testing and Verification. - Aditya P. Mathur (COMPSAC (1), 2005)

A Software Cybernetic Approach to Control of the Software System Test Phase. - Scott D. Miller; Raymond A. DeCarlo; Aditya P. Mathur (COMPSAC (2), 2005)

DIG: A Tool for Software Process Data Extraction and Grooming. - Scott D. Miller; Aditya P. Mathur; Raymond A. DeCarlo (COMPSAC (1), 2005)

Interceptor Based Constraint Violation Detection. - Qianxiang Wang; Aditya P. Mathur (ECBS, 2005)

Introduction to the special section on software cybernetics. - Fevzi Belli; Kai-Yuan Cai; Raymond A. DeCarlo; Aditya P. Mathur (J. Syst. Softw., 2006)

A control-theoretic approach to the management of the software system test phase. - Scott D. Miller; Raymond A. DeCarlo; Aditya P. Mathur; João W. Cangussu (J. Syst. Softw., 2006)

Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective. - James Early; Rajesh Subramanyan; Aditya P. Mathur (FECS, 2007)

On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. - K. R. Jayaram; Aditya P. Mathur (COMPSAC, 2008)

Quantitative Modeling for Incremental Software Process Control. - Scott D. Miller; Raymond A. DeCarlo; Aditya P. Mathur (COMPSAC, 2008)

Message from the IWSC 2008 Workshop Organizers. - Stephen S. Yau; João W. Cangussu; Aditya P. Mathur; Fevzi Belli; Kai-Yuan Cai (COMPSAC, 2008)

IWSC 2008 Workshop Organization. - Stephen S. Yau; João W. Cangussu; Aditya P. Mathur; Fevzi Belli; Kai-Yuan Cai (COMPSAC, 2008)

Message from the guest editors. - Aditya P. Mathur; Johnny Wong 001 (J. Syst. Softw., 2008)

Software Cybernetics. - João W. Cangussu; Kai-Yuan Cai; Scott D. Miller; Aditya P. Mathur (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Guest Editors' Introduction. - João W. Cangussu; Aditya P. Mathur (Int. J. Softw. Eng. Knowl. Eng., 2009)

Editorial. - W. Eric Wong; Aditya P. Mathur (J. Syst. Softw., 2009)

Scalable and Effective Test Generation for Role-Based Access Control Systems. - Ammar Masood; Rafae Bhatti; Arif Ghafoor; Aditya P. Mathur (IEEE Trans. Software Eng., 2009)

Current State of the Software Testing Education in North American Academia and Some Recommendations for the New Educators. - Vahid Garousi; Aditya Mathur (CSEE&T, 2010)

Discriminative models of integrating document evidence and document-candidate associations for expert search. - Yi Fang 003; Luo Si; Aditya P. Mathur (SIGIR, 2010)

Discriminative graphical models for faculty homepage discovery. - Yi Fang 003; Luo Si; Aditya P. Mathur (Inf. Retr., 2010)

Fault coverage of Constrained Random Test Selection for access control: A formal analysis. - Ammar Masood; Arif Ghafoor; Aditya P. Mathur (J. Syst. Softw., 2010)

Conformance Testing of Temporal Role-Based Access Control Systems. - Ammar Masood; Arif Ghafoor; Aditya P. Mathur (IEEE Trans. Dependable Secur. Comput., 2010)

Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems. - Huanyin Yi; Chang-Hai Jiang; Hai Hu; Kai-Yuan Cai; Aditya P. Mathur (COMPSAC Workshops, 2011)

Teaching software testing: Experiences, lessons learned and the path forward. - W. Eric Wong; Antonia Bertolino; Vidroha Debroy; Aditya P. Mathur; Jeff Offutt; Mladen A. Vouk (CSEE&T, 2011)

Analysis of an expert search query log. - Yi Fang 003; Naveen Somasundaram; Luo Si; Jeongwoo Ko; Aditya P. Mathur (SIGIR, 2011)

Discriminative probabilistic models for expert search in heterogeneous information sources. - Yi Fang 003; Luo Si; Aditya P. Mathur (Inf. Retr., 2011)

ICST 2008 Special Issue. - Robert M. Hierons; Aditya Mathur (Softw. Test. Verification Reliab., 2011)

A Security Assurance Framework Combining Formal Verification and Security Functional Testing. - Weiguang Wang; Qingkai Zeng 002; Aditya P. Mathur (QSIC, 2012)

Modeling, Analysis, and Testing of System Vulnerabilities. - Fevzi Belli; Mutlu Beyazit; Aditya P. Mathur; Nimal Nissanke (Adv. Comput., 2012)

Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems. - Giedre Sabaliauskaite; Aditya P. Mathur (CyberC, 2013)

Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums. - Karthikeyan Rajasekharan; Aditya P. Mathur; See-Kiong Ng (SEKE, 2013)

Enhancing software reliability estimates using modified adaptive testing. - Hai Hu; Chang-Hai Jiang; Kai-Yuan Cai; W. Eric Wong; Aditya P. Mathur (Inf. Softw. Technol., 2013)

Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems. - Giedre Sabaliauskaite; Aditya P. Mathur (COMPSAC Workshops, 2014)

Countermeasures to Enhance Cyber-physical System Security and Safety. - Giedre Sabaliauskaite; Aditya P. Mathur (COMPSAC Workshops, 2014)

Aligning Cyber-Physical System Safety and Security. - Giedre Sabaliauskaite; Aditya P. Mathur (CSDM Asia, 2014)

An Agent-Based Framework for Simulating and Analysing Attacks on Cyber Physical Systems. - Sridhar Adepu; Aditya Mathur; Jagadeesh Gunda; Sasa Z. Djokic (ICA3PP (3), 2015)

Experimental Evaluation of Stealthy Attack Detection in a Robot. - Giedre Sabaliauskaite; Geok See Ng; Justin Ruths; Aditya P. Mathur (PRDC, 2015)

Fault domain-based testing in imperfect situations: a heuristic approach and case studies. - Fevzi Belli; Mutlu Beyazit; André Takeshi Endo; Aditya P. Mathur; Adenilso da Silva Simão (Softw. Qual. J., 2015)

Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment Plant. - Sridhar Adepu; Aditya Mathur (AsiaCCS, 2016)

Generalized Attacker and Attack Models for Cyber Physical Systems. - Sridhar Adepu; Aditya Mathur (COMPSAC, 2016)

Designing [Secure] Complex Critical Public Infrastructure. - Aditya P. Mathur (COMPSAC, 2016)

Challenges in Testing the Design of Secure Complex Critical Public Infrastructure. - Aditya P. Mathur (COMPSAC Workshops, 2016)

Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot. - Giedre Sabaliauskaite; Geok See Ng; Justin Ruths; Aditya P. Mathur (COMPSAC Workshops, 2016)

SWaT: a water treatment testbed for research and training on ICS security. - Aditya P. Mathur; Nils Ole Tippenhauer (CySWATER@CPSWeek, 2016)

A Dataset to Support Research in the Design of Secure Water Treatment Systems. - Jonathan Goh; Sridhar Adepu; Khurum Nazir Junejo; Aditya Mathur (CRITIS, 2016)

A Six-Step Model for Safety and Security Analysis of Cyber-Physical Systems. - Giedre Sabaliauskaite; Sridhar Adepu; Aditya Mathur (CRITIS, 2016)

Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study. - Sridhar Adepu; Aditya P. Mathur (CSDM Asia, 2016)

An Investigation into the Response of a Water Treatment System to Cyber Attacks. - Sridhar Adepu; Aditya Mathur (HASE, 2016)

Empirical Assessment of Methods to Detect Cyber Attacks on a Robot. - Giedre Sabaliauskaite; Geok See Ng; Justin Ruths; Aditya P. Mathur (HASE, 2016)

Model-based security analysis of a water treatment system. - Eunsuk Kang; Sridhar Adepu; Daniel Jackson 001; Aditya P. Mathur (SEsCPS@ICSE, 2016)

Using Process Invariants to Detect Cyber Attacks on a Water Treatment System. - Sridhar Adepu; Aditya Mathur (SEC, 2016)

Detecting Multi-Point Attacks in a Water Treatment System Using Intermittent Control Actions. - Sridhar Adepu; Aditya P. Mathur (SG-CRC, 2016)

Argus: An Orthogonal Defense Framework to Protect Public Infrastructure against Cyber-Physical Attacks. - Sridhar Adepu; Siddhant Shrivastava; Aditya Mathur (IEEE Internet Comput., 2016)

Integrating Design and Data Centric Approaches to Generate Invariants for Distributed Attack Detection. - Muhammad Azmi Umer; Aditya Mathur; Khurum Nazir Junejo; Sridhar Adepu (CPS-SPC@CCS, 2017)

WADI: a water distribution testbed for research in the design of secure cyber physical systems. - Chuadhry Mujeeb Ahmed; Venkata Reddy Palleti; Aditya P. Mathur (CySWATER@CPSWeek, 2017)

SecWater: a multi-layer security framework for water treatment plants. - Aditya Mathur (CySWATER@CPSWeek, 2017)

Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems. - Giedre Sabaliauskaite; Geok See Ng; Justin Ruths; Aditya Mathur (PRDC, 2017)

From Design to Invariants: Detecting Attacks on Cyber Physical Systems. - Sridhar Adepu; Aditya Mathur (QRS Companion, 2017)

Access Control in Water Distribution Networks: A Case Study. - Sridhar Adepu; Gyanendra Mishra; Aditya Mathur (QRS, 2017)

WaterJam: An Experimental Case Study of Jamming Attacks on a Water Treatment System. - Sridhar Adepu; Jay Prakash; Aditya Mathur (QRS Companion, 2017)

Hardware Identification via Sensor Fingerprinting in a Cyber Physical System. - Chuadhry Mujeeb Ahmed; Aditya P. Mathur (QRS Companion, 2017)

Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems. - Gayathri Sugumar; Aditya Mathur (QRS Companion, 2017)

NoiSense: Detecting Data Integrity Attacks on Sensor Measurements using Hardware based Fingerprints. - Chuadhry Mujeeb Ahmed; Aditya Mathur; Martín Ochoa (CoRR, 2017)

A comprehensive approach, and a case study, for conducting attack detection experiments in Cyber-Physical Systems. - Giedre Sabaliauskaite; Geok See Ng; Justin Ruths; Aditya Mathur (Robotics Auton. Syst., 2017)

Noise Matters: Using Sensor and Process Noise Fingerprint to Detect Stealthy Cyber Attacks and Authenticate sensors in CPS. - Chuadhry Mujeeb Ahmed; Jianying Zhou 001; Aditya P. Mathur (ACSAC, 2018)

NoisePrint: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems. - Chuadhry Mujeeb Ahmed; Martín Ochoa; Jianying Zhou 001; Aditya P. Mathur; Rizwan Qadeer; Carlos Murguia; Justin Ruths (AsiaCCS, 2018)

TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems. - Qin Lin 001; Sridhar Adepu; Sicco Verwer; Aditya Mathur (AsiaCCS, 2018)

On The Limits of Detecting Process Anomalies in Critical Infrastructure. - Aditya Mathur (CPSS@AsiaCCS, 2018)

EPIC: An Electric Power Testbed for Research and Training in Cyber Physical Systems Security. - Sridhar Adepu; Nandha Kumar Kandasamy; Aditya Mathur (CyberICPS/SECPRE@ESORICS, 2018)

An Approach for Formal Analysis of the Security of a Water Treatment Testbed. - Sai Sidharth Patlolla; Bruce M. McMillin; Sridhar Adepu; Aditya Mathur (PRDC, 2018)

Design and assessment of an Orthogonal Defense Mechanism for a water treatment facility. - Siddhant Shrivastava; Sridhar Adepu; Aditya Mathur (Robotics Auton. Syst., 2018)

Anomaly Detection in Critical Infrastructure Using Probabilistic Neural Network. - M. R. Gauthama Raman; Nivethitha Somu; Aditya P. Mathur (ATIS, 2019)

Using Datasets from Industrial Control Systems for Cyber Security Research and Education. - Qin Lin 001; Sicco Verwer; Robert E. Kooij; Aditya Mathur (CRITIS, 2019)

Assessment of a Method for Detecting Process Anomalies Using Digital-Twinning. - Gayathri Sugumar; Aditya Mathur (EDCC, 2019)

Challenges in Secure Engineering of Critical Infrastructure Systems. - Sridhar Adepu; Eunsuk Kang; Aditya P. Mathur (ASE Workshops, 2019)

A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems. - Cheng Feng 004; Venkata Reddy Palleti; Aditya Mathur; Deeph Chana (NDSS, 2019)

A modeling framework for critical infrastructure and its application in detecting cyber-attacks on a water distribution system. - Vishrut Kumar Mishra; Venkata Reddy Palleti; Aditya Mathur (Int. J. Crit. Infrastructure Prot., 2019)

A method for testing distributed anomaly detectors. - Gayathri Sugumar; Aditya Mathur (Int. J. Crit. Infrastructure Prot., 2019)

ICS-BlockOpS: Blockchain for operational data security in industrial control system. - Aung Maw; Sridhar Adepu; Aditya Mathur (Pervasive Mob. Comput., 2019)

Dynamic Random Testing: Technique and Experimental Evaluation. - Hanyu Pei; Kai-Yuan Cai; Beibei Yin; Aditya P. Mathur; Min Xie 001 (IEEE Trans. Reliab., 2019)

Investigation of Cyber Attacks on a Water Distribution System. - Sridhar Adepu; Venkata Reddy Palleti; Gyanendra Mishra; Aditya Mathur (ACNS Workshops, 2020)

Challenges in Machine Learning based approaches for Real-Time Anomaly Detection in Industrial Control Systems. - Chuadhry Mujeeb Ahmed; M. R. Gauthama Raman; Aditya P. Mathur (CPSS@AsiaCCS, 2020)

Domain-Based Fuzzing for Supervised Learning of Anomaly Detection in Cyber-Physical Systems. - Herman Wijaya; Maurício Finavaro Aniche; Aditya Mathur (ICSE (Workshops), 2020)

Deep autoencoders as anomaly detectors: Method and case study in a distributed water treatment plant. - M. R. Gauthama Raman; Wenjie Dong; Aditya Mathur (Comput. Secur., 2020)

A multilayer perceptron model for anomaly detection in water treatment plants. - M. R. Gauthama Raman; Nivethitha Somu; Aditya P. Mathur (Int. J. Crit. Infrastructure Prot., 2020)

Generating invariants using design and data-centric approaches for distributed attack detection. - Muhammad Azmi Umer; Aditya Mathur; Khurum Nazir Junejo; Sridhar Adepu (Int. J. Crit. Infrastructure Prot., 2020)

Attacks on smart grid: power supply interruption and malicious power generation. - Sridhar Adepu; Nandha Kumar Kandasamy; Jianying Zhou 001; Aditya Mathur (Int. J. Inf. Sec., 2020)

A Mechanism to Assess the Effectiveness Anomaly Detectors in Industrial Control Systems. - Salimah Liyakkathali; Francisco Furtado; Gayathri Sugumar; Aditya Mathur (J. Integr. Des. Process. Sci., 2020)

NoiSense Print: Detecting Data Integrity Attacks on Sensor Measurements Using Hardware-based Fingerprints. - Chuadhry Mujeeb Ahmed; Aditya P. Mathur; Martín Ochoa (ACM Trans. Priv. Secur., 2020)

Attacklets to Test Anomaly Detectors for Critical Infrastructure. - Salimah Liyakkathali; Gayathri Sugumar; Aditya Mathur (ACNS Workshops, 2021)

Scanning the Cycle: Timing-based Authentication on PLCs. - Chuadhry Mujeeb Ahmed; Martín Ochoa; Jianying Zhou 001; Aditya Mathur (AsiaCCS, 2021)

PCAT: PLC Command Analysis Tool for automatic incidence response in Water Treatment Plants. - Siddhant Shrivastava; M. R. Gauthama Raman; Aditya Mathur (IEEE BigData, 2021)

Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning. - Muhammad Azmi Umer; Chuadhry Mujeeb Ahmed; Muhammad Taha Jilani; Aditya P. Mathur (CPSIOTSEC@CCS, 2021)

Super Detector: An Ensemble Approach for Anomaly Detection in Industrial Control Systems. - Madhumitha Balaji; Siddhant Shrivastava; Sridhar Adepu; Aditya Mathur (CRITIS, 2021)

Cascading effects of cyber-attacks on interconnected critical infrastructure. - Venkata Reddy Palleti; Sridhar Adepu; Vishrut Kumar Mishra; Aditya Mathur (Cybersecur., 2021)

Machine learning for intrusion detection in industrial control systems: challenges and lessons from experimental evaluation. - M. R. Gauthama Raman; Chuadhry Mujeeb Ahmed; Aditya Mathur (Cybersecur., 2021)

SafeCI: Avoiding process anomalies in critical infrastructure. - Sridhar Adepu; Aditya Mathur (Int. J. Crit. Infrastructure Prot., 2021)

Can Replay Attacks Designed to Steal Water from Water Distribution Systems Remain Undetected? - Venkata Reddy Palleti; Vishrut Kumar Mishra; Chuadhry Mujeeb Ahmed; Aditya Mathur (ACM Trans. Cyber Phys. Syst., 2021)

Distributed Attack Detection in a Water Treatment Plant: Method and Case Study. - Sridhar Adepu; Aditya Mathur (IEEE Trans. Dependable Secur. Comput., 2021)

Assessing the Effectiveness of Attack Detection at a Hackfest on Industrial Control Systems. - Sridhar Adepu; Aditya Mathur (IEEE Trans. Sustain. Comput., 2021)

The Design of Cyber-Physical Exercises (CPXS). - Siddhant Shrivastava; Francisco Furtado; Mark Goh; Aditya Mathur (CyCom, 2022)

Effect of time patterns in mining process invariants for industrial control systems: an experimental study. - Muhammad Azmi Umer; Aditya Mathur; Muhammad Taha Jilani (SEA4DQ@ESEC/SIGSOFT FSE, 2022)

Design-knowledge in learning plant dynamics for detecting process anomalies in water treatment plants. - Dillon Cheong Lien Sung; M. R. Gauthama Raman; Aditya P. Mathur (Comput. Secur., 2022)

Machine learning for intrusion detection in industrial control systems: Applications, challenges, and recommendations. - Muhammad Azmi Umer; Khurum Nazir Junejo; Muhammad Taha Jilani; Aditya P. Mathur (Int. J. Crit. Infrastructure Prot., 2022)

AICrit: A unified framework for real-time anomaly detection in water treatment plants. - M. R. Gauthama Raman; Aditya P. Mathur (J. Inf. Secur. Appl., 2022)

A Hybrid Physics-Based Data-Driven Framework for Anomaly Detection in Industrial Control Systems. - M. R. Gauthama Raman; Aditya P. Mathur (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Instance-Level Semantic Maps for Vision Language Navigation. - Laksh Nanwani; Anmol Agarwal; Kanishk Jain; Raghav Prabhakar; Aaron Monis; Aditya Mathur; Krishna Murthy Jatavallabhula; A. H. Abdul Hafez; Vineet Gandhi; K. Madhava Krishna (RO-MAN, 2023)

Reconfigurable Digital Twin to Support Research, Education, and Training in the Defense of Critical Infrastructure. - Aditya P. Mathur (IEEE Secur. Priv., 2023)

Introduction to the special issue on automation of software test and test code quality. - Antonia Bertolino; Shin Hong; Aditya P. Mathur (J. Softw. Evol. Process., 2023)

Adaptive Data-Driven LSTM Model for Sensor Drift Detection in Water Utilities. - S. Abisheg; M. R. Gauthama Raman; Aditya P. Mathur (ATIS, 2024)

DRACE: A Framework for Evaluating Anomaly Detectors for Industrial Control Systems. - Ivan Christian; Francisco Furtado; Aditya P. Mathur (CPSS@AsiaCCS, 2024)

Open-set 3D semantic instance maps for vision language navigation - O3D-SIM. - Laksh Nanwani; Kumaraditya Gupta; Aditya Mathur; Swayam Agrawal; A. H. Abdul Hafez; K. Madhava Krishna (Adv. Robotics, 2024)

PlantShield: An Automated Response Tool for Critical Infrastructures. - Sanskar Shrivastava; Tiger Lim; Aditya P. Mathur (ICNC, 2025)

Attack Pattern Mining to Discover Hidden Threats to Industrial Control Systems. - Muhammad Azmi Umer; Chuadhry Mujeeb Ahmed; Aditya Mathur; Muhammad Taha Jilani (CoRR, 2025)