John W. Baugh Jr.

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