Software Engineering Institute

Noam Zeilberger

Noam Zeilberger is an SEI alumni employee.

• All

Model-Driven Construction of Certified Binaries

October 5, 2007 • Presentation

By Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

Certified Binaries for Software Components

September 1, 2007 • Technical Report

By Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

Results of SEI Independent Research and Development Projects (FY 2006)

July 1, 2007 • Technical Report

By Christopher J. Alberts, William Anderson, Len Bass, Matt Bass, Philip J. Boxer, Lisa Brownsword, Sagar Chaki, Peter H. Feiler, David Fisher, Eileen C. Forrester, Suzanne Miller, Aaron Greenhouse, Jörgen Hansson (University of Skovde), James D. Herbsleb, James Ivers, Peter Lee, Richard C. Linger (Oak Ridge National Laboratory), Thomas A. Longstaff, Pratyusa K. Manadhata, B. Craig Meyers, Mike Phillips, Carol Sledge, James Smith, Kurt C. Wallnau, Gwendolyn H. Walton, J. Wing, Noam Zeilberger