John Lehoczky | Author Profile, CMU Software Engineering Institute

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 (Vanderbilt University) , 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