search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webinar Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
J. Lehoczky
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