Software Engineering Institute

John Lehoczky (Carnegie Mellon University)

Carnegie Mellon University

J. Lehoczky is an SEI alumni employee.

All

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)

Mixed-Trust Computing for Real-Time Systems

October 16, 2023 • Conference Paper

By Dionisio de Niz , Bjorn Andersson , John Lehoczky (Carnegie Mellon University) , Amit Vasudevan , Hyoseung Kim (University of California, Riverside) , Gabriel Moreno

Formal Verification of a Mixed-Trust Synchronization Protocol

July 22, 2021 • Conference Paper

By Ruben Martins , Mike McCall , Dionisio de Niz , Amit Vasudevan , Bjorn Andersson , Mark H. Klein , John Lehoczky (Carnegie Mellon University) , Hyoseung Kim (University of California, Riverside)

Deriving the Average-case Performance of Bandwidth-like Interfaces for Tasksets with Infinite Minimum Inter-Arrival Time, Equal Task Density, Uniformly Distributed Deadlines, and Infinite Number of Tasks

November 29, 2016 • Presentation

By Bjorn Andersson , Hyoseung Kim (University of California, Riverside) , John Lehoczky (Carnegie Mellon University) , Dionisio de Niz

More from John Lehoczky