Clay Stevens

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 9

Top Topics

Nash Equilibria

Multi Agent Cooperation

Top Venues

ESEC/SIGSOFT FSE

Publications

Clay Stevens, Hamid Bagheri
Scalable Relational Analysis via Relational Bound Propagation. ICSE (2024)
Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri
IoTCom: Dissecting Interaction Threats in IoT Systems. IEEE Trans. Software Eng. 49 (4) (2023)
Clay Stevens, Hamid Bagheri
Combining solution reuse and bound tightening for efficient analysis of evolving systems. ISSTA (2022)
Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri
SAINTDroid: Scalable, Automated Incompatibility Detection for Android. DSN (2022)
Clay Stevens, Hamid Bagheri
Parasol: efficient parallel synthesis of large model spaces. ESEC/SIGSOFT FSE (2022)
Jared Soundy, Chenhao Wang, Clay Stevens, Hau Chan
Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects. IJCAI (2021)
Clay Stevens, Jared Soundy, Hau Chan
Exploring the Efficiency of Self-Organizing Software Teams with Game Theory. ICSE (NIER) (2021)
Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
Scalable analysis of interaction threats in IoT systems. ISSTA (2020)
Clay Stevens, Hamid Bagheri
Reducing run-time adaptation space via analysis of possible utility bounds. ICSE (2020)
John Keeney, Clay Stevens, Declan O'Sullivan
Extending a knowledge-based network to support temporal event reasoning. NOMS (2010)
Clay Stevens, Colin Lyons, Ronny Hendrych, Ricardo Simon Carbajo, Meriel Huggard, Ciarán Mc Goldrick
Simulating Mobility in WSNs: Bridging the Gap between ns-2 and TOSSIM 2.x. DS-RT (2009)