Phillip H. Jones
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
13
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor. | Alexis A. Aurandt, Kristin Yvonne Rozier, Phillip H. Jones |
| 2025 | FMCAD | Scalable MLTL Runtime Monitoring and Satisfiability via Bit-Vector Encoding. | Christopher Johannsen, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
| 2024 | FMICS | Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. | Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn |
| 2023 | CAV | R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. | Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang |
| 2023 | FIE | Case Studies in Applying Design Thinking to Course Design in Computer Engineering. | Diane T. Rover, Henry Duwe, Phillip H. Jones, Nicholas D. Fila, Mani Mina |
| 2023 | FMICS | Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. | Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
| 2022 | CAV | MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. | Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier |
| 2022 | FIE | Defining and Supporting a Debugging Mindset in Computer Engineering Courses. | Henry Duwe, Diane T. Rover, Phillip H. Jones, Nicholas D. Fila, Mani Mina |
| 2021 | FIE | Learning and Professional Development Through Integrated Reflective Activities in Electrical and Computer Engineering Courses. | Diane T. Rover, Henry J. Duwe III, Mani Mina, Nicholas D. Fila, Phillip H. Jones, Lindsey S. Sleeth |
| 2020 | ECSA | Integrating Runtime Verification into an Automated UAS Traffic Management System. | Matthew Cauwels, Abigail Hammer, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier |
| 2020 | FIE | Introducing Autonomy in an Embedded Systems Course Project. | Diane T. Rover, Nicholas D. Fila, Phillip H. Jones, Mani Mina |
| 2019 | FCCM | Analyzing the Energy-Efficiency of Vision Kernels on Embedded CPU, GPU and FPGA Platforms. | Murad Qasaimeh, Joseph Zambreno, Phillip H. Jones, Kristof Denolf, Jack Lo, Kees A. Vissers |
| 2018 | FPL | A Runtime Configurable Hardware Architecture for Computing Histogram-Based Feature Descriptors. | Murad Qasaimeh, Joseph Zambreno, Phillip H. Jones |
| 2016 | FIE | Evidence-based planning to broaden the participation of women in electrical and computer engineering. | Diane T. Rover, Joseph Zambreno, Mani Mina, Phillip H. Jones, Lora Leigh Chrystal |
| 2015 | FPL | A software configurable coprocessor-based state-space controller. | Aaron Mills, Pei Zhang, Sudhanshu Vyas, Joseph Zambreno, Phillip H. Jones |
| 2014 | ICCD | Cache design for mixed criticality real-time systems. | N. G. Chetan Kumar, Sudhanshu Vyas, Ron K. Cytron, Christopher D. Gill, Joseph Zambreno, Phillip H. Jones |
| 2014 | MEMOCODE | A high performance systolic architecture for k-NN classification. | Kevin Townsend, Phillip H. Jones, Joseph Zambreno |
| 2013 | ICCS | Scheduling Challenges in Mixed Critical Real-Time Heterogeneous Computing Platforms. | Chetan Kumar N. G., Sudhanshu Vyas, Ron K. Cytron, Christopher D. Gill, Joseph Zambreno, Phillip H. Jones |
| 2012 | ICCD | Design and evaluation of a delay-based FPGA Physically Unclonable Function. | Aaron Mills, Sudhanshu Vyas, Michael Patterson, Christopher Sabotta, Phillip H. Jones, Joseph Zambreno |
| 2012 | MEMOCODE | Shepard: A fast exact match short read aligner. | Chad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno |
| 2011 | ICCD | Circumventing a ring oscillator approach to FPGA-based hardware Trojan detection. | Justin Rilling, David Graziano, Jamin Hitchcock, Tim Meyer, Xinying Wang, Phillip H. Jones, Joseph Zambreno |
| 2010 | DATE | An evaluation of a slice fault aware tool chain. | Adwait Gupte, Phillip H. Jones |
| 2010 | MEMOCODE | CANSCID-CUDA. | Michael Steffen, Veerendra Allada, Phillip H. Jones, Joseph Zambreno |
| 2010 | MEMOCODE | Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. | Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones |
| 2009 | RTCSA | Towards Hardware Support for Common Sensor Processing Tasks. | Adwait Gupte, Phillip H. Jones |
| 2007 | FCCM | Changing Output Quality for Thermal Management. | Phillip H. Jones, James Moscola, Young H. Cho, John W. Lockwood |
| 2007 | FPL | Adaptive Thermoregulation for Applications on Reconfigurable Devices. | Phillip H. Jones, James Moscola, Young H. Cho, John W. Lockwood |
| 2007 | VLSID | Dynamically Optimizing FPGA Applications by Monitoring Temperature and Workloads. | Phillip H. Jones, Young H. Cho, John W. Lockwood |
| 2006 | FPL | A Thermal Management and Profiling Method for Reconfigurable Hardware Applications. | Phillip H. Jones, John W. Lockwood, Young H. Cho |