Is Engineering Software Amenable to Formal Specification? - John W. Baugh Jr. (Larch, 1992)

Applications of coarse-grained dataflow in computational mechanics. - John W. Baugh Jr.; Daniel R. Rehak (Eng. Comput., 1992)

Verifying an Intelligent Structural Control System: A Case Study. - Wael M. Elseaidy; Rance Cleaveland; John W. Baugh Jr. (RTSS, 1994)

Modeling and Verifying Active Structural Control Systems. - Wael M. Elseaidy; Rance Cleaveland; John W. Baugh Jr. (Sci. Comput. Program., 1997)

Design and verification of real-time systems. - John W. Baugh Jr. (AI in Structural Engineering, 1998)

Discrete Element Modelling on a Cluster of Workstations. - John W. Baugh Jr.; R. K. S. Konduri (Eng. Comput., 2001)

Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow. - John W. Baugh Jr.; Sujay V. Kumar (GECCO, 2003)

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. - John W. Baugh Jr.; Alper Altuntas (ABZ, 2016)

SMT: An interface for localized storm surge modeling. - Tristan Dyer; John W. Baugh Jr. (Adv. Eng. Softw., 2016)

Verifying Concurrency in an Adaptive Ocean Circulation Model. - Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2017)

State-Based Formal Methods in Scientific Computation. - John W. Baugh Jr.; Tristan Dyer (ABZ, 2018)

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. - Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2018)

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification. - John W. Baugh Jr.; Alper Altuntas (Sci. Comput. Program., 2018)

Bounded Verification of Sparse Matrix Computations. - Tristan Dyer; Alper Altuntas; John W. Baugh Jr. (CORRECTNESS@SC, 2019)

Sterling: A Web-Based Visualizer for Relational Modeling Languages. - Tristan Dyer; John W. Baugh Jr. (ABZ, 2021)

An HPC Practitioner's Workbench for Formal Refinement Checking. - Juan Benavides; John W. Baugh Jr.; Ganesh Gopalakrishnan (LCPC, 2022)

Formalisation, Abstraction and Refinement of Bond Graphs. - Richard Banach; John W. Baugh Jr. (ICGT, 2023)

Automatic modelling and verification of Autosar architectures. - Miaomiao Zhang 003; Yu Teng; Hui Kong 007; John W. Baugh Jr.; Yu Su; Junri Mi; Bowen Du 002 (J. Syst. Softw., 2023)

The 'Causality' Quagmire for Formalised Bond Graphs. - Richard Banach; John W. Baugh Jr. (ICGT, 2024)