John Baugh

Wilson, K., Arafat, A. A., Baugh, J., Yu, R., & Guo, Z. (2024). Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS. 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 96–100. https://doi.org/10.1109/MEMOCODE63347.2024.00016

Banach, R., & Baugh, J. (2024). The ‘Causality’ Quagmire for Formalised Bond Graphs. In Lecture Notes in Computer Science: Vol. 14774. Graph Transformation (pp. 99–117). https://doi.org/10.1007/978-3-031-64285-2_6

Benavides, J., Baugh, J., & Gopalakrishnan, G. (2023). An HPC Practitioner’s Workbench for Formal Refinement Checking. In Languages and Compilers for Parallel Computing (pp. 64–72). https://doi.org/10.1007/978-3-031-31445-2_5

Zhang, M., Teng, Y., Kong, H., Baugh, J., Su, Y., Mi, J., & Du, B. (2023). Automatic modelling and verification of AUTOSAR architectures. Journal of Systems and Software, 201, 111675. https://doi.org/10.1016/j.jss.2023.111675

Banach, R., & Baugh, J. (2023). Formalisation, Abstraction and Refinement of Bond Graphs. In Lecture Notes in Computer Science: Vol. 13961. Graph Transformation (Vol. 13961, pp. 145–162). https://doi.org/10.1007/978-3-031-36709-0_8

Altuntas, A., Baugh, J., & Nusbaumer, J. (2023). Verifying ParamGen: A case study in scientific software abstraction and modeling. Proceedings of the 2023 Improving Scientific Software Conference, 1–9. https://doi.org/10.5065/j0e4-ss70

Karrenberg, C., Benavides, J., Berglund, E., Kang, E., & Baugh, J. (2022). 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).

Curri, D., Aziz, T., Baugh, J., & Johnson, J. (2021). Industrial Symbiosis Waste Exchange Identification and Optimization. Proceedings of the Annual Hawaii International Conference on System Sciences. Presented at the Hawaii International Conference on System Sciences. https://doi.org/10.24251/hicss.2021.112

Kwag, S., Gupta, A., Baugh, J., & Kim, H.-S. (2021). Significance of multi-hazard risk in design of buildings under earthquake and wind loads. ENGINEERING STRUCTURES, 243. https://doi.org/10.1016/j.engstruct.2021.112623

Dyer, T., & Baugh, J. (2021). 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). https://doi.org/10.1007/978-3-030-77543-8_7

Banach, R., & Baugh, J. (2020). A simple Hybrid Event-B model of an active control system for
  earthquake protection. In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation (Vol. 35, pp. 157–194). https://doi.org/10.1007/978-3-030-15792-0_7

Dyer, T., Altuntas, A., & Baugh, J. (2019). Bounded Verification of Sparse Matrix Computations. 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 36–43. https://doi.org/10.1109/correctness49594.2019.00010

Altuntas, A., & Baugh, J. (2018). Hybrid theorem proving as a lightweight method for verifying numerical software. PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8. https://doi.org/10.1109/Correctness.2018.00005

Liu, X., Jiang, W., Yang, B., & Baugh, J. (2018). Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor. Estuarine, Coastal and Shelf Science, 215, 39–51. https://doi.org/10.1016/j.ecss.2018.09.019

Baugh, J., & Dyer, T. (2018). State-based formal methods in scientific computation. In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396). https://doi.org/10.1007/978-3-319-91271-4_29

Altuntas, A., & Baugh, J. (2017). Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models. OCEAN MODELLING, 115, 86–104. https://doi.org/10.1016/j.ocemod.2017.05.009

Baugh, J., & Altuntas, A. (2018). Formal methods and finite element analysis of hurricane storm surge: A case study in software verification. SCIENCE OF COMPUTER PROGRAMMING, 158, 100–121. https://doi.org/10.1016/j.scico.2017.08.012

