Simulating Mobility in WSNs: Bridging the Gap between ns-2 and TOSSIM 2.x. - Clay Stevens; Colin Lyons; Ronny Hendrych; Ricardo Simon Carbajo; Meriel Huggard; Ciarán Mc Goldrick (DS-RT, 2009)

Extending a knowledge-based network to support temporal event reasoning. - John Keeney; Clay Stevens; Declan O'Sullivan (NOMS, 2010)

Reducing run-time adaptation space via analysis of possible utility bounds. - Clay Stevens; Hamid Bagheri (ICSE, 2020)

Scalable analysis of interaction threats in IoT systems. - Mohannad Alhanahnah; Clay Stevens; Hamid Bagheri (ISSTA, 2020)

Exploring the Efficiency of Self-Organizing Software Teams with Game Theory. - Clay Stevens; Jared Soundy; Hau Chan (ICSE (NIER), 2021)

Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects. - Jared Soundy; Chenhao Wang 001; Clay Stevens; Hau Chan (IJCAI, 2021)

SAINTDroid: Scalable, Automated Incompatibility Detection for Android. - Bruno Vieira Resende e Silva; Clay Stevens; Niloofar Mansoor; Witawas Srisa-an; Tingting Yu 001; Hamid Bagheri (DSN, 2022)

Combining solution reuse and bound tightening for efficient analysis of evolving systems. - Clay Stevens; Hamid Bagheri (ISSTA, 2022)

Parasol: efficient parallel synthesis of large model spaces. - Clay Stevens; Hamid Bagheri (ESEC/SIGSOFT FSE, 2022)

IoTCom: Dissecting Interaction Threats in IoT Systems. - Mohannad Alhanahnah; Clay Stevens; Bocheng Chen; Qiben Yan; Hamid Bagheri (IEEE Trans. Software Eng., 2023)

Scalable Relational Analysis via Relational Bound Propagation. - Clay Stevens; Hamid Bagheri (ICSE, 2024)

Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches. - Md Rashedul Hasan; Mohannad Alhanahnah; Clay Stevens; Hamid Bagheri (DSN, 2025)

Model Assisted Refinement of Metamorphic Relations for Scientific Software. - Clay Stevens; Katherine Kjeer; Ryan M. Richard; Edward F. Valeev; Myra B. Cohen (NIER@ICSE, 2025)