Jeffery P. Hansen

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 1

Top Topics

Automated Verification

Quality Of Service

Temporal Properties

Top Venues

Publications

Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle
Input Attribution for Statistical Model Checking Using Logistic Regression. RV (2016)
David Kyle, Jeffery P. Hansen, Sagar Chaki
Statistical Model Checking of Distributed Adaptive Real-Time Software. RV (2015)
Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein
Semantic Importance Sampling for Statistical Model Checking. TACAS (2015)
Jeffery P. Hansen, Scott A. Hissam
Assessing QoS trade-offs for real-time video. WOWMOM (2013)
Jeffery P. Hansen, Scott A. Hissam, Lutz Wrage
QoS optimization in ad hoc wireless networks through adaptive control of marginal utility. WCNC (2013)
Jeffery P. Hansen, Scott A. Hissam, Daniel Plakosh, Lutz Wrage
Adaptive Quality of Service in ad hoc wireless networks. WCNC (2012)
Andrew Faulring, Brad A. Myers, Ken Mohnkern, Bradley R. Schmerl, Aaron Steinfeld, John Zimmerman, Asim Smailagic, Jeffery P. Hansen, Daniel P. Siewiorek
Agent-assisted task management that reduces email overload. IUI (2010)
Jeffery P. Hansen, Scott A. Hissam, Gabriel A. Moreno
Statistical-Based WCET Estimation and Validation. WCET (2009)
Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
Integrated QoS-aware resource management and scheduling with multi-resource constraints. Real Time Syst. 33 (1-3) (2006)
Jeffery P. Hansen, Kymie M. C. Tan, Roy A. Maxion
Anomaly Detector Performance Evaluation Using a Parameterized Environment. RAID (2006)
Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar
Diff-EDF: A Simple Mechanism for Differentiated EDF Service. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
Scalable QoS-Based Resource Allocation in Hierarchical Networked Environment. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
RETINA: REal-TIme Network Analyzer. IPDPS (2005)
Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky
Integrated Resource Management and Scheduling with Multi-Resource Constraints. RTSS (2004)
Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar
Design Trade-Offs for Networks with Soft End-to-End Timing Constraints. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
Jeffery P. Hansen, Sourav Ghosh, Ragunathan Rajkumar, John P. Lehoczky
Resource Management of Highly Configurable Tasks. IPDPS (2004)
Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
Scalable Resource Allocation for Multi-Processor QoS Optimization. ICDCS (2003)
Jeffery P. Hansen, John P. Lehoczky, Haifeng Zhu, Ragunathan Rajkumar
Quantized EDF Scheduling in a Stochastic Environment. IPDPS (2002)
Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
Optimal Partitioning for Quantized EDF Scheduling. RTSS (2002)
Jeffery P. Hansen, Haifeng Zhu, John P. Lehoczky, Ragunathan Rajkumar
Partitioning Considerations for Quantized EDF Scheduling. Scalable Comput. Pract. Exp. 5 (1) (2002)
Jeffery P. Hansen, Haifeng Zhu, Ragunathan Rajkumar
Probabilistic Bandwidth Reservation by Resource Priority Multiplexing. IEEE Real Time Technology and Applications Symposium (2001)
Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
Optimization of Quality of Service in Dynamic Systems. IPDPS (2001)
Chen Lee, John P. Lehoczky, Daniel P. Siewiorek, Ragunathan Rajkumar, Jeffery P. Hansen
A Scalable Solution to the Multi-Resource QoS Problem. RTSS (1999)
Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli
The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. HASE (1999)
Jeffery P. Hansen, Masatoshi Sekine
Synthesis by Spectral Translation Using Boolean Decision Diagrams. DAC (1996)
Atsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, Masatoshi Sekine
Search space reduction in high level synthesis by use of an initial circuit. ASP-DAC (1995)
Jeffery P. Hansen, Daniel P. Siewiorek
Models for Time Coalescence in Event Logs. FTCS (1992)