Jeffrey Joyce

According to our database, Jeffrey Joyce authored at least 3 papers between 1987 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins.

Laure Millet, Justin Kernot, Arun Adiththan, S. Ramesh, Rami Debouk, Jeffrey Joyce

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

1991

From formal verification to silicon compilation.

Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke

Proceedings of the Compcon Spring '91, San Francisco, 1991

1987

Monitoring Distributed Systems.

Jeffrey Joyce, Greg Lomow, Konrad Slind, Brian W. Unger

ACM Trans. Comput. Syst., 1987