John W Baugh

Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors

Wilson, K., Arafat, A. A., Baugh, J., Yu, R., & Guo, Z. (2025, May 6). 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS).

Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 22, 1–11.

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling

Verification of Scientific Software (VSS 2025), a workshop of ETAPS 2025: European Joint Conferences on Theory and Practice of Software. Presented at the Hamilton, Ontario, Canada. Hamilton, Ontario, Canada.

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS

Wilson, K., Arafat, A. A., Baugh, J., Yu, R., & Guo, Z. (2024, October 3). 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), pp. 96–100.

The ‘Causality’ Quagmire for Formalised Bond Graphs

In Lecture Notes in Computer Science: Vol. 14774. Graph Transformation (pp. 99–117).

An HPC Practitioner’s Workbench for Formal Refinement Checking

Benavides, J., Baugh, J., & Gopalakrishnan, G. (2023, January 1). Lecture Notes in Computer Science, pp. 64–72.

Automatic modelling and verification of AUTOSAR architectures

Journal of Systems and Software, 201, 111675.

Formalisation, Abstraction and Refinement of Bond Graphs

In Lecture Notes in Computer Science: Vol. 13961. Graph Transformation (pp. 145–162).

Proceedings of the 2023 Improving Scientific Software Conference

Peterson, T., Vanderwende, B., Mickelson, S., & Nusbaumer, J. (2023, June 21). UCAR/NCAR, pp. 1–9.

Identifying cyber-physical vulnerabilities of water distribution systems using finite state processes

2nd International Joint Conference on Water Distribution System Analysis & Computing and Control in the Water Industry, WDSA CCWI 2022, (14838).

Industrial Symbiosis Waste Exchange Identification and Optimization

Presented at the Hawaii International Conference on System Sciences.

Significance of multi-hazard risk in design of buildings under earthquake and wind loads

Kwag, S., Gupta, A., Baugh, J., & Kim, H.-S. (2021, June 9). Engineering Structures, Vol. 243.

Sterling: A Web-Based Visualizer for Relational Modeling Languages

In Lecture Notes in Computer Science: Vol. 12709. Rigorous State-Based Methods. ABZ 2021 (pp. 99–104).

A Simple Hybrid Event-B Model of an Active Control System for Earthquake Protection

Banach, R., & Baugh, J. (2019, April 16). (A. Adamatzky & V. Kendon, Eds.). Emergence, Complexity and Computation, Vol. 35, pp. 157–194.

Bounded Verification of Sparse Matrix Computations

Dyer, T., Altuntas, A., & Baugh, J. (2019, November 1). 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 36–43.

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software

Altuntas, A., & Baugh, J. (2018, November 1). Proceedings of the Second International Workshop on Software Correctness for HPC Applications, Correctness'18, pp. 1–8.

Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor

Liu, X., Jiang, W., Yang, B., & Baugh, J. (2018, September 21). Estuarine Coastal and Shelf Science, Vol. 215, pp. 39–51.

State-Based Formal Methods in Scientific Computation

Baugh, J., & Dyer, T. (2018, January 1). (M. Butler, A. Raschke, T. S. Hoang, & K. Reichl, Eds.). Lecture Notes in Computer Science, pp. 392–396.

Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models

Altuntas, A., & Baugh, J. (2017, May 24). Ocean Modelling, Vol. 115, pp. 86–104.

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification

Baugh, J., & Altuntas, A. (2017, September 8). Science of Computer Programming, Vol. 158, pp. 100–121.

Verifying Concurrency in an Adaptive Ocean Circulation Model

Altuntas, A., & Baugh, J. (2017, October 31). Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17.

A general characterization of the Hardy Cross method as sequential and multiprocess algorithms

Baugh, J., & Liu, S. (2016, April 10). Structures, Vol. 6, pp. 170–181.

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

Baugh, J., & Altuntas, A. (2016, January 1). (M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). Lecture Notes in Computer Science, Vol. 9675, pp. 256–261.

