default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jeffery P. Hansen
@inproceedings{DBLP:conf/rv/HansenCHEMK16,
author = {Jeffery P. Hansen and
Sagar Chaki and
Scott A. Hissam and
James R. Edmondson and
Gabriel A. Moreno and
David Kyle},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Input Attribution for Statistical Model Checking Using Logistic Regression},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {185--200},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_12},
doi = {10.1007/978-3-319-46982-9\_12},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/HansenCHEMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KyleHC15,
author = {David Kyle and
Jeffery P. Hansen and
Sagar Chaki},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Statistical Model Checking of Distributed Adaptive Real-Time Software},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {269--274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_17},
doi = {10.1007/978-3-319-23820-3\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KyleHC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HansenWCNK15,
author = {Jeffery P. Hansen and
Lutz Wrage and
Sagar Chaki and
Dionisio de Niz and
Mark H. Klein},
editor = {Christel Baier and
Cesare Tinelli},
title = {Semantic Importance Sampling for Statistical Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {241--255},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_21},
doi = {10.1007/978-3-662-46681-0\_21},
timestamp = {Thu, 06 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HansenWCNK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/HansenHW13,
author = {Jeffery P. Hansen and
Scott A. Hissam and
Lutz Wrage},
title = {QoS optimization in ad hoc wireless networks through adaptive control
of marginal utility},
booktitle = {2013 {IEEE} Wireless Communications and Networking Conference (WCNC),
Shanghai, Shanghai, China, April 7-10, 2013},
pages = {1192--1197},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/WCNC.2013.6554733},
doi = {10.1109/WCNC.2013.6554733},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/HansenHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/HansenH13,
author = {Jeffery P. Hansen and
Scott A. Hissam},
title = {Assessing QoS trade-offs for real-time video},
booktitle = {{IEEE} 14th International Symposium on "A World of Wireless, Mobile
and Multimedia Networks", WoWMoM 2013, Madrid, Spain, June 4-7, 2013},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WoWMoM.2013.6583504},
doi = {10.1109/WOWMOM.2013.6583504},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/HansenH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/HansenHPW12,
author = {Jeffery P. Hansen and
Scott A. Hissam and
Daniel Plakosh and
Lutz Wrage},
title = {Adaptive Quality of Service in ad hoc wireless networks},
booktitle = {2012 {IEEE} Wireless Communications and Networking Conference, {WCNC}
2012, Paris, France, April 1-4, 2012},
pages = {1749--1754},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WCNC.2012.6214067},
doi = {10.1109/WCNC.2012.6214067},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/HansenHPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/FaulringMMSSZSHS10,
author = {Andrew Faulring and
Brad A. Myers and
Ken Mohnkern and
Bradley R. Schmerl and
Aaron Steinfeld and
John Zimmerman and
Asim Smailagic and
Jeffery P. Hansen and
Daniel P. Siewiorek},
editor = {Charles Rich and
Qiang Yang and
Marc Cavazza and
Michelle X. Zhou},
title = {Agent-assisted task management that reduces email overload},
booktitle = {Proceedings of the 15th International Conference on Intelligent User
Interfaces, {IUI} 2010, Hong Kong, China, February 7-10, 2010},
pages = {61--70},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1719970.1719980},
doi = {10.1145/1719970.1719980},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iui/FaulringMMSSZSHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HansenHM09,
author = {Jeffery P. Hansen and
Scott A. Hissam and
Gabriel A. Moreno},
editor = {Niklas Holsti},
title = {Statistical-Based {WCET} Estimation and Validation},
booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2291},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HansenHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/GhoshRHL06,
author = {Sourav Ghosh and
Ragunathan Rajkumar and
Jeffery P. Hansen and
John P. Lehoczky},
title = {Integrated QoS-aware resource management and scheduling with multi-resource
constraints},
journal = {Real Time Syst.},
volume = {33},
number = {1-3},
pages = {7--46},
year = {2006},
url = {https://doi.org/10.1007/s11241-006-6881-0},
doi = {10.1007/S11241-006-6881-0},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/GhoshRHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/HansenTM06,
author = {Jeffery P. Hansen and
Kymie M. C. Tan and
Roy A. Maxion},
editor = {Diego Zamboni and
Christopher Kr{\"{u}}gel},
title = {Anomaly Detector Performance Evaluation Using a Parameterized Environment},
booktitle = {Recent Advances in Intrusion Detection, 9th International Symposium,
{RAID} 2006, Hamburg, Germany, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4219},
pages = {106--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856214\_6},
doi = {10.1007/11856214\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/HansenTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZhuHLR05,
author = {Haifeng Zhu and
Jeffery P. Hansen and
John P. Lehoczky and
Ragunathan Rajkumar},
title = {{RETINA:} REal-TIme Network Analyzer},
booktitle = {19th International Parallel and Distributed Processing Symposium {(IPDPS}
2005), {CD-ROM} / Abstracts Proceedings, 4-8 April 2005, Denver, CO,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/IPDPS.2005.383},
doi = {10.1109/IPDPS.2005.383},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ZhuHLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GhoshRHL05,
author = {Sourav Ghosh and
Ragunathan Rajkumar and
Jeffery P. Hansen and
John P. Lehoczky},
title = {Scalable QoS-Based Resource Allocation in Hierarchical Networked Environment},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {256--267},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.47},
doi = {10.1109/RTAS.2005.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/GhoshRHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZhuLHR05,
author = {Haifeng Zhu and
John P. Lehoczky and
Jeffery P. Hansen and
Ragunathan Rajkumar},
title = {Diff-EDF: {A} Simple Mechanism for Differentiated {EDF} Service},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {268--277},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.18},
doi = {10.1109/RTAS.2005.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZhuLHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HansenGRL04,
author = {Jeffery P. Hansen and
Sourav Ghosh and
Ragunathan Rajkumar and
John P. Lehoczky},
title = {Resource Management of Highly Configurable Tasks},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303070},
doi = {10.1109/IPDPS.2004.1303070},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HansenGRL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZhuLHR04,
author = {Haifeng Zhu and
John P. Lehoczky and
Jeffery P. Hansen and
Ragunathan Rajkumar},
title = {Design Trade-Offs for Networks with Soft End-to-End Timing Constraints},
booktitle = {10th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2004), 25-28 May 2004, Toronto, Canada},
pages = {413--423},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RTTAS.2004.1317288},
doi = {10.1109/RTTAS.2004.1317288},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZhuLHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GhoshHRL04,
author = {Sourav Ghosh and
Jeffery P. Hansen and
Ragunathan Rajkumar and
John P. Lehoczky},
title = {Integrated Resource Management and Scheduling with Multi-Resource
Constraints},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {12--22},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.25},
doi = {10.1109/REAL.2004.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GhoshHRL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GhoshRHL03,
author = {Sourav Ghosh and
Ragunathan Rajkumar and
Jeffery P. Hansen and
John P. Lehoczky},
title = {Scalable Resource Allocation for Multi-Processor QoS Optimization},
booktitle = {23rd International Conference on Distributed Computing Systems {(ICDCS}
2003), 19-22 May 2003, Providence, RI, {USA}},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICDCS.2003.1203464},
doi = {10.1109/ICDCS.2003.1203464},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/GhoshRHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/HansenZLR02,
author = {Jeffery P. Hansen and
Haifeng Zhu and
John P. Lehoczky and
Ragunathan Rajkumar},
title = {Partitioning Considerations for Quantized {EDF} Scheduling},
journal = {Parallel Distributed Comput. Pract.},
volume = {5},
number = {1},
year = {2002},
url = {http://www.scpe.org/index.php/scpe/article/view/269},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/HansenZLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HansenLZR02,
author = {Jeffery P. Hansen and
John P. Lehoczky and
Haifeng Zhu and
Ragunathan Rajkumar},
title = {Quantized {EDF} Scheduling in a Stochastic Environment},
booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1016476},
doi = {10.1109/IPDPS.2002.1016476},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HansenLZR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ZhuHLR02,
author = {Haifeng Zhu and
Jeffery P. Hansen and
John P. Lehoczky and
Ragunathan Rajkumar},
title = {Optimal Partitioning for Quantized {EDF} Scheduling},
booktitle = {Proceedings of the 23rd {IEEE} Real-Time Systems Symposium (RTSS'02),
Austin, Texas, USA, December 3-5, 2002},
pages = {212--222},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/REAL.2002.1181576},
doi = {10.1109/REAL.2002.1181576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ZhuHLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HansenLR01,
author = {Jeffery P. Hansen and
John P. Lehoczky and
Ragunathan Rajkumar},
title = {Optimization of Quality of Service in Dynamic Systems},
booktitle = {Proceedings of the 15th International Parallel {\&} Distributed
Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
2001},
pages = {95},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IPDPS.2001.925056},
doi = {10.1109/IPDPS.2001.925056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HansenLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/HansenZR01,
author = {Jeffery P. Hansen and
Haifeng Zhu and
Ragunathan Rajkumar},
title = {Probabilistic Bandwidth Reservation by Resource Priority Multiplexing},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
pages = {171--178},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RTTAS.2001.929884},
doi = {10.1109/RTTAS.2001.929884},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/HansenZR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HooverHKT99,
author = {Carol L. Hoover and
Jeffery P. Hansen and
Philip Koopman and
Sandeep Tamboli},
title = {The Amaranth Framework: Probabilistic, Utility-Based Quality of Service
Management for High-Assurance Computing},
booktitle = {4th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} '99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
pages = {207--216},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HASE.1999.809496},
doi = {10.1109/HASE.1999.809496},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HooverHKT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LeeLSRH99,
author = {Chen Lee and
John P. Lehoczky and
Daniel P. Siewiorek and
Ragunathan Rajkumar and
Jeffery P. Hansen},
title = {A Scalable Solution to the Multi-Resource QoS Problem},
booktitle = {Proceedings of the 20th {IEEE} Real-Time Systems Symposium, Phoenix,
AZ, USA, December 1-3, 1999},
pages = {315--326},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/REAL.1999.818859},
doi = {10.1109/REAL.1999.818859},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LeeLSRH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HansenS96,
author = {Jeffery P. Hansen and
Masatoshi Sekine},
editor = {Thomas Pennino and
Ellen J. Yoffa},
title = {Synthesis by Spectral Translation Using Boolean Decision Diagrams},
booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
Nevada, USA, Las Vegas Convention Center, June 3-7, 1996},
pages = {248--253},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/240518.240564},
doi = {10.1145/240518.240564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HansenS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/MasudaIHS95,
author = {Atsushi Masuda and
Hiroshi Imai and
Jeffery P. Hansen and
Masatoshi Sekine},
editor = {Isao Shirakawa},
title = {Search space reduction in high level synthesis by use of an initial
circuit},
booktitle = {Proceedings of the 1995 Conference on Asia Pacific Design Automation,
Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224818.224958},
doi = {10.1145/224818.224958},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/MasudaIHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/HansenS92,
author = {Jeffery P. Hansen and
Daniel P. Siewiorek},
title = {Models for Time Coalescence in Event Logs},
booktitle = {Digest of Papers: FTCS-22, The Twenty-Second Annual International
Symposium on Fault-Tolerant Computing, Boston, Massachusetts, USA,
July 8-10, 1992},
pages = {221--227},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/FTCS.1992.243597},
doi = {10.1109/FTCS.1992.243597},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/HansenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-02 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
