| 2021 | CCS | 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 |
| 2020 | CCS | 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 |
| 2018 | ACSAC | Noise Matters: Using Sensor and Process Noise Fingerprint to Detect Stealthy Cyber Attacks and Authenticate sensors in CPS. | Chuadhry Mujeeb Ahmed, Jianying Zhou, Aditya P. Mathur |
| 2018 | CCS | Untitled record | Chuadhry Mujeeb Ahmed, Martn Ochoa, Jianying Zhou, Aditya P. Mathur, Rizwan Qadeer, Carlos Murguia, Justin Ruths |
| 2017 | QRS | Hardware Identification via Sensor Fingerprinting in a Cyber Physical System. | Chuadhry Mujeeb Ahmed, Aditya P. Mathur |
| 2016 | COMPSAC | Designing [Secure] Complex Critical Public Infrastructure. | Aditya P. Mathur |
| 2016 | COMPSAC | Challenges in Testing the Design of Secure Complex Critical Public Infrastructure. | Aditya P. Mathur |
| 2016 | COMPSAC | Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot. | Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur |
| 2016 | ICSE | Model-based security analysis of a water treatment system. | Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur |
| 2015 | PRDC | Experimental Evaluation of Stealthy Attack Detection in a Robot. | Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur |
| 2014 | COMPSAC | Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems. | Giedre Sabaliauskaite, Aditya P. Mathur |
| 2014 | COMPSAC | Countermeasures to Enhance Cyber-physical System Security and Safety. | Giedre Sabaliauskaite, Aditya P. Mathur |
| 2013 | SEKE | Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums. | Karthikeyan Rajasekharan, Aditya P. Mathur, See-Kiong Ng |
| 2011 | COMPSAC | 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 |
| 2011 | SIGIR | Analysis of an expert search query log. | Yi Fang, Naveen Somasundaram, Luo Si, Jeongwoo Ko, Aditya P. Mathur |
| 2010 | SIGIR | Discriminative models of integrating document evidence and document-candidate associations for expert search. | Yi Fang, Luo Si, Aditya P. Mathur |
| 2008 | COMPSAC | On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. | K. R. Jayaram, Aditya P. Mathur |
| 2008 | COMPSAC | Quantitative Modeling for Incremental Software Process Control. | Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur |
| 2008 | COMPSAC | Message from the IWSC 2008 Workshop Organizers. | Stephen S. Yau, Joo W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai |
| 2008 | COMPSAC | IWSC 2008 Workshop Organization. | Stephen S. Yau, Joo W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai |
| 2005 | COMPSAC | Model-Based Software Testing and Verification. | Aditya P. Mathur |
| 2005 | COMPSAC | A Software Cybernetic Approach to Control of the Software System Test Phase. | Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur |
| 2005 | COMPSAC | DIG: A Tool for Software Process Data Extraction and Grooming. | Scott D. Miller, Aditya P. Mathur, Raymond A. DeCarlo |
| 2004 | COMPSAC | Computer Supported Cooperative Work in Software Engineering. | J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun |
| 2004 | COMPSAC | Modeling and Control of the Incremental Software Test Process. | Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur |
| 2004 | ISSRE | Software Release Control using Defect Based Quality Estimation. | Joo W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo |
| 2003 | PERCOM | Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. | Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai |
| 2002 | ISSRE | Effect of Disturbances on the Convergence of Failure Intensity. | Joo W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo |
| 2001 | IM | A XML based Policy-Driven Management Information Service. | Ramkumar Natarajan, Aditya P. Mathur, Paul McKee |
| 2001 | ISSRE | Feedback Control of the Software Test Process Through Measurements of Software Reliability. | Joo W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo |
| 2001 | ISSRE | Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. | Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi |
| 2001 | SMC | A state model for the Software Test Process with automated parameter identification. | Joo W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur |
| 2001 | SMC | Sensitivity analysis of a state variable model of the Software Test Process. | Joo W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur |
| 2000 | DSN | Testing for Software Vulnerability Using Environment Perturbation. | Wenliang Du, Aditya P. Mathur |
| 1999 | ACSAC | Security Relevancy Analysis on the Registry of Windows NT 4.0. | Wenliang Du, Praerit Garg, Aditya P. Mathur |
| 1997 | COMPSAC | 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 |
| 1997 | ISSRE | On the estimation of reliability of a software system using reliabilities of its components. | Saileshwar Krishnamurthy, Aditya P. Mathur |
| 1996 | ISSRE | Integration testing using interface mutation. | Mrcio Eduardo Delamaro, Jos Carlos Maldonado, Aditya P. Mathur |
| 1995 | COMPSAC | 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 |
| 1995 | ICSE | Effect of Test Set Minimization on Fault Detection Effectiveness. | W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur |
| 1995 | ISSRE | On the correlation between code coverage and software reliability. | Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini |
| 1994 | ISSRE | A case study to investigate sensitivity of reliability estimates to errors in operational profile. | Mei-Hwa Chen, Aditya P. Mathur, Vernon Rego |
| 1994 | ISSRE | Effect of test set size and block coverage on the fault detection effectiveness. | W. Eric Wong, Joseph R. Horgan, Saul London, Aditya P. Mathur |
| 1993 | ISSRE | TERSE: A tool for evaluating software reliability models. | Mei-Hwa Chen, Michael K. Jones, Aditya P. Mathur, Vernon Rego |
| 1991 | COMPSAC | Compiler-integrated program mutation. | Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur |
| 1991 | COMPSAC | Performance, effectiveness, and reliability issues in software testing. | Aditya P. Mathur |
| 1989 | ISSTA | PMothra: Scheduling Mutants for Execution on a Hypercube. | Byoungju Choi, Aditya P. Mathur, Brian Pattison |
| 1988 | ICSE | Modeling Mutation on a Vector Processor. | Aditya P. Mathur, Edward W. Krauser |