John W. Baugh Jr.

According to our database, John W. Baugh Jr. authored at least 18 papers between 1992 and 2023.

Collaborative distances:

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

2023

Automatic modelling and verification of Autosar architectures.

Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du

J. Syst. Softw., July, 2023

Formalisation, Abstraction and Refinement of Bond Graphs.

Richard Banach, John W. Baugh Jr.

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

An HPC Practitioner's Workbench for Formal Refinement Checking.

Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan

Proceedings of the Languages and Compilers for Parallel Computing, 2022

2021

Sterling: A Web-Based Visualizer for Relational Modeling Languages.

Tristan Dyer, John W. Baugh Jr.

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2019

Bounded Verification of Sparse Matrix Computations.

Tristan Dyer, Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

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

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.

Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

State-Based Formal Methods in Scientific Computation.

John W. Baugh Jr., Tristan Dyer

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Verifying Concurrency in an Adaptive Ocean Circulation Model.

Alper Altuntas, John W. Baugh Jr.

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

2016

SMT: An interface for localized storm surge modeling.

Tristan Dyer, John W. Baugh Jr.

Adv. Eng. Softw., 2016

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.

John W. Baugh Jr., Alper Altuntas

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2003

Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow.

John W. Baugh Jr., Sujay V. Kumar

Proceedings of the Genetic and Evolutionary Computation, 2003

2001

Discrete Element Modelling on a Cluster of Workstations.

John W. Baugh Jr., R. K. S. Konduri

Eng. Comput., 2001

1998

Design and verification of real-time systems.

John W. Baugh Jr.

Proceedings of the Artificial Intelligence in Structural Engineering, 1998

1997

Modeling and Verifying Active Structural Control Systems.

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.

Sci. Comput. Program., 1997

1994

Verifying an Intelligent Structural Control System: A Case Study.

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1992

Applications of coarse-grained dataflow in computational mechanics.

John W. Baugh Jr., Daniel R. Rehak

Eng. Comput., 1992

Is Engineering Software Amenable to Formal Specification?

John W. Baugh Jr.

Proceedings of the First International Workshop on Larch, 1992