John W. Baugh Jr.

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 12

Top Topics

Modeling Language

Top Venues

Publications

Richard Banach, John W. Baugh Jr.
The 'Causality' Quagmire for Formalised Bond Graphs. ICGT (2024)
Richard Banach, John W. Baugh Jr.
Formalisation, Abstraction and Refinement of Bond Graphs. ICGT (2023)
Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du
Automatic modelling and verification of Autosar architectures. J. Syst. Softw. 201 (2023)
Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan
An HPC Practitioner's Workbench for Formal Refinement Checking. LCPC (2022)
Tristan Dyer, John W. Baugh Jr.
Sterling: A Web-Based Visualizer for Relational Modeling Languages. ABZ (2021)
Tristan Dyer, Alper Altuntas, John W. Baugh Jr.
Bounded Verification of Sparse Matrix Computations. CORRECTNESS@SC (2019)
John W. Baugh Jr., Tristan Dyer
State-Based Formal Methods in Scientific Computation. ABZ (2018)
John W. Baugh Jr., Alper Altuntas
Formal methods and finite element analysis of hurricane storm surge: A case study in software verification. Sci. Comput. Program. 158 (2018)
Alper Altuntas, John W. Baugh Jr.
Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. CORRECTNESS@SC (2018)
Alper Altuntas, John W. Baugh Jr.
Verifying Concurrency in an Adaptive Ocean Circulation Model. CORRECTNESS@SC (2017)
Tristan Dyer, John W. Baugh Jr.
SMT: An interface for localized storm surge modeling. Adv. Eng. Softw. 92 (2016)
John W. Baugh Jr., Alper Altuntas
Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. ABZ (2016)
John W. Baugh Jr., Sujay V. Kumar
Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow. GECCO (2003)
John W. Baugh Jr., R. K. S. Konduri
Discrete Element Modelling on a Cluster of Workstations. Eng. Comput. 17 (1) (2001)
John W. Baugh Jr.
Design and verification of real-time systems. AI in Structural Engineering (1998)
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. 29 (1-2) (1997)
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Verifying an Intelligent Structural Control System: A Case Study. RTSS (1994)
John W. Baugh Jr.
Is Engineering Software Amenable to Formal Specification? Larch (1992)