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