icon-carat-right menu search cmu-wordmark
Carnegie Mellon University cmu-wordmark
Search
Mobile Menu
  1. Home
  2. Publications
  3. Authors
  4. Jonathan Preston (Lockheed Martin Corporation)

Jonathan Preston (Lockheed Martin Corporation)

Lockheed Martin Corporation

Assurance Evidence of Continuously Evolving Real-Time Systems (ASERT) Workshop 2024

November 15, 2024 • Special Report

By Dionisio de Niz , Bjorn Andersson , Mark H. Klein , Hyoseung Kim (University of California, Riverside) , John Lehoczky (Carnegie Mellon University) , George Romanski (Federal Aviation Administration) , Jonathan Preston (Lockheed Martin Corporation) , Daniel Shapiro (Institute of Defense Analysis) , Floyd Fazi (Lockheed Martin Corporation) , Ronald Koontz (Boeing Company)

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)

January 18, 2024 • White Paper

By Dionisio de Niz , Bjorn Andersson , Mark H. Klein , John Lehoczky (Carnegie Mellon University) , Hyoseung Kim (University of California, Riverside) , George Romanski (Federal Aviation Administration) , Jonathan Preston (Lockheed Martin Corporation) , Daniel Shapiro (Institute of Defense Analysis) , Floyd Fazi (Lockheed Martin Corporation) , Douglas Schmidt (William & Mary) , David Tate (Institute of Defense Analysis) , Gordon Putsche (The Boeing Company) , Ronald Koontz (Boeing Company)

  • Report a Vulnerability to CERT/CC
  • Subscribe to SEI Bulletin
  • Request Permission to Use SEI Materials
sei

Advancing Software for National Security
Sponsored by the Department of War, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800
About Our Work Publications News and Events Education and Outreach Careers
Digital library Blog Podcasts
Facebook LinkedIn X YouTube

2026 Carnegie Mellon University

  • Contact Us
  • Office Locations
  • Privacy Notice
  • Legal
  • www.cmu.edu
  • 2026 Carnegie Mellon University