Jeffery P. Hansen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2016

Input Attribution for Statistical Model Checking Using Logistic RegressionJeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle. RV 2016: 185-200 [doi]

2015

Semantic Importance Sampling for Statistical Model CheckingJeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein. TACAS 2015: 241-255 [doi]

Statistical Model Checking of Distributed Adaptive Real-Time SoftwareDavid Kyle, Jeffery P. Hansen, Sagar Chaki. RV 2015: 269-274 [doi]

2013

QoS optimization in ad hoc wireless networks through adaptive control of marginal utilityJeffery P. Hansen, Scott A. Hissam, Lutz Wrage. wcnc 2013: 1192-1197 [doi]

Assessing QoS trade-offs for real-time videoJeffery P. Hansen, Scott A. Hissam. wowmom 2013: 1-6 [doi]

2012

Adaptive Quality of Service in ad hoc wireless networksJeffery P. Hansen, Scott A. Hissam, Daniel Plakosh, Lutz Wrage. wcnc 2012: 1749-1754 [doi]

2010

Agent-assisted task management that reduces email overloadAndrew Faulring, Brad A. Myers, Ken Mohnkern, Bradley R. Schmerl, Aaron Steinfeld, John Zimmerman, Asim Smailagic, Jeffery P. Hansen, Daniel P. Siewiorek. IUI 2010: 61-70 [doi]

2006

Integrated QoS-aware resource management and scheduling with multi-resource constraintsSourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky. rts, 33(1-3):7-46, 2006. [doi]

Anomaly Detector Performance Evaluation Using a Parameterized EnvironmentJeffery P. Hansen, Kymie M. C. Tan, Roy A. Maxion. raid 2006: 106-126 [doi]

2005

2004

2003

Scalable Resource Allocation for Multi-Processor QoS OptimizationSourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky. icdcs 2003: 174-183 [doi]

2002

2001

Optimization of Quality of Service in Dynamic SystemsJeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar. ipps 2001: 95

Probabilistic Bandwidth Reservation by Resource Priority MultiplexingJeffery P. Hansen, Haifeng Zhu, Ragunathan Rajkumar. rtas 2001: 171 [doi]

1999

The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance ComputingCarol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli. hase 1999: 207-216 [doi]

A Scalable Solution to the Multi-Resource QoS ProblemChen Lee, John P. Lehoczky, Daniel P. Siewiorek, Ragunathan Rajkumar, Jeffery P. Hansen. rtss 1999: 315-326 [doi]

1996

Synthesis by Spectral Translation Using Boolean Decision DiagramsJeffery P. Hansen, Masatoshi Sekine. dac 1996: 248-253 [doi]

1995

Search space reduction in high level synthesis by use of an initial circuitAtsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, Masatoshi Sekine. aspdac 1995: [doi]

1992

Models for Time Coalescence in Event LogsJeffery P. Hansen, Daniel P. Siewiorek. ftcs 1992: 221-227

Sign in or sign up to see more results.

runs on WebDSL