icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Peter Lee
Peter Lee
Peter Lee 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