Models for Time Coalescence in Event Logs. - Jeffery P. Hansen; Daniel P. Siewiorek (FTCS, 1992)

Search space reduction in high level synthesis by use of an initial circuit. - Atsushi Masuda; Hiroshi Imai; Jeffery P. Hansen; Masatoshi Sekine (ASP-DAC, 1995)

Synthesis by Spectral Translation Using Boolean Decision Diagrams. - Jeffery P. Hansen; Masatoshi Sekine (DAC, 1996)

The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. - Carol L. Hoover; Jeffery P. Hansen; Philip Koopman; Sandeep Tamboli (HASE, 1999)

A Scalable Solution to the Multi-Resource QoS Problem. - Chen Lee; John P. Lehoczky; Daniel P. Siewiorek; Ragunathan Rajkumar; Jeffery P. Hansen (RTSS, 1999)

Optimization of Quality of Service in Dynamic Systems. - Jeffery P. Hansen; John P. Lehoczky; Ragunathan Rajkumar (IPDPS, 2001)

Probabilistic Bandwidth Reservation by Resource Priority Multiplexing. - Jeffery P. Hansen; Haifeng Zhu 001; Ragunathan Rajkumar (IEEE Real Time Technology and Applications Symposium, 2001)

Quantized EDF Scheduling in a Stochastic Environment. - Jeffery P. Hansen; John P. Lehoczky; Haifeng Zhu 001; Ragunathan Rajkumar (IPDPS, 2002)

Optimal Partitioning for Quantized EDF Scheduling. - Haifeng Zhu 001; Jeffery P. Hansen; John P. Lehoczky; Ragunathan Rajkumar (RTSS, 2002)

Partitioning Considerations for Quantized EDF Scheduling. - Jeffery P. Hansen; Haifeng Zhu 001; John P. Lehoczky; Ragunathan Rajkumar (Parallel Distributed Comput. Pract., 2002)

Scalable Resource Allocation for Multi-Processor QoS Optimization. - Sourav Ghosh; Ragunathan Rajkumar; Jeffery P. Hansen; John P. Lehoczky (ICDCS, 2003)

Resource Management of Highly Configurable Tasks. - Jeffery P. Hansen; Sourav Ghosh; Ragunathan Rajkumar; John P. Lehoczky (IPDPS, 2004)

Design Trade-Offs for Networks with Soft End-to-End Timing Constraints. - Haifeng Zhu 001; John P. Lehoczky; Jeffery P. Hansen; Ragunathan Rajkumar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

Integrated Resource Management and Scheduling with Multi-Resource Constraints. - Sourav Ghosh; Jeffery P. Hansen; Ragunathan Rajkumar; John P. Lehoczky (RTSS, 2004)

RETINA: REal-TIme Network Analyzer. - Haifeng Zhu 001; Jeffery P. Hansen; John P. Lehoczky; Ragunathan Rajkumar (IPDPS, 2005)

Scalable QoS-Based Resource Allocation in Hierarchical Networked Environment. - Sourav Ghosh; Ragunathan Rajkumar; Jeffery P. Hansen; John P. Lehoczky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Diff-EDF: A Simple Mechanism for Differentiated EDF Service. - Haifeng Zhu 001; John P. Lehoczky; Jeffery P. Hansen; Ragunathan Rajkumar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Anomaly Detector Performance Evaluation Using a Parameterized Environment. - Jeffery P. Hansen; Kymie M. C. Tan; Roy A. Maxion (RAID, 2006)

Integrated QoS-aware resource management and scheduling with multi-resource constraints. - Sourav Ghosh; Ragunathan Rajkumar; Jeffery P. Hansen; John P. Lehoczky (Real Time Syst., 2006)

Statistical-Based WCET Estimation and Validation. - Jeffery P. Hansen; Scott A. Hissam; Gabriel A. Moreno (WCET, 2009)

Agent-assisted task management that reduces email overload. - Andrew Faulring; Brad A. Myers; Ken Mohnkern; Bradley R. Schmerl; Aaron Steinfeld; John Zimmerman; Asim Smailagic; Jeffery P. Hansen; Daniel P. Siewiorek (IUI, 2010)

Adaptive Quality of Service in ad hoc wireless networks. - Jeffery P. Hansen; Scott A. Hissam; Daniel Plakosh; Lutz Wrage (WCNC, 2012)

QoS optimization in ad hoc wireless networks through adaptive control of marginal utility. - Jeffery P. Hansen; Scott A. Hissam; Lutz Wrage (WCNC, 2013)

Assessing QoS trade-offs for real-time video. - Jeffery P. Hansen; Scott A. Hissam (WOWMOM, 2013)

Statistical Model Checking of Distributed Adaptive Real-Time Software. - David Kyle; Jeffery P. Hansen; Sagar Chaki (RV, 2015)

Semantic Importance Sampling for Statistical Model Checking. - Jeffery P. Hansen; Lutz Wrage; Sagar Chaki; Dionisio de Niz; Mark H. Klein 001 (TACAS, 2015)

Input Attribution for Statistical Model Checking Using Logistic Regression. - Jeffery P. Hansen; Sagar Chaki; Scott A. Hissam; James R. Edmondson; Gabriel A. Moreno; David Kyle (RV, 2016)

Using Drift Planning to Improve Safety of Visual Navigation in Unmanned Aerial Vehicles. - Jeffery P. Hansen; Sebastián Echeverría; Lena Pons; Lihan Zhan; Gabriel A. Moreno; Grace A. Lewis (RAIE, 2025)