Altuntas, A., & Baugh, J. (2017). Verifying Concurrency in an Adaptive Ocean Circulation Model. Proceedings of the First International Workshop on Software Correctness for HPC Applications  - Correctness'17. https://doi.org/10.1145/3145344.3145346

Baugh, J., & Liu, S. (2016). A general characterization of the Hardy Cross method as sequential and multiprocess algorithms. STRUCTURES, 6, 170–181. https://doi.org/10.1016/j.istruc.2016.03.004

Baugh, J., & Altuntas, A. (2016). Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy (M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256–261. https://doi.org/10.1007/978-3-319-33600-8_18

Baugh, J., Altuntas, A., Dyer, T., & Simon, J. (2015). An exact reanalysis technique for storm surge and tides in a geographic region of interest. COASTAL ENGINEERING, 97, 60–77. https://doi.org/10.1016/j.coastaleng.2014.12.003

Dyer, T., & Baugh, J. (2016). SMT: An interface for localized storm surge modeling. ADVANCES IN ENGINEERING SOFTWARE, 92, 27–39. https://doi.org/10.1016/j.advengsoft.2015.10.003

The effects of construction related costs on the optimization of steel frames. (2012). Structural Engineering and Mechanics, 43(1), 31–51. https://doi.org/10.12989/sem.2012.43.1.031

Kripakaran, P., Gupta, A., & Baugh, J. W., Jr. (2007). A novel optimization approach for minimum cost design of trusses. COMPUTERS & STRUCTURES, 85(23-24), 1782–1794. https://doi.org/10.1016/j.compstruc.2007.04.006

Kumar, S. V., Doby, T. A., Baugh, J., Brill, E. D., & Ranjithan, S. R. (2007). 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. Journal of Water Resources Planning and Management, 133(6), 580–581. https://doi.org/10.1061/(asce)0733-9496(2007)133:6(580)

Kumar, S. V., Doby, T. A., Baugh, J., Brill, E. D., & Ranjithan, S. R. (2006). Optimal design of redundant water distribution networks using a cluster of workstations. Journal of Water Resources Planning and Management, 132(5), 374–384. https://doi.org/10.1061/(ASCE)0733-9496(2006)132:5(374)

Gupta, A., Kripakaran, P., Mahinthakumar, G. K., & Baugh, J. (2005). Genetic algorithm-based decision support for optimizing seismic response of piping systems. Journal of Structural Engineering, 131(3), 389–398. https://doi.org/10.1061/(asce)0733-9445(2005)131:3(389)

Asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow. (2003). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2723, pp. 730–741). Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-35248893482&partnerID=MN8TOARS

Baugh, J. W., & Kumar, S. V. (2003). Asynchronous genetic algorithms for heterogenous networks using course-grained dataflow. In Genetic and evolutionary computation--GECCO 2003: Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003: Proceedings (Vol. 2723, pp. 730–741). https://doi.org/10.1007/3-540-45105-6_88

New GA approaches for pipe support optimization. (2003). Proceedings of the Structures Congress and Exposition, 61–62. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-22344433506&partnerID=MN8TOARS

Creating interactive animated instructional programs on a unix-based workstation. (1993). Proceedings - Frontiers in Education Conference, FIE, 70–75. https://doi.org/10.1109/FIE.1993.405565

Baugh, J. W., & Konduri, R. K. S. (2001). Discrete element modelling on a cluster of workstations. ENGINEERING WITH COMPUTERS, 17(1), 1–15. https://doi.org/10.1007/PL00007192

J.W., B., Jr., & Konduri, R. K. S. (2001). Discrete element modelling on a cluster of workstations. Engineering with Computers, 17(1), 1–15. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0035194161&partnerID=MN8TOARS

Loughlin, D. H., Ranjithan, SR, Brill, E. D., & Baugh, J. W. (2001). Genetic algorithm approaches for addressing unmodeled objectives in optimization problems. ENGINEERING OPTIMIZATION, 33(5), 549–569. https://doi.org/10.1080/03052150108940933

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems. (2001). Engineering Optimization, 33(5), 549–569. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-2342512900&partnerID=MN8TOARS

