Software Engineering Institute

John Lehoczky

J. Lehoczky is an SEI alumni employee.

All

Mixed-Trust Computing for Real-Time Systems

October 16, 2023 • Conference Paper

By Dionisio de Niz, Bjorn Andersson, J. Lehoczky, Amit Vasudevan, Hyoseung Kim (Carnegie Mellon University), Gabriel Moreno

Formal Verification of a Mixed-Trust Synchronization Protocol

April 7, 2023 • Conference Paper

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

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 (Carnegie Mellon University), J. Lehoczky, Dionisio de Niz

Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)

September 1, 2004 • Technical Report

By Scott Hissam, Mark H. Klein, Paulo Merson, Gabriel Moreno, Kurt C. Wallnau, J. Lehoczky

Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System

April 1, 1989 • Technical Report

By Brinkley Sprunt, Lui R. Sha, J. Lehoczky

More from John Lehoczky