Clay Stevens

According to our database, Clay Stevens authored at least 11 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Relational Analysis via Relational Bound Propagation.

Clay Stevens, Hamid Bagheri

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

IoTCom: Dissecting Interaction Threats in IoT Systems.

Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri

IEEE Trans. Software Eng., April, 2023

2022

Parasol: efficient parallel synthesis of large model spaces.

Clay Stevens, Hamid Bagheri

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Combining solution reuse and bound tightening for efficient analysis of evolving systems.

Clay Stevens, Hamid Bagheri

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

SAINTDroid: Scalable, Automated Incompatibility Detection for Android.

Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects.

Jared Soundy, Chenhao Wang, Clay Stevens, Hau Chan

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Exploring the Efficiency of Self-Organizing Software Teams with Game Theory.

Clay Stevens, Jared Soundy, Hau Chan

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

Scalable analysis of interaction threats in IoT systems.

Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Reducing run-time adaptation space via analysis of possible utility bounds.

Clay Stevens, Hamid Bagheri

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2010

Extending a knowledge-based network to support temporal event reasoning.

John Keeney, Clay Stevens, Declan O'Sullivan

Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010

2009

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

Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009