John W. Baugh Jr.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1994–2025
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RTAS | Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors. | Kurt M. Wilson, Abdullah Al Arafat, John W. Baugh Jr., Ruozhou Yu, Zhishan Guo |
| 2024 | MEMOCODE | Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS. | Kurt M. Wilson, Abdullah Al Arafat, John W. Baugh Jr., Ruozhou Yu, Zhishan Guo |
| 2019 | SC | Bounded Verification of Sparse Matrix Computations. | Tristan Dyer, Alper Altuntas, John W. Baugh Jr. |
| 2018 | SC | Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. | Alper Altuntas, John W. Baugh Jr. |
| 2017 | SC | Verifying Concurrency in an Adaptive Ocean Circulation Model. | Alper Altuntas, John W. Baugh Jr. |
| 2003 | GECCO | Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow. | John W. Baugh Jr., Sujay V. Kumar |
| 1994 | RTSS | Verifying an Intelligent Structural Control System: A Case Study. | Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr. |