John Baugh

According to our database, John Baugh authored at least 5 papers between 2007 and 2025.

Collaborative distances:

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

2025

Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo

Proceedings of the 31st IEEE Real-Time and Embedded Technology and Applications Symposium, 2025

Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Xue Liu, Zhishan Guo

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS.

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

2021

Industrial Symbiosis Waste Exchange Identification and Optimization.

Danielle Curri, Tarek Aziz, John Baugh, Jeremiah Johnson

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2007

Linguistic Contributions to the Advancement of Racial Justice Within and Beyond the African Diaspora.

John Baugh

Lang. Linguistics Compass, 2007