An exact reanalysis technique for storm surge and tides in a geographic region of interest

Baugh, J., Altuntas, A., Dyer, T., & Simon, J. (2015, January 7). Coastal Engineering, Vol. 97, pp. 60–77.

SMT: An interface for localized storm surge modeling

Dyer, T., & Baugh, J. (2015, November 19). Advances in Engineering Software, Vol. 92, pp. 27–39.

The effects of construction related costs on the optimization of steel frames

Choi, B.-H., & Gupta, A. (2012, July 10). STRUCTURAL ENGINEERING AND MECHANICS, Vol. 43, pp. 31–51.

A novel optimization approach for minimum cost design of trusses

Kripakaran, P., Gupta, A., & Baugh, J. W. (2007, June 14). Computers & Structures, Vol. 85, pp. 1782–1794.

Closure to “Optimal Design of Redundant Water Distribution Networks Using a Cluster of Workstations” by Sujay V. Kumar, Troy A. Doby, John W. Baugh Jr., E. Downey Brill, and S. Ranji Ranjithan

Kumar, S. V., Doby, T. A., Baugh, J. W., Brill, E. D., & Ranjithan, S. R. (2007, October 15). Journal of Water Resources Planning and Management, Vol. 133, pp. 580–581.

Optimal Design of Redundant Water Distribution Networks Using a Cluster of Workstations

Kumar, S. V., Doby, T. A., Baugh, J. W., Brill, E. D., & Ranjithan, S. R. (2006, August 18). Journal of Water Resources Planning and Management, Vol. 132, pp. 374–384.

Genetic Algorithm-Based Decision Support for Optimizing Seismic Response of Piping Systems

Gupta, A., Kripakaran, P., Mahinthakumar, G., & Baugh, J. W. (2005, February 16). Journal of Structural Engineering, Vol. 131, pp. 389–398.

Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow

Baugh, J. W., & Kumar, S. V. (2003, January 1). Lecture Notes in Computer Science, Vol. 2723, pp. 730–741.

Asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2723, pp. 730–741). http://www.scopus.com/inward/record.url?eid=2-s2.0-35248893482&partnerID=MN8TOARS

New GA approaches for pipe support optimization

Proceedings of the Structures Congress and Exposition, 61–62. http://www.scopus.com/inward/record.url?eid=2-s2.0-22344433506&partnerID=MN8TOARS

Creating interactive animated instructional programs on a Unix-based workstation

Hummer, J. E., Baugh, J. W., Abraham, M., & Konuru, B. P. (2002, December 30). Proceedings - Frontiers in Education Conference, FIE, pp. 70–75.

Discrete Element Modelling on a Cluster of Workstations

Baugh, J. W., Jr., & Konduri, R. K. S. (2001, May 2). Engineering With Computers, Vol. 17, pp. 1–15.

Discrete element modelling on a cluster of workstations

Engineering with Computers, 17(1), 1–15. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035194161&partnerID=MN8TOARS

GENETIC ALGORITHM APPROACHES FOR ADDRESSING UNMODELED OBJECTIVES IN OPTIMIZATION PROBLEMS

LOUGHLIN, D. A. N. I. E. L. H., RANJITHAN, S. R. A. N. J. I., BRILL, E. D. O. W. N. E. Y., & BAUGH, J. O. H. N. W. (2001, June 1). Engineering Optimization, Vol. 33, pp. 549–569.

Genetic Algorithm Search for Least Cost Design of Looped Pipe Networks Using Age as a Quality Surrogate and Different Levels of Redundancy

Doby, T. A., Kumar, S. V., Baugh, J. W., Brill, E. D., & Ranjithan, S. R. (2001, May 15). Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, Vol. 111.

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems

Engineering Optimization, 33(5), 549–569. http://www.scopus.com/inward/record.url?eid=2-s2.0-2342512900&partnerID=MN8TOARS

Vitri: A Framework for Environmental Decision Support on Heterogeneous Computer Networks

