2007 |
5 | | Gregory L. Wickstrom:
Advanced System Simulation, Emulation and Test (ASSET).
CPA 2007: 443-464 |
4 | EE | Victor L. Winter,
Azamatbek Mametjanov,
Steven E. Morrison,
James A. McCoy,
Gregory L. Wickstrom:
Transformation-Based Library Adaptation for Embedded Systems.
HASE 2007: 209-218 |
2006 |
3 | EE | Victor L. Winter,
Jason Beranek,
Fares Fraij,
Steve Roach,
Gregory L. Wickstrom:
A transformational perspective into the core of an abstract class loader for the SSP.
ACM Trans. Embedded Comput. Syst. 5(4): 773-818 (2006) |
2004 |
2 | EE | Gregory L. Wickstrom,
Jared Davis,
Steven E. Morrison,
Steve Roach,
Victor L. Winter:
The SSP: An Example of High-Assurance Systems Engineering.
HASE 2004: 167-177 |
2003 |
1 | | Victor L. Winter,
Steve Roach,
Gregory L. Wickstrom:
Transformation-oriented programming: A development methodology for high assurance software.
Advances in Computers 58: 49-117 (2003) |