Doby, T. A., Kumar, S. V., Baugh, J. W., Brill, E. D., & Ranjithan, S. R. (2004). Genetic algorithm search for least cost design of looped pipe networks using age as a quality surrogate and different levels of redundancy. Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, 111. https://doi.org/10.1061/40569(2001)387

Vitri: A framework for environmental decision support on heterogeneous computer networks. (2004). Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, 111. https://doi.org/10.1061/40569(2001)111

Stone, J. R., Baugh, J. W., Chakravarty, S., & Surasky, M. N. (2001). Winston-Salem Mobility Manager: Data collection, validation, and performance evaluation. In Transportation Research Record (pp. 114–120). Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0035728022&partnerID=MN8TOARS

Stone, J. R., Baugh, J. W., Chakravarty, S., & Surasky, M. N. (2001). Winston-Salem mobility manager: Data collection, validation, and performance evaluation. In Transit: Bus transit and maintenance: Rural paratransit technology: Capacity and quality of service (pp. 114–120). https://doi.org/10.3141/1760-15

Loughlin, D. H., Ranjithan, SR, Baugh, J. W., & Brill, E. D. (2000). Application of genetic algorithms for the design of ozone control strategies. JOURNAL OF THE AIR & WASTE MANAGEMENT ASSOCIATION, 50(6), 1050–1063. https://doi.org/10.1080/10473289.2000.10464133

Baugh, J., & Kakivaya, G. R. (2000). Finite state verification of intelligent transportation systems. Journal of Computing in Civil Engineering, 14(1), 38–50. https://doi.org/10.1061/(ASCE)0887-3801(2000)14:1(38)

Kumar, S. V., Doby, T. A., Baugh, J. W., Brill, E. D., & Ranjithan, S. R. (2004). Method for least cost design of looped pipe networks for different levels of redundancy using genetic algorithms. Joint Conference on Water Resource Engineering and Water Resources Planning and Management 2000: Building Partnerships, 104. https://doi.org/10.1061/40517(2000)201

Chadha, H. S., Baugh, J. W., & Wing, J. M. (1999). Formal specification of concurrent systems. ADVANCES IN ENGINEERING SOFTWARE, 30(3), 211–224. https://doi.org/10.1016/S0965-9978(98)00058-1

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

Baugh, J. W., Jr. (1998). 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.

Baugh, J. (1998). Design and verification of real-time systems. In Artificial intelligence in structural engineering: Information technology for design, collaboration, maintenance, and monitoring (Vol. 1454, pp. 30–47). https://doi.org/10.1007/bfb0030441

Baugh, J. W., Kakivaya, G. K. R., & Stone, JR. (1998). Intractability of the dial-a-ride problem and a multiobjective solution using simulated annealing. ENGINEERING OPTIMIZATION, 30(2), 91–123. https://doi.org/10.1080/03052159808941240

Loughlin, D., Ranjithan, S., Brill, E. D., Baugh, J., & Fine, S. (1998). 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.

Baugh, J. W., Caldwell, S. C., & Brill, E. D. (1997). A mathematical programming approach for generating alternatives in discrete structural optimization. ENGINEERING OPTIMIZATION, 28(1-2), 1–31. https://doi.org/10.1080/03052159708941125

A mathematical programming approach for generating alternatives in discrete structural optimization. (1997). Engineering Optimization, 28(1-2), 1–31. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0030703305&partnerID=MN8TOARS

Elseaidy, W. M., Cleaveland, R., & Baugh, J. W. (1997). Modeling and verifying active structural control systems. SCIENCE OF COMPUTER PROGRAMMING, 29(1-2), 99–122. https://doi.org/10.1016/S0167-6423(96)00031-7

Modeling and verifying active structural control systems. (1997). Science of Computer Programming, 29(1-2), 99–122. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0031185496&partnerID=MN8TOARS

