Steven T. Stewart

According to our database, Steven T. Stewart authored at least 4 papers between 2012 and 2019.

Collaborative distances:

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

2019

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract.

William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2016

Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.

Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2012

Modelling and multi-objective optimization of quality attributes in variability-rich software.

Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Finding Common RNA Secondary Structures: A Case Study on the Dynamic Parallelization of a Data-driven Recurrence.

Steven T. Stewart, Eric Aubanel, Patricia A. Evans

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012