Aditya P. Mathur

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 30

Top Venues

Publications

Ivan Christian, Francisco Furtado, Aditya P. Mathur
DRACE: A Framework for Evaluating Anomaly Detectors for Industrial Control Systems. CPSS@AsiaCCS (2024)
Aditya P. Mathur
Reconfigurable Digital Twin to Support Research, Education, and Training in the Defense of Critical Infrastructure. IEEE Secur. Priv. 21 (4) (2023)
Antonia Bertolino, Shin Hong, Aditya P. Mathur
Introduction to the special issue on automation of software test and test code quality. J. Softw. Evol. Process. 35 (4) (2023)
Dillon Cheong Lien Sung, M. R. Gauthama Raman, Aditya P. Mathur
Design-knowledge in learning plant dynamics for detecting process anomalies in water treatment plants. Comput. Secur. 113 (2022)
M. R. Gauthama Raman, Aditya P. Mathur
A Hybrid Physics-Based Data-Driven Framework for Anomaly Detection in Industrial Control Systems. IEEE Trans. Syst. Man Cybern. Syst. 52 (9) (2022)
M. R. Gauthama Raman, Aditya P. Mathur
AICrit: A unified framework for real-time anomaly detection in water treatment plants. J. Inf. Secur. Appl. 64 (2022)
Muhammad Azmi Umer, Khurum Nazir Junejo, Muhammad Taha Jilani, Aditya P. Mathur
Machine Learning for Intrusion Detection in Industrial Control Systems: Applications, Challenges, and Recommendations. CoRR (2022)
Muhammad Azmi Umer, Khurum Nazir Junejo, Muhammad Taha Jilani, Aditya P. Mathur
Machine learning for intrusion detection in industrial control systems: Applications, challenges, and recommendations. Int. J. Crit. Infrastructure Prot. 38 (2022)
Muhammad Azmi Umer, Chuadhry Mujeeb Ahmed, Muhammad Taha Jilani, Aditya P. Mathur
Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning. CoRR (2021)
Muhammad Azmi Umer, Chuadhry Mujeeb Ahmed, Muhammad Taha Jilani, Aditya P. Mathur
Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning. CPSIOTSEC@CCS (2021)
Chuadhry Mujeeb Ahmed, Aditya P. Mathur, Martín Ochoa
: Detecting Data Integrity Attacks on Sensor Measurements Using Hardware-based Fingerprints. ACM Trans. Priv. Secur. 24 (1) (2020)
M. R. Gauthama Raman, Nivethitha Somu, Aditya P. Mathur
A multilayer perceptron model for anomaly detection in water treatment plants. Int. J. Crit. Infrastructure Prot. 31 (2020)
Chuadhry Mujeeb Ahmed, M. R. Gauthama Raman, Aditya P. Mathur
Challenges in Machine Learning based approaches for Real-Time Anomaly Detection in Industrial Control Systems. CPSS@AsiaCCS (2020)
M. R. Gauthama Raman, Nivethitha Somu, Aditya P. Mathur
Anomaly Detection in Critical Infrastructure Using Probabilistic Neural Network. ATIS (2019)
Sridhar Adepu, Eunsuk Kang, Aditya P. Mathur
Challenges in Secure Engineering of Critical Infrastructure Systems. ASE Workshops (2019)
Hanyu Pei, Kai-Yuan Cai, Beibei Yin, Aditya P. Mathur, Min Xie
Dynamic Random Testing: Technique and Experimental Evaluation. IEEE Trans. Reliab. 68 (3) (2019)
Chuadhry Mujeeb Ahmed, Martín Ochoa, Jianying Zhou, Aditya P. Mathur, Rizwan Qadeer, Carlos Murguia, Justin Ruths
: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems. AsiaCCS (2018)
Chuadhry Mujeeb Ahmed, Jianying Zhou, Aditya P. Mathur
Noise Matters: Using Sensor and Process Noise Fingerprint to Detect Stealthy Cyber Attacks and Authenticate sensors in CPS. ACSAC (2018)
Chuadhry Mujeeb Ahmed, Aditya P. Mathur
Hardware Identification via Sensor Fingerprinting in a Cyber Physical System. QRS Companion (2017)
Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, Aditya P. Mathur
WADI: a water distribution testbed for research in the design of secure cyber physical systems. CySWATER@CPSWeek (2017)
Aditya P. Mathur
Designing [Secure] Complex Critical Public Infrastructure. COMPSAC (2016)
Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur
Empirical Assessment of Methods to Detect Cyber Attacks on a Robot. HASE (2016)
Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur
Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot. COMPSAC Workshops (2016)
Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur
Model-based security analysis of a water treatment system. SEsCPS@ICSE (2016)
Sridhar Adepu, Aditya P. Mathur
Detecting Multi-Point Attacks in a Water Treatment System Using Intermittent Control Actions. SG-CRC (2016)
Sridhar Adepu, Aditya P. Mathur
Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study. CSDM Asia (2016)
Aditya P. Mathur, Nils Ole Tippenhauer
SWaT: a water treatment testbed for research and training on ICS security. CySWATER@CPSWeek (2016)
Aditya P. Mathur
Challenges in Testing the Design of Secure Complex Critical Public Infrastructure. COMPSAC Workshops (2016)
Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur
Experimental Evaluation of Stealthy Attack Detection in a Robot. PRDC (2015)
Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão
Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Softw. Qual. J. 23 (3) (2015)
Giedre Sabaliauskaite, Aditya P. Mathur
Aligning Cyber-Physical System Safety and Security. CSDM Asia (2014)
Giedre Sabaliauskaite, Aditya P. Mathur
Countermeasures to Enhance Cyber-physical System Security and Safety. COMPSAC Workshops (2014)
Giedre Sabaliauskaite, Aditya P. Mathur
Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems. COMPSAC Workshops (2014)
Giedre Sabaliauskaite, Aditya P. Mathur
Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems. CyberC (2013)
Karthikeyan Rajasekharan, Aditya P. Mathur, See-Kiong Ng
Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums. SEKE (2013)
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur
Enhancing software reliability estimates using modified adaptive testing. Inf. Softw. Technol. 55 (2) (2013)
Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke
Modeling, Analysis, and Testing of System Vulnerabilities. Adv. Comput. 84 (2012)
Weiguang Wang, Qingkai Zeng, Aditya P. Mathur
A Security Assurance Framework Combining Formal Verification and Security Functional Testing. QSIC (2012)
Huanyin Yi, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Aditya P. Mathur
Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems. COMPSAC Workshops (2011)
W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya P. Mathur, Jeff Offutt, Mladen A. Vouk
Teaching software testing: Experiences, lessons learned and the path forward. CSEE&T (2011)
Yi Fang, Luo Si, Aditya P. Mathur
Discriminative probabilistic models for expert search in heterogeneous information sources. Inf. Retr. 14 (2) (2011)
Yi Fang, Naveen Somasundaram, Luo Si, Jeongwoo Ko, Aditya P. Mathur
Analysis of an expert search query log. SIGIR (2011)
Ammar Masood, Arif Ghafoor, Aditya P. Mathur
Conformance Testing of Temporal Role-Based Access Control Systems. IEEE Trans. Dependable Secur. Comput. 7 (2) (2010)
Ammar Masood, Arif Ghafoor, Aditya P. Mathur
Fault coverage of Constrained Random Test Selection for access control: A formal analysis. J. Syst. Softw. 83 (12) (2010)
Yi Fang, Luo Si, Aditya P. Mathur
Discriminative graphical models for faculty homepage discovery. Inf. Retr. 13 (6) (2010)
Yi Fang, Luo Si, Aditya P. Mathur
Discriminative models of integrating document evidence and document-candidate associations for expert search. SIGIR (2010)
João W. Cangussu, Aditya P. Mathur
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 19 (5) (2009)
W. Eric Wong, Aditya P. Mathur
Editorial. J. Syst. Softw. 82 (9) (2009)
Ammar Masood, Rafae Bhatti, Arif Ghafoor, Aditya P. Mathur
Scalable and Effective Test Generation for Role-Based Access Control Systems. IEEE Trans. Software Eng. 35 (5) (2009)
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
IWSC 2008 Workshop Organization. COMPSAC (2008)
K. R. Jayaram, Aditya P. Mathur
On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. COMPSAC (2008)
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur
Quantitative Modeling for Incremental Software Process Control. COMPSAC (2008)
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
Message from the IWSC 2008 Workshop Organizers. COMPSAC (2008)
Aditya P. Mathur, Johnny Wong
Message from the guest editors. J. Syst. Softw. 81 (10) (2008)
James Early, Rajesh Subramanyan, Aditya P. Mathur
Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective. FECS (2007)
Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur
Introduction to the special section on software cybernetics. J. Syst. Softw. 79 (11) (2006)
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu
A control-theoretic approach to the management of the software system test phase. J. Syst. Softw. 79 (11) (2006)
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur
A Software Cybernetic Approach to Control of the Software System Test Phase. COMPSAC (2) (2005)
Qianxiang Wang, Aditya P. Mathur
Interceptor Based Constraint Violation Detection. ECBS (2005)
Scott D. Miller, Aditya P. Mathur, Raymond A. DeCarlo
DIG: A Tool for Software Process Data Extraction and Grooming. COMPSAC (1) (2005)
Aditya P. Mathur
Model-Based Software Testing and Verification. COMPSAC (1) (2005)
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur
Modeling and Control of the Incremental Software Test Process. COMPSAC Workshops (2004)
J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun
Computer Supported Cooperative Work in Software Engineering. COMPSAC (2004)
João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo
Software Release Control using Defect Based Quality Estimation. ISSRE (2004)
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. PerCom (2003)
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. QSIC (2003)
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process. IEEE Trans. Software Eng. 29 (5) (2003)
Kai-Yuan Cai, João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
An Overview of Software Cybernetics. STEP (2003)
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
Monitoring the software test process using statistical process control: a logarithmic approach. ESEC / SIGSOFT FSE (2003)
Baskar Sridharan, Aditya P. Mathur, Steven G. Ungar
Digital device manuals for the management of ConnectedSpaces. IEEE Commun. Mag. 40 (8) (2002)
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
A Formal Model of the Software Test Process. IEEE Trans. Software Eng. 28 (8) (2002)
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo
Effect of Disturbances on the Convergence of Failure Intensity. ISSRE (2002)
Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. ISSRE (2001)
Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur
Interface Mutation: An Approach for Integration Testing. IEEE Trans. Software Eng. 27 (3) (2001)
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
Sensitivity analysis of a state variable model of the Software Test Process. SMC (2001)
Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Empir. Softw. Eng. 6 (2) (2001)
Sudipto Ghosh, Aditya P. Mathur
Interface mutation. Softw. Test. Verification Reliab. 11 (3) (2001)
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo
Feedback Control of the Software Test Process Through Measurements of Software Reliability. ISSRE (2001)
Ramkumar Natarajan, Aditya P. Mathur, Paul McKee
A XML based Policy-Driven Management Information Service. Integrated Network Management (2001)
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
A state model for the Software Test Process with automated parameter identification. SMC (2001)
Sudipto Ghosh, Aditya P. Mathur
Interface Mutation to Assess the Adequacy of Tests for Components and Systems. TOOLS (34) (2000)
Wenliang Du, Aditya P. Mathur
Testing for Software Vulnerability Using Environment Perturbation. DSN (2000)
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
Generating Test Data for Branch Coverage. ASE (2000)
Baskar Sridharan, Sambrama Mundkur, Aditya P. Mathur
Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects. TOOLS (33) (2000)
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
Test set size minimization and fault detection effectiveness: A case study in a space application. J. Syst. Softw. 48 (2) (1999)
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
UNA Based Iterative Test Data Generation and Its Evaluation. ASE (1999)
Wenliang Du, Praerit Garg, Aditya P. Mathur
Security Relevancy Analysis on the Registry of Windows NT 4.0. ACSAC (1999)
W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur
Effect of Test Set Minimization on Fault Detection Effectiveness. Softw. Pract. Exp. 28 (4) (1998)
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
Automated Test Data Generation Using an Iterative Relaxation Method. SIGSOFT FSE (1998)
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application. COMPSAC (1997)
Saileshwar Krishnamurthy, Aditya P. Mathur
On the estimation of reliability of a software system using reliabilities of its components. ISSRE (1997)
Saileshwar Krishnamurthy, Aditya P. Mathur
On predicting reliability of modules using code coverage. CASCON (1996)
Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur
Integration testing using interface mutation. ISSRE (1996)
W. Eric Wong, Aditya P. Mathur
Reducing the cost of mutation testing: An empirical study. J. Syst. Softw. 31 (3) (1995)
Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. IEEE Trans. Software Eng. 21 (10) (1995)
David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur
LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. COMPSAC (1995)
W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur
Effect of Test Set Minimization on Fault Detection Effectiveness. ICSE (1995)
W. Eric Wong, Aditya P. Mathur
Fault detection effectiveness of mutation and data flow testing. Softw. Qual. J. 4 (1) (1995)
Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini
On the correlation between code coverage and software reliability. ISSRE (1995)
David B. Boardman, Aditya P. Mathur
A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience. CSEE (1994)

Aditya P. Mathur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aditya P. Mathur