Skip to content

Jeffery P. Hansen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

11

Active years

1995–2016

Best venue rank

A*

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2016RVInput Attribution for Statistical Model Checking Using Logistic Regression.Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle
2015RVStatistical Model Checking of Distributed Adaptive Real-Time Software.David Kyle, Jeffery P. Hansen, Sagar Chaki
2015TACASSemantic Importance Sampling for Statistical Model Checking.Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein
2013WCNCQoS optimization in ad hoc wireless networks through adaptive control of marginal utility.Jeffery P. Hansen, Scott A. Hissam, Lutz Wrage
2013WoWMoMAssessing QoS trade-offs for real-time video.Jeffery P. Hansen, Scott A. Hissam
2012WCNCAdaptive Quality of Service in ad hoc wireless networks.Jeffery P. Hansen, Scott A. Hissam, Daniel Plakosh, Lutz Wrage
2010IUIAgent-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
2006RAIDAnomaly Detector Performance Evaluation Using a Parameterized Environment.Jeffery P. Hansen, Kymie M. C. Tan, Roy A. Maxion
2005RTASScalable QoS-Based Resource Allocation in Hierarchical Networked Environment.Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
2005RTASDiff-EDF: A Simple Mechanism for Differentiated EDF Service.Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar
2004RTSSIntegrated Resource Management and Scheduling with Multi-Resource Constraints.Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky
2004RTASDesign Trade-Offs for Networks with Soft End-to-End Timing Constraints.Haifeng Zhu, John P. Lehoczky, Jeffery P. Hansen, Ragunathan Rajkumar
2003ICDCSScalable Resource Allocation for Multi-Processor QoS Optimization.Sourav Ghosh, Ragunathan Rajkumar, Jeffery P. Hansen, John P. Lehoczky
2002RTSSOptimal Partitioning for Quantized EDF Scheduling.Haifeng Zhu, Jeffery P. Hansen, John P. Lehoczky, Ragunathan Rajkumar
2001RTASProbabilistic Bandwidth Reservation by Resource Priority Multiplexing.Jeffery P. Hansen, Haifeng Zhu, Ragunathan Rajkumar
1999RTSSA Scalable Solution to the Multi-Resource QoS Problem.Chen Lee, John P. Lehoczky, Daniel P. Siewiorek, Ragunathan Rajkumar, Jeffery P. Hansen
1996DACSynthesis by Spectral Translation Using Boolean Decision Diagrams.Jeffery P. Hansen, Masatoshi Sekine
1995ASPDACSearch space reduction in high level synthesis by use of an initial circuit.Atsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, Masatoshi Sekine