| 2026 | GECCO | A Genetic Algorithm for Output-Boundary Value Analysis. | Byron DeVries, Erik M. Fredericks |
| 2025 | MODELS | Towards Distributing Effort in Validating Run-Time Models for Internet of Things Architectures. | Erik M. Fredericks, Byron DeVries |
| 2025 | MODELS | Introducing MyPetri.net: A Petri Net Editor and Simulator for Students. | Joseph M. Vanliew, Erik M. Fredericks, Byron DeVries |
| 2024 | QRS | Triggering Adaptation via Contextual Metamorphic Relations. | Byron DeVries, Erik M. Fredericks |
| 2021 | SEAMS | Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. | Byron DeVries, Erik M. Fredericks, Betty H. C. Cheng |
| 2019 | ICSE | Towards the detection of partial feature interactions. | Byron DeVries, Betty H. C. Cheng |
| 2019 | MODELS | Goal-Based Modeling and Analysis of Non-Functional Requirements. | Byron DeVries, Betty H. C. Cheng |
| 2018 | ICSE | Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes. | Byron DeVries, Betty H. C. Cheng |
| 2018 | QRS | Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. | Byron DeVries, Betty H. C. Cheng |
| 2017 | MODELS | Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. | Byron DeVries, Betty H. C. Cheng |
| 2017 | SSBSE | Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. | Byron DeVries, Betty H. C. Cheng |
| 2016 | MODELS | Automatic detection of incomplete requirements via symbolic analysis. | Byron DeVries, Betty H. C. Cheng |
| 2014 | ICSE | Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. | Erik M. Fredericks, Byron DeVries, Betty H. C. Cheng |
| 2013 | ICCS | Parallel Implementations of FGMRES for Solving Large, Sparse Non-Symmetric Linear Systems. | Byron DeVries, Joe Iannelli, Christian Trefftz, Kurt A. O'Hearn, Gregory Wolffe |