John P. Lehoczky

72 papers A* 2A 34B 3Misc 1Journal 27Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Mixed-trust Computing: Safe and Secure Real-time Systems. ACM Trans. Cyber Phys. Syst. Dionisio de Niz, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim, Gabriel A. Moreno
2021	A	`conf`	Addressing Multi-core Timing Interference using Co-Runner Locking. RTSS Hyoseung Kim, Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky
2021	Misc	`conf`	Formal Verification of a Mixed-Trust Synchronization Protocol. RTNS Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim
2021	A	`conf`	Resilient Mixed-Trust Scheduling. RTSS Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark H. Klein, John P. Lehoczky
2020	A	`conf`	Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling. RTSS Dionisio de Niz, Björn Andersson, Hyoseung Kim, Mark Klein, John P. Lehoczky
2019	B	`conf`	Mixed-Trust Computing for Real-Time Systems. RTCSA Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno
2018	J	`jnl`	Schedulability Analysis of Tasks with Corunner-Dependent Execution Times. ACM Trans. Embed. Comput. Syst. Björn Andersson, Hyoseung Kim, Dionisio de Niz, Mark H. Klein, Ragunathan Rajkumar, John P. Lehoczky
2017	J	`jnl`	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. SIGBED Rev. Björn Andersson, Hyoseung Kim, John P. Lehoczky, Dionisio de Niz
2014	—	`conf`	Optimizing Robotic Team Performance with Probabilistic Model Checking. SIMPAR Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky
2009	B	`conf`	Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors. ECRTS Karthik Lakshmanan, Ragunathan Rajkumar, John P. Lehoczky
2006	J	`jnl`	Integrated QoS-aware resource management and scheduling with multi-resource constraints. Real Time Syst. Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
2005	A	`conf`	Diff-EDF: A Simple Mechanism for Differentiated EDF Service. IEEE Real-Time and Embedded Technology and Applications Symposium Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar
2005	A	`conf`	RETINA: REal-TIme Network Analyzer. IPDPS Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
2005	A	`conf`	Scalable QoS-Based Resource Allocation in Hierarchical Networked Environment. IEEE Real-Time and Embedded Technology and Applications Symposium Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
2004	A	`conf`	Design Trade-Offs for Networks with Soft End-to-End Timing Constraints. IEEE Real-Time and Embedded Technology and Applications Symposium Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar
2004	A	`conf`	Integrated Resource Management and Scheduling with Multi-Resource Constraints. RTSS Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky
2004	J	`jnl`	Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok
2004	A	`conf`	Resource Management of Highly Configurable Tasks. IPDPS Jeffery P. Hansen, Sourav Ghosh, Ragunathan Rajkumar, John P. Lehoczky
2003	A	`conf`	Scalable Resource Allocation for Multi-Processor QoS Optimization. ICDCS Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
2003	J	`jnl`	Second order approximation for the customer time in queue distribution under the FIFO service discipline. Ann. UMCS Informatica Lukasz Kruk, John P. Lehoczky, Steven E. Shreve
2002	B	`conf`	Analysis of Hierar hical Fixed-Priority Scheduling. ECRTS Saowanee Saewong, Ragunathan Rajkumar, John P. Lehoczky, Mark H. Klein
2002	A	`conf`	Optimal Partitioning for Quantized EDF Scheduling. RTSS Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
2002	J	`jnl`	Partitioning Considerations for Quantized EDF Scheduling. Parallel Distributed Comput. Pract. Jeffery P. Hansen, Haifeng Zhu, John P. Lehoczky, Ragunathan Rajkumar
2002	A	`conf`	Quantized EDF Scheduling in a Stochastic Environment. IPDPS Jeffery P. Hansen, John P. Lehoczky, Haifeng Zhu, Ragunathan Rajkumar
2001	A	`conf`	Optimization of Quality of Service in Dynamic Systems. IPDPS Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
2001	J	`jnl`	Trade-Off Analysis of Real-Time Control Performance and Schedulability. Real Time Syst. Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin
2000	J	`jnl`	INSERT - incremental software evolution for real-time systems. ACM SIGSOFT Softw. Eng. Notes John P. Lehoczky
1999	A	`conf`	A Scalable Solution to the Multi-Resource QoS Problem. RTSS Chen Lee, John P. Lehoczky, Daniel P. Siewiorek, Ragunathan Rajkumar, Jeffery P. Hansen
1999	—	`conf`	On Quality of Service Optimization with Discrete QoS Options. IEEE Real Time Technology and Applications Symposium Chen Lee, John P. Lehoczky, Ragunathan Rajkumar, Daniel P. Siewiorek
1998	A	`conf`	Practical Solutions for QoS-Based Resource Allocation. RTSS Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek
1998	A	`conf`	Scheduling Communication Networks Carrying Real-Time Traffic. RTSS John P. Lehoczky
1998	A	`conf`	Task Period Selection and Schedulability in Real-Time Systems. RTSS Danbing Seto, John P. Lehoczky, Lui Sha
1997	A	`conf`	A resource allocation model for QoS management. RTSS Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek
1997	A	`conf`	Real-time queueing network theory. RTSS John P. Lehoczky
1997	A*	`conf`	Using Real-Time Queueing Theory to Control Lateness in Real-Time Systems. SIGMETRICS John P. Lehoczky
1996	J	`jnl`	Analytical Methods For Real-Time Computing. ACM Comput. Surv. John P. Lehoczky
1996	A	`conf`	On task schedulability in real-time control systems. RTSS Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin
1996	A	`conf`	Real-Time Queueing Theory. RTSS John P. Lehoczky
1995	—	`ch.`	Fault-Tolerant Automatic Control. Responsive Computer Systems Marc Bodson, John P. Lehoczky, Ragunathan Rajkumar, Lui Sha, Jennifer Stephan
1995	J	`jnl`	The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. IEEE Trans. Computers Jay K. Strosnider, John P. Lehoczky, Lui Sha
1994	A	`conf`	Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack Stealing. RTSS Sandra R. Thuel, John P. Lehoczky
1994	J	`jnl`	Rate-Monotonic Analysis for Real-Time Industrial Computing. Computer Mark H. Klein, John P. Lehoczky, Ragunathan Rajkumar
1994	J	`jnl`	Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. IEEE Trans. Software Eng. Michael González Harbour, Mark H. Klein, John P. Lehoczky
1993	A	`conf`	On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems. RTSS S. Ramos-Thuel, John P. Lehoczky
1992	A	`conf`	An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. RTSS John P. Lehoczky, S. Ramos-Thuel
1991	J	`jnl`	An Asymptotic Analysis of Hierarchical Control of Manufacturing Systems Under Uncertainty. Math. Oper. Res. John P. Lehoczky, Suresh P. Sethi, H. Mete Soner, Michael I. Taksar
1991	A	`conf`	Fixed priority scheduling periodic tasks with varying execution priority. RTSS Michael González Harbour, Mark H. Klein, John P. Lehoczky
1990	J	`jnl`	Existence and Uniqueness of Multi-Agent Equilibrium in a Stochastic, Dynamic Consumption/Investment Model. Math. Oper. Res. Ioannis Karatzas, John P. Lehoczky, Steven E. Shreve
1990	A	`conf`	Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. RTSS John P. Lehoczky
1990	J	`jnl`	Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. Computers Lui Sha, Ragunathan Rajkumar, John P. Lehoczky
1990	A	`conf`	Real-Time Scheduling Support in Futurebus+. RTSS Lui Sha, John P. Lehoczky, Ragunathan Rajkumar
1989	J	`jnl`	Aperiodic Task Scheduling for Hard Real-Time Systems. Real Time Syst. Brinkley Sprunt, Lui Sha, John P. Lehoczky
1989	J	`jnl`	Mode Change Protocols for Priority-Driven Preemptive Scheduling. Real Time Syst. Lui Sha, Ragunathan Rajkumar, John P. Lehoczky, Krithi Ramamritham
1989	A	`conf`	The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. RTSS John P. Lehoczky, Lui Sha, Y. Ding
1988	A	`conf`	Advanced Real-Time Scheduling Using the IEEE 802.5 Token Ring. RTSS Jay K. Strosnider, Thomas E. Marchok, John P. Lehoczky
1988	J	`jnl`	Concurrency Control for Distributed Real-Time Databases. SIGMOD Rec. Lui Sha, Ragunathan Rajkumar, John P. Lehoczky
1988	A	`conf`	Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. RTSS Brinkley Sprunt, John P. Lehoczky, Lui Sha
1988	J	`jnl`	Modular Concurrency Control and Failure Recovery. IEEE Trans. Computers Lui Sha, John P. Lehoczky, E. Douglas Jensen
1988	—	`conf`	Priority inversion and its control: An experimental investigation. IRTAW C. Douglass Locke, Lui Sha, R. Rajikumar, John P. Lehoczky, Gregory Burns
1988	A	`conf`	Real-Time Synchronization Protocols for Multiprocessors. RTSS Ragunathan Rajkumar, Lui Sha, John P. Lehoczky
1987	A	`conf`	Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. RTSS John P. Lehoczky, Lui Sha, Jay K. Strosnider
1987	—	`conf`	Limitations of Ada for real-time scheduling. IRTAW Dennis Cornhill, Lui Sha, John P. Lehoczky
1987	A	`conf`	On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment. RTSS Ragunathan Rajkumar, Lui Sha, John P. Lehoczky
1986	J	`jnl`	Explicit Solution of a General Consumption/Investment Problem. Math. Oper. Res. Ioannis Karatzas, John P. Lehoczky, Suresh P. Sethi, Steven E. Shreve
1986	A*	`conf`	Performance of Real-Time Bus Scheduling Algorithms. SIGMETRICS John P. Lehoczky, Lui Sha
1986	A	`conf`	Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. RTSS Lui Sha, John P. Lehoczky, Ragunathan Rajkumar
1983	J	`jnl`	Optimal Consumption and Investment Policies Allowing Consumption Constraints and Bankruptcy. Math. Oper. Res. John P. Lehoczky, Suresh P. Sethi, Steven E. Shreve
1982	J	`jnl`	Channels that Cooperatively Service a Data Stream and Voice Messages. IEEE Trans. Commun. Donald P. Gaver, John P. Lehoczky
1982	J	`jnl`	Mathematical analysis of the Miller-Modigliani theory. Oper. Res. Lett. Suresh P. Sethi, N. A. Derzko, John P. Lehoczky
1981	J	`jnl`	Models for Time-Sharing Computer Systems with Heterogeneous Users. Oper. Res. John P. Lehoczky, Donald P. Gaver
1979	J	`jnl`	A Diffusion Approximation Model for a Communication System Allowing Message Interference. IEEE Trans. Commun. Donald P. Gaver, John P. Lehoczky
1976	J	`jnl`	Random Juror Selection from Multiple Lists. Oper. Res. Joseph B. Kadane, John P. Lehoczky