I agree that this site is using cookies. You can find further informations here.
X
Jones, Phillip
56  results:
Bookchapter (Online) X
Search for persons X
?
1

R2U2 Version 3.0: Re-Imagining a Toolchain for Specificatio..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Johannsen, Chris ; Jones, Phillip ; Kempa, Brian.. - p. 483-497 , 2023
Link: https://doi.org/10.1007/..
 
?
2

An evaluation of a slice fault aware tool chain:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Gupte, Adwait ; Jones, Phillip - p. 1803-1808 , 2010
Link: https://dl.acm.org/doi/1..
 
?
3

Hotspot Mitigation Using Dynamic Partial Reconfiguration fo..:

, In: 2009 International Conference on Reconfigurable Computing and FPGAs,
Gupte, Adwait ; Jones, Phillip - p. None , 2009
Link: https://doi.org/10.1109/..
 
?
4

Case Studies in Applying Design Thinking to Course Design i..:

, In: 2023 IEEE Frontiers in Education Conference (FIE),
Rover, Diane T. ; Duwe, Henry ; Jones, Phillip H... - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Model Predictive Runtime Verification for Cyber-Physical Sy..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Zhang, Pei ; Aurandt, Alexis ; Dureja, Rohit.. - p. 158-180 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Maximum Satisfiability of Mission-Time Linear Temporal Logi:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Hariharan, Gokul ; Jones, Phillip H. ; Rozier, Kristin Yvonne. - p. 86-104 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Impossible Made Possible: Encoding Intractable Specificatio..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Johannsen, Chris ; Kempa, Brian ; Jones, Phillip H... - p. 151-169 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Runtime Verification Triggers Real-Time, Autonomous Fault R..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Aurandt, Alexis ; Jones, Phillip H. ; Rozier, Kristin Yvonne - p. 816-825 , 2022
Link: https://doi.org/10.1007/..
 
?
9

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signal..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Hariharan, Gokul ; Kempa, Brian ; Wongpiromsarn, Tichakorn.. - p. 187-204 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Defining and Supporting a Debugging Mindset in Computer Eng..:

, In: 2022 IEEE Frontiers in Education Conference (FIE),
Duwe, Henry ; Rover, Diane T. ; Jones, Phillip H... - p. 1-9 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Integrating Runtime Verification into an Automated UAS Traf..:

, In: Communications in Computer and Information Science; Software Architecture,
Cauwels, Matthew ; Hammer, Abigail ; Hertz, Benjamin.. - p. 340-357 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Introducing Autonomy in an Embedded Systems Course Project:

, In: 2020 IEEE Frontiers in Education Conference (FIE),
Rover, Diane T. ; Fila, Nicholas D. ; Jones, Phillip H.. - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
13

Embedding Online Runtime Verification for Fault Disambiguat..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Kempa, Brian ; Zhang, Pei ; Jones, Phillip H... - p. 196-214 , 2020
Link: https://doi.org/10.1007/..
 
?
14

ParaHist: FPGA Implementation of Parallel Event-Based Histo..:

, In: 2020 IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP),
Pivezhandi, Mohammad ; Jones, Phillip H. ; Zambreno, Joseph - p. 185-188 , 2020
Link: https://doi.org/10.1109/..
 
?
15

Contributors:

, In: A Natural History of Bat Foraging,
Barber, Jesse R. ; Becker, Daniel J. ; Boyles, Justin G.... - p. xiii-xvi , 2024
Link: https://doi.org/10.1016/..
 
1-15