2024 conference paper
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.
2024 chapter
The ‘Causality’ Quagmire for Formalised Bond Graphs
In Lecture Notes in Computer Science: Vol. 14774. Graph Transformation (pp. 99–117).
2023 chapter
An HPC Practitioner’s Workbench for Formal Refinement Checking
In Languages and Compilers for Parallel Computing (pp. 64–72).
2023 journal article
Automatic modelling and verification of AUTOSAR architectures
Journal of Systems and Software, 201, 111675.
2023 chapter
Formalisation, Abstraction and Refinement of Bond Graphs
In Lecture Notes in Computer Science: Vol. 13961. Graph Transformation (Vol. 13961, pp. 145–162).
2023 conference paper
Verifying ParamGen: A case study in scientific software abstraction and modeling
Proceedings of the 2023 Improving Scientific Software Conference, 1–9.
2022 conference paper
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).
2021 conference paper
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.
Event: Hawaii International Conference on System Sciences
2021 journal article
Significance of multi-hazard risk in design of buildings under earthquake and wind loads
ENGINEERING STRUCTURES, 243.
2021 chapter
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).
2019 chapter
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).
Ed(s): A. Adamatzky & V. Kendon
Event: at Cham
2019 conference paper
Bounded Verification of Sparse Matrix Computations
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 36–43.
2018 article
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.
2018 journal article
Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor
Estuarine, Coastal and Shelf Science, 215, 39–51.
2018 conference paper
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).
Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl
Event: at Cham
2017 journal article
Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models
OCEAN MODELLING, 115, 86–104.
Contributors: A. Altuntas n & n
2017 journal article
Formal methods and finite element analysis of hurricane storm surge: A case study in software verification
SCIENCE OF COMPUTER PROGRAMMING, 158, 100–121.
2017 conference paper
Verifying Concurrency in an Adaptive Ocean Circulation Model
Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17.
2016 journal article
A general characterization of the Hardy Cross method as sequential and multiprocess algorithms
STRUCTURES, 6, 170–181.
2016 article
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.
Contributors: & A. Altuntas n n
Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro
Event: at Cham
2015 journal article
An exact reanalysis technique for storm surge and tides in a geographic region of interest
COASTAL ENGINEERING, 97, 60–77.
Contributors: , A. Altuntas n, T. Dyer n & J. Simon * n
2015 journal article
SMT: An interface for localized storm surge modeling
ADVANCES IN ENGINEERING SOFTWARE, 92, 27–39.
2012 journal article
The effects of construction related costs on the optimization of steel frames
Structural Engineering and Mechanics, 43(1), 31–51.
Contributors: B. Choi, A. Gupta & J. Baugh Jr.
2007 journal article
A novel optimization approach for minimum cost design of trusses
COMPUTERS & STRUCTURES, 85(23-24), 1782–1794.
Contributors: P. Kripakaran*, A. Gupta n & J. Baugh Jr.
2007 journal article
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.
Contributors: S. Kumar n, T. Doby n, J. Baugh Jr., E. Brill n & S. Ranjithan n
2006 journal article
Optimal design of redundant water distribution networks using a cluster of workstations
Journal of Water Resources Planning and Management, 132(5), 374–384.
Contributors: S. Kumar n, T. Dovy, J. Baugh Jr., E. Brill n & S. Ranjithan n
2005 journal article
Genetic algorithm-based decision support for optimizing seismic response of piping systems
Journal of Structural Engineering, 131(3), 389–398.
Contributors: A. Gupta n, P. Kripakaran n, G. Mahinthakumar n & J. Baugh Jr.
2003 book
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
Contributors: J. Baugh Jr. & S. Kumar
2003 chapter
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).
2003 conference paper
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
Contributors: P. Kripakaran, J. Baugh Jr., A. Gupta & G. Mahinthakumar
2002 conference paper
Creating interactive animated instructional programs on a unix-based workstation
Proceedings - Frontiers in Education Conference, FIE, 70–75.
Contributors: J. Hummer n, J. Baugh Jr., M. Abraham n & B. Konuru n
2001 journal article
Discrete element modelling on a cluster of workstations
ENGINEERING WITH COMPUTERS, 17(1), 1–15.
2001 journal article
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
Contributors: B. J.W. & R. Konduri
2001 journal article
Genetic algorithm approaches for addressing unmodeled objectives in optimization problems
ENGINEERING OPTIMIZATION, 33(5), 549–569.
2001 journal article
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
Contributors: D. Loughlin, S. Ranjithan, E. Brill Jr. & J. Baugh Jr.
2001 conference paper
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.
Contributors: T. Doby n, S. Kumar n, n , E. Brill n & S. Ranjithan n
2001 conference paper
Vitri: A framework for environmental decision support on heterogeneous computer networks
Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001, 111.
Contributors: S. Kumar *, T. Doby*, J. Baugh Jr., E. Brill Jr. & S. Ranjithan n
2001 book
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
2001 chapter
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).
2000 journal article
Application of genetic algorithms for the design of ozone control strategies
JOURNAL OF THE AIR & WASTE MANAGEMENT ASSOCIATION, 50(6), 1050–1063.
Contributors: D. Loughlin n, S. Ranjithan n, n & E. Brill n
2000 journal article
Finite state verification of intelligent transportation systems
Journal of Computing in Civil Engineering, 14(1), 38–50.
Contributors: J. Baugh Jr. & G. Kakivaya n
2000 conference paper
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.
Contributors: S. Kumar n, T. Doby n, n , E. Brill n & S. Ranjithan n
1999 journal article
Formal specification of concurrent systems
ADVANCES IN ENGINEERING SOFTWARE, 30(3), 211–224.
1999 journal article
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
Contributors: H. Chadha, J. Baugh Jr. & J. Wing
1998 conference paper
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.
1998 chapter
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).
1998 journal article
Intractability of the dial-a-ride problem and a multiobjective solution using simulated annealing
ENGINEERING OPTIMIZATION, 30(2), 91–123.
Contributors: J. Baugh Jr., G. Kakivaya n & J. Stone n
1998 conference paper
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.
1997 journal article
A mathematical programming approach for generating alternatives in discrete structural optimization
ENGINEERING OPTIMIZATION, 28(1-2), 1–31.
1997 journal article
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
Contributors: J. Baugh Jr., S. Caldwell & E. Brill Jr.
1997 journal article
Modeling and verifying active structural control systems
SCIENCE OF COMPUTER PROGRAMMING, 29(1-2), 99–122.
1997 journal article
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
Contributors: W. Elseaidy, R. Cleaveland & J. Baugh Jr.
1997 journal article
Semantic validation of product and process models
Journal of Computing in Civil Engineering, 11(1), 26–36.
Contributors: J. Baugh Jr. & H. Chadha n
1996 conference paper
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
Contributors: J. Hummer, J. Baugh Jr., B. Konuru & S. Click
1996 conference paper
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
Contributors: H. Chadha & J. Baugh Jr.
1996 journal article
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
Contributors: H. Chadha & J. Baugh Jr.
1996 journal article
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
Contributors: W. Elseaidy, J. Baugh Jr. & R. Cleaveland
1996 conference paper
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
Contributors: J. Baugh Jr.
1995 conference paper
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
1995 conference paper
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
Contributors: J. Baugh Jr., G. Kakivaya & J. Stone
1995 journal article
Real-time software development with formal models
Journal of Computing in Civil Engineering, 9(1), 73–86.
1994 journal article
Evaluation of distributed finite element algorithms on a workstation network
Engineering with Computers, 10(1), 45–62.
Contributors: J. Baugh Jr. & S. Sharma n
1994 conference paper
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
Contributors: H. Chadha, J. Baugh Jr. & J. Wing
1994 conference paper
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
Contributors: J. Baugh Jr., E. Brill Jr. & S. Caldwell
1994 conference paper
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
Contributors: J. Baugh Jr. & W. Elseaidy
1994 conference paper
Verifying an intelligent structural control system: A case study
Proceedings - Real-Time Systems Symposium, 271–275.
Contributors: W. Elseaidy n, R. Cleaveland n & J. Baugh Jr.
1993 journal article
A client-server approach for distributed finite element analysis
Advances in Engineering Software, 17(2), 69–78.
Contributors: S. Sharma n, J. Baugh Jr. & H. Chadha n
1993 conference paper
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
Contributors: K. Shah, F. Farid & J. Baugh Jr.
1993 conference paper
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
1992 journal article
Applications of coarse-grained dataflow in computational mechanics
Engineering with Computers, 8(1), 13–30.
Contributors: J. Baugh Jr. & D. Rehak*
1992 journal article
Data abstraction in engineering software development
Journal of Computing in Civil Engineering, 6(3), 282–301.
1992 journal article
Using formal methods to specify the functional properties of engineering software
Computers and Structures, 45(3), 557–570.
Contributors: J. Baugh Jr.
1991 conference paper
Program design with algebraic specifications
345–352. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025857871&partnerID=MN8TOARS
Contributors: J. Baugh Jr.
1989 conference paper
Object-oriented design of finite element programs
91–100. http://www.scopus.com/inward/record.url?eid=2-s2.0-0024863017&partnerID=MN8TOARS
1987 journal article
A STRUCTURE-BASED MODEL OF SEMANTIC INTEGRITY CONSTRAINTS FOR RELATIONAL DATABASES
ENGINEERING WITH COMPUTERS, 2(1), 31–39.
Contributors: W. Rasdorf n, K. Ulberg n & J. Baugh Jr.
Updated: January 1st, 2024 15:57
2001 - present
1994 - 2001
1989 - 1994
Updated: January 1st, 2024 16:00
1986 - 1989
1983 - 1984
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.