Author: Victor L. Winter
Publications
Co-authors
Productive Colleagues
- I-Ling Yen
- Kinji Mori
- Wei-Tek Tsai
- 5
- 5
- 9
Publications
Boyle, James M., Resler, R. Daniel, Winter, Victor L. (1999): Do You Trust Your Compiler?. In IEEE Computer, 32 (5) pp. 65-73.
Yen, I-Ling, Paul, Raymond A., Winter, Victor L., Covan, John M., Dalton, Larry J., Alkalai, Leon, Tai, Ann T., Harper, Rick, Flahive, Barry, Tsai, Wei-Tek, Mojdehbakhsh, Ramin, Rayadurgam, Sanjai, Mori, Kinji, Lowry, Michael R. (1998): Key Applications for High-Assurance Systems. In IEEE Computer, 31 (4) pp. 35-45.
Winter, Victor L., Desovski, Dejan, Cukic, Bojan (2001): Virtual Environment Modeling for Requirements Validation of High Consequence Systems. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 23-30. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250023abs.htm