Kumar, S. V., Doby, T. A., Baugh, J. W., Jr., Brill, E. D., Jr., & Ranjithan, S. R. (2001, May 15). Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, Vol. 111.

Winston-Salem Mobility Manager: Data Collection, Validation, and Performance Evaluation

Stone, J. R., Baugh, J. W., Chakravarty, S., & Surasky, M. N. (2001, January 1). Transportation Research Record Journal of the Transportation Research Board, pp. 114–120.

Winston-Salem Mobility Manager: Data collection, validation, and performance evaluation

In Transportation Research Record (pp. 114–120). http://www.scopus.com/inward/record.url?eid=2-s2.0-0035728022&partnerID=MN8TOARS

Application of Genetic Algorithms for the Design of Ozone Control Strategies

Loughlin, D. H., Ranjithan, S. R., Baugh, J. W., & Brill, E. D. (2000, June 1). Journal of the Air & Waste Management Association, Vol. 50, pp. 1050–1063.

Finite State Verification of Intelligent Transportation Systems

Baugh, J. W., & Kakivaya, G. K. R. (2000, January 1). Journal of Computing in Civil Engineering, Vol. 14, pp. 38–50.

Method for Least Cost Design of Looped Pipe Networks for Different Levels of Redundancy Using Genetic Algorithms

Kumar, S. V., Doby, T. A., Baugh, J. W., Brill, E. D., & Ranjithan, S. R. (2000, September 11). Joint Conference on Water Resource Engineering and Water Resources Planning and Management 2000: Building Partnerships, Vol. 104.

Formal specification of concurrent systems

Chadha, H. S., Baugh, J. W., & Wing, J. M. (1999, March 1). Advances in Engineering Software, Vol. 30, pp. 211–224.

Formal specification of concurrent systems

Advances in Engineering Software, 30(3), 211–224. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033098338&partnerID=MN8TOARS

A Web-based computing environment for structural analysis and design

Structural engineering world wide 1998: Proceedings of the Structural Engineers World Congress, July 19-23, 1998, San Francisco, California, 1, T140–1.

Design and verification of real-time systems

Baugh, J. W. (1998, January 1). Lecture Notes in Computer Science, Vol. 1454, pp. 30–47.

INTRACTABILITY OF THE DIAL-A-RIDE PROBLEM AND A MULTIOBJECTIVE SOLUTION USING SIMULATED ANNEALING

BAUGH, J. O. H. N. W., KAKIVAYA, G. O. P. A. L. A. K. R. I. S. H. N. A. R. E. D. D. Y., & STONE, J. O. H. N. R. (1998, February 1). Engineering Optimization, Vol. 30, pp. 91–123.

Prototype decision support tool for developing tropospheric ozone control strategies

Water resources and the urban environment-98: Proceedings of the 1998 National Conference on Environmental Engineering. ASCE Joint 25th Annual Conference on Water Resources Planning and Management and 1998 National Conference on Environmental Engineering, Chicago, IL, June 7-10,1998. Reston, VA: American Society of Civil Engineers.

A MATHEMATICAL PROGRAMMING APPROACH FOR GENERATING ALTERNATIVES IN DISCRETE STRUCTURAL OPTIMIZATION

BAUGH, J. O. H. N. W., CALDWELL, S. H. A. N. N. O. N. C., & BRILL, E. D. O. W. N. E. Y. (1997, May 1). Engineering Optimization, Vol. 28, pp. 1–31.

A mathematical programming approach for generating alternatives in discrete structural optimization

Engineering Optimization, 28(1-2), 1–31. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030703305&partnerID=MN8TOARS

Modeling and verifying active structural control systems

Elseaidy, W. M., Cleaveland, R., & Baugh, J. W. (1997, July 1). Science of Computer Programming, Vol. 29, pp. 99–122.

Modeling and verifying active structural control systems

Science of Computer Programming, 29(1-2), 99–122. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031185496&partnerID=MN8TOARS