Baugh, J., & Chadha, H. S. (1997). Semantic validation of product and process models. Journal of Computing in Civil Engineering, 11(1), 26–36. https://doi.org/10.1061/(ASCE)0887-3801(1997)11:1(26)

A controlled comparison of traditional classroom instruction with computer based instruction in an engineering class. (1996). ASEE Annual Conference Proceedings, 31–35. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-8744254801&partnerID=MN8TOARS

Formal specification of concurrent finite element systems. (1996). Proceedings of the Conference on Analysis and Computation, 166–176. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0029735025&partnerID=MN8TOARS

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

Verification of an active control system using temporal process Algebra. (1996). Engineering with Computers, 12(1), 46–61. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0029753271&partnerID=MN8TOARS

Verifying the timing requirements of multiprocessor control systems. (1996). Proceedings of the Conference on Analysis and Computation, 278–285. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0029736047&partnerID=MN8TOARS

Loughlin, D. H., Neal, J. K., Ranjithan, S., Brill, E. D., & Baugh, J. W. (1995). Decision support system for air quality management. Computing in Civil Engineering (New York), 2, 1367–1374. Retrieved from 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. (1995). Computing in Civil Engineering (New York), 1, 278–285. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0029229542&partnerID=MN8TOARS

Baugh, J. W., & Elseaidy, W. M. (1995). Real-time software development with formal models. Journal of Computing in Civil Engineering, 9(1), 73–86. https://doi.org/10.1061/(ASCE)0887-3801(1995)9:1(73)

Evaluation of distributed finite element algorithms on a workstation network. (1994). Engineering with Computers, 10(1), 45–62. https://doi.org/10.1007/BF01206539

Formal specification of AEC product models. (1994). Computing in Civil Engineering (New York), (1), 571–578. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0028561189&partnerID=MN8TOARS

Modeling to generate alternatives in discrete structural optimization. (1994). Computing in Civil Engineering (New York), (1), 310–317. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0028580898&partnerID=MN8TOARS

Timing analysis of a multiprocessor architecture for active control. (1994). Analysis and Computation, 203–212. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0028324006&partnerID=MN8TOARS

Verifying an intelligent structural control system: A case study. (1994). Proceedings - Real-Time Systems Symposium, 271–275. https://doi.org/10.1109/REAL.1994.342708

A client-server approach for distributed finite element analysis. (1993). Advances in Engineering Software, 17(2), 69–78. https://doi.org/10.1016/0965-9978(93)90043-S

Optimal resource leveling using integer-linear programming. (1993). Computing in Civil and Building Engineering, 501–508. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0027306405&partnerID=MN8TOARS

Baugh, J. W., & Elseaidy, W. M. (1993). Verification of real-time software for active structural control. Computing in Civil and Building Engineering, 1672–1679. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0027188290&partnerID=MN8TOARS

Applications of coarse-grained dataflow in computational mechanics. (1992). Engineering with Computers, 8(1), 13–30. https://doi.org/10.1007/BF01206334

Baugh, J. W., & Rehak, D. R. (1992). Data abstraction in engineering software development. Journal of Computing in Civil Engineering, 6(3), 282–301. https://doi.org/10.1061/(ASCE)0887-3801(1992)6:3(282)

Using formal methods to specify the functional properties of engineering software. (1992). Computers and Structures, 45(3), 557–570. https://doi.org/10.1016/0045-7949(92)90440-B

Program design with algebraic specifications. (1991). 345–352. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0025857871&partnerID=MN8TOARS

Baugh, J. W. J., & Rehak, D. R. (1989). Object-oriented design of finite element programs. 91–100. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0024863017&partnerID=MN8TOARS

RASDORF, W. J., ULBERG, K. J., & BAUGH, J. W. (1987). A STRUCTURE-BASED MODEL OF SEMANTIC INTEGRITY CONSTRAINTS FOR RELATIONAL DATABASES. ENGINEERING WITH COMPUTERS, 2(1), 31–39. https://doi.org/10.1007/BF01200175