James Ivers (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681

3 Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau: The ComFoRT Reasoning Framework. CAV 2005: 164-169

2 Len Bass, James Ivers, Mark Klein, Paulo Merson, Kurt C. Wallnau: Encapsulating Quality Attribute Knowledge. WICSA 2005: 193-194

Selection of 3 from 6 records - James Ivers has 15 coauthors

5		Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
3		Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau: The ComFoRT Reasoning Framework. CAV 2005: 164-169
2		Len Bass, James Ivers, Mark Klein, Paulo Merson, Kurt C. Wallnau: Encapsulating Quality Attribute Knowledge. WICSA 2005: 193-194