Semantic Validation of Product and Process Models

Baugh, J. W., & Chadha, H. S. (1997, January 1). Journal of Computing in Civil Engineering, Vol. 11, pp. 26–36.

A controlled comparison of traditional classroom instruction with computer based instruction in an engineering class

ASEE Annual Conference Proceedings, 31–35. http://www.scopus.com/inward/record.url?eid=2-s2.0-8744254801&partnerID=MN8TOARS

Formal specification of concurrent finite element systems

Proceedings of the Conference on Analysis and Computation, 166–176. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029735025&partnerID=MN8TOARS

Network-distributed finite element analysis

Advances in Engineering Software, 25(2-3), 267–280. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030102588&partnerID=MN8TOARS

Verification of an active control system using temporal process Algebra

Engineering with Computers, 12(1), 46–61. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029753271&partnerID=MN8TOARS

Verifying the timing requirements of multiprocessor control systems

Proceedings of the Conference on Analysis and Computation, 278–285. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029736047&partnerID=MN8TOARS

Decision support system for air quality management

Computing in Civil Engineering (New York), 2, 1367–1374. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029238746&partnerID=MN8TOARS

Multiobjective optimization of the dial-a-ride problem using simulated annealing

Computing in Civil Engineering (New York), 1, 278–285. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029229542&partnerID=MN8TOARS

Real-Time Software Development with Formal Models

Baugh, J. W., & Elseaidy, W. M. (1995, January 1). Journal of Computing in Civil Engineering, Vol. 9, pp. 73–86.

Evaluation of distributed finite element algorithms on a workstation network

Baugh, J. W., & Sharma, S. K. (1994, March 1). Engineering With Computers, Vol. 10, pp. 45–62.

Formal specification of AEC product models

Computing in Civil Engineering (New York), (1), 571–578. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028561189&partnerID=MN8TOARS

Modeling to generate alternatives in discrete structural optimization

Computing in Civil Engineering (New York), (1), 310–317. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028580898&partnerID=MN8TOARS

Timing analysis of a multiprocessor architecture for active control

Analysis and Computation, 203–212. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028324006&partnerID=MN8TOARS

Verifying an intelligent structural control system: a case study

Elseaidy, N., Cleaveland, N., & Baugh, N. (1994, January 1). Proceedings - Real-Time Systems Symposium, pp. 271–275.

A client—server approach for distributed finite element analysis

Sharma, S. K., Baugh, J. W., & Chadha, H. S. (1993, January 1). Advances in Engineering Software, Vol. 17, pp. 69–78.

Optimal resource leveling using integer-linear programming

Computing in Civil and Building Engineering, 501–508. http://www.scopus.com/inward/record.url?eid=2-s2.0-0027306405&partnerID=MN8TOARS

Verification of real-time software for active structural control

Computing in Civil and Building Engineering, 1672–1679. http://www.scopus.com/inward/record.url?eid=2-s2.0-0027188290&partnerID=MN8TOARS

Applications of coarse-grained dataflow in computational mechanics

Baugh, J. W., & Rehak, D. R. (1992, December 1). Engineering With Computers, Vol. 8, pp. 13–30.

Data Abstraction in Engineering Software Development

Baugh, J. W., & Rehak, D. R. (1992, July 1). Journal of Computing in Civil Engineering, Vol. 6, pp. 282–301.

Using formal methods to specify the functional properties of engineering software

Baugh, J. W. (1992, October 1). Computers & Structures, Vol. 45, pp. 557–570.

Program design with algebraic specifications

345–352. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025857871&partnerID=MN8TOARS

Object-oriented design of finite element programs

91–100. http://www.scopus.com/inward/record.url?eid=2-s2.0-0024863017&partnerID=MN8TOARS

A structure-based model of semantic integrity constraints for relational data bases

Rasdorf, W. J., Ulberg, K. J., & Baugh, J. W. (1987, March 1). Engineering With Computers, Vol. 2, pp. 31–39.