| Modelling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software R Olaechea, S Stewart, K Czarnecki, D Rayside | 88* | |
| Mpro: Combining static and symbolic analysis for scalable testing of smart contract W Zhang, S Banescu, L Pasos, S Stewart, V Ganesh 2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019 | 40 | 2019 |
| Apparatus and method for assuring performance attributes of a digital asset S Banescu, JJB Gorzny, R Ma, S Stewart US Patent App. 17/343,610, 2021 | | 2021 |
| Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs ST Stewart, D Rayside, V Ganesh, K Czarnecki Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | | 2016 |
| Finding Common RNA Secondary Structures: A Case Study on the Dynamic Parallelization of a Data-driven Recurrence ST Stewart, E Aubanel, PA Evans 2012 IEEE 26th International Parallel and Distributed Processing Symposium …, 2012 | | 2012 |
