| Scalable analysis of interaction threats in iot systems M Alhanahnah, C Stevens, H Bagheri Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 74 | 2020 |
| Field-link autofill J Schneider, C Stevens, C Thomson US Patent App. 11/380,346, 2007 | 42 | 2007 |
| Simulating mobility in wsns: Bridging the gap between ns-2 and tossim 2. x C Stevens, C Lyons, R Hendrych, RS Carbajo, M Huggard, C Mc Goldrick 2009 13th IEEE/ACM International Symposium on Distributed Simulation and …, 2009 | 24 | 2009 |
| Reducing run-time adaptation space via analysis of possible utility bounds C Stevens, H Bagheri Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 17 | 2020 |
| IoTCom: Dissecting Interaction Threats in IoT Systems M Alhanahnah, C Stevens, B Chen, Q Yan, H Bagheri IEEE Transactions on Software Engineering 49 (4), 1523-1539, 2022 | 15 | 2022 |
| Comparing formal models of IoT app coordination analysis C Stevens, M Alhanahnah, Q Yan, H Bagheri Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2020 | 7 | 2020 |
| Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems C Stevens, H Bagheri 31st ACM SIGSOFT Int. Symposium on Software Testing and Analysis (ISSTA 2022), 2022 | 6 | 2022 |
| Parasol: Efficient Parallel Synthesis of Large Model Spaces C Stevens, H Bagheri ACM Joint European Software Engineering Conference and Symposium on the …, 2022 | 5 | 2022 |
| Exploring the efficiency of self-organizing software teams with game theory C Stevens, J Soundy, H Chan 2021 IEEE/ACM 43rd International Conference on Software Engineering: New …, 2021 | 5 | 2021 |
| Extending a knowledge-based network to support temporal event reasoning J Keeney, C Stevens, D O'Sullivan 2010 IEEE Network Operations and Management Symposium-NOMS 2010, 631-638, 2010 | 5 | 2010 |
| Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects J Soundy, C Wang, C Stevens, H Chan International Joint Conferences on Artificial Intelligence, 2021 | 4 | 2021 |
| SAINTDroid: Scalable, Automated Incompatibility Detection for Android BVR de Silva, C Stevens, N Mansoor, W Srisa-an, T Yu, H Bagheri 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022 | 3 | 2022 |
| Scalable Relational Analysis via Relational Bound Propagation C Stevens, H Bagheri Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 1 | 2024 |
| Temporal reasoning for events in a knowledge-based network C Stevens Master's thesis, University of Dublin, 2009 | 1 | 2009 |
| Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function J Wang, C Stevens, B Kidmose, MB Cohen, H Bagheri International Symposium on Search Based Software Engineering, 1-17, 2024 | | 2024 |
| Improving Scalability for Formal Analysis through Automated Tightening of Analysis Bounds C Stevens The University of Nebraska-Lincoln, 2023 | | 2023 |
| Displaying NHP Health Data in Mobile Devices FD Nicolalde, C Stevens, G Gottfredsen MobilVis '18 Workshop at CHI 2018, 2018 | | 2018 |
Hamid BagheriUniversity of Nebraska-LincolnVerified email at mit.edu