Works (64)

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). Cham: Springer.

By: R. Banach & J. Baugh

Ed(s): A. Adamatzky & V. Kendon

Source: ORCID
Added: May 9, 2019

2018 | 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.

By: J. Baugh & A. Altuntas

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

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. IEEE.

By: A. Altuntas & J. Baugh

Sources: ORCID, Web Of Science
Added: December 12, 2018

2018 | journal article

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

Estuarine, Coastal and Shelf Science, 215, 39–51.

By: X. Liu, W. Jiang, B. Yang & J. Baugh

Source: ORCID
Added: December 6, 2018

2018 | article

State-Based Formal Methods in Scientific Computation

(M. Butler, A. Raschke, T. S. Hoang, & K. Reichl, Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z. Cham: Springer International Publishing.

By: J. Baugh & T. Dyer

Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl

Source: ORCID
Added: December 6, 2018

2017 | journal article

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

Ocean Modelling, 115, 86–104.

By: A. Altuntas & J. Baugh

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2017 | conference paper

Verifying Concurrency in an Adaptive Ocean Circulation Model

In Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17. ACM Press.

By: A. Altuntas & J. Baugh

Source: ORCID
Added: December 6, 2018

2016 | journal article

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

Structures, 6, 170–181.

By: J. Baugh & S. Liu

Sources: ORCID, NC State University Libraries
Added: August 6, 2018

2016 | conference paper

Modeling a discrete wet-dry algorithm for hurricane storm surge in Alloy

In M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (Vol. 9675, pp. 256–261). Cham: Springer.

By: J. Baugh & A. Altuntas

Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro

Sources: ORCID, NC State University Libraries
Added: August 6, 2018

2016 | journal article

SMT: An interface for localized storm surge modeling

Advances in Engineering Software, 92, 27–39.

By: T. Dyer & J. Baugh

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2015 | journal article

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

Coastal Engineering, 97, 60–77.

By: J. Baugh, A. Altuntas, T. Dyer & J. Simon

Sources: ORCID, NC State University Libraries
Added: August 6, 2018

2012 | journal article

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

Structural Engineering and Mechanics, 43(1), 31–51.

Source: ORCID
Added: December 6, 2018

2007 | journal article

A novel optimization approach for minimum cost design of trusses

Computers and Structures, 85(23-24), 1782–1794.

By: P. Kripakaran, A. Gupta & J. Baugh

Sources: ORCID, NC State University Libraries
Added: August 6, 2018

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.

By: S. Kumar, T. Doby, J. Baugh, E. Brill & S. Ranjithan

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

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.

By: S. Kumar, T. Doby, J. Baugh, E. Brill & S. Ranjithan

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2005 | journal article

Genetic algorithm-based decision support for optimizing seismic response of piping systems

Journal of Structural Engineering, 131(3), 389–398.

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2004 | conference paper

Genetic algorithm search for least cost design of looped pipe networks using age as a quality surrogate and different levels of redundancy

In Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001 (Vol. 111).

By: T. Doby, S. Kumar, J. Baugh, E. Brill & S. Ranjithan

Source: ORCID
Added: December 6, 2018

2004 | conference paper

Method for least cost design of looped pipe networks for different levels of redundancy using genetic algorithms

In Joint Conference on Water Resource Engineering and Water Resources Planning and Management 2000: Building Partnerships (Vol. 104).

By: S. Kumar, T. Doby, J. Baugh, E. Brill & S. Ranjithan

Source: ORCID
Added: December 6, 2018

2004 | conference paper

Vitri: A framework for environmental decision support on heterogeneous computer networks

In Bridging the Gap: Meeting the World's Water and Environmental Resources Challenges - Proceedings of the World Water and Environmental Resources Congress 2001 (Vol. 111).

Source: ORCID
Added: December 6, 2018

2003 | book

Asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2723, pp. 730–741).

Source: ORCID
Added: December 6, 2018

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). Berlin; New York: Springer.

By: J. Baugh & S. Kumar

Source: NC State University Libraries
Added: August 6, 2018

2003 | conference paper

New GA approaches for pipe support optimization

In Proceedings of the Structures Congress and Exposition (pp. 61–62).

Source: ORCID
Added: December 6, 2018

2001 | journal article

Discrete element modelling on a cluster of workstations

Engineering With Computers, 17(1), 1–15.

By: J. Baugh & R. Konduri

Source: NC State University Libraries
Added: August 6, 2018

2001 | journal article

Discrete element modelling on a cluster of workstations

Engineering with Computers, 17(1), 1–15.

By: B. J.W. & R. Konduri

Source: ORCID
Added: December 6, 2018

2001 | journal article

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems

Engineering Optimization, 33(5), 549–569.

By: D. Loughlin, S. Ranjithan, E. Brill & J. Baugh

Source: NC State University Libraries
Added: August 6, 2018

2001 | journal article

Genetic algorithm approaches for addressing unmodeled objectives in optimization problems

Engineering Optimization, 33(5), 549–569.

Source: ORCID
Added: December 6, 2018

2001 | book

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

Transportation Research Record (pp. 114–120).

By: J. Stone, J. Baugh, S. Chakravarty & M. Surasky

Source: ORCID
Added: December 6, 2018

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). Washington, DC: National Academy Press.

By: J. Stone, J. Baugh, S. Chakravarty & M. Surasky

Source: NC State University Libraries
Added: August 6, 2018

2000 | journal article

Application of genetic algorithms for the design of ozone control strategies

Journal of the Air and Waste Management Association, 50(6), 1050–1063.

By: D. Loughlin, S. Ranjithan, J. Baugh & E. Brill

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2000 | journal article

Finite state verification of intelligent transportation systems

Journal of Computing in Civil Engineering, 14(1), 38–50.

By: J. Baugh & G. Kakivaya

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

1999 | journal article

Formal specification of concurrent systems

Advances in Engineering Software, 30(3), 211–224.

By: H. Chadha, J. Baugh & J. Wing

Source: NC State University Libraries
Added: August 6, 2018

1999 | journal article

Formal specification of concurrent systems

Advances in Engineering Software, 30(3), 211–224.

Source: ORCID
Added: December 6, 2018

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). Berlin; New York: Springer.

By: J. Baugh

Source: NC State University Libraries
Added: August 6, 2018

1998 | journal article

Intractability of the dial-a-ride problem and a multiobjective solution using simulated annealing

Engineering Optimization, 30(2), 91–123.

By: J. Baugh, G. Kakivaya & J. Stone

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

1998 | conference paper

Prototype decision support tool for developing tropospheric ozone control strategies

In 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.

By: D. Loughlin, S. Ranjithan, E. Brill, J. Baugh & S. Fine

Source: NC State University Libraries
Added: August 6, 2018

1998 | conference paper

A Web-based computing environment for structural analysis and design

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

By: J. Baugh

Source: NC State University Libraries
Added: August 6, 2018

1997 | journal article

A mathematical programming approach for generating alternatives in discrete structural optimization

Engineering Optimization, 28(1-2), 1–31.

Source: ORCID
Added: December 6, 2018

1997 | journal article

Modeling and verifying active structural control systems

Science of Computer Programming, 29(1-2), 99–122.

Source: NC State University Libraries
Added: August 6, 2018

1997 | journal article

Modeling and verifying active structural control systems

Science of Computer Programming, 29(1-2), 99–122.

Source: ORCID
Added: December 6, 2018

1997 | journal article

Semantic validation of product and process models

Journal of Computing in Civil Engineering, 11(1), 26–36.

By: J. Baugh & H. Chadha

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

1997 | journal article

A mathematical programming approach for generating alternatives in discrete structural optimization

Engineering Optimization, 28(1997), 1–31.

By: J. Baugh, S. Caldwell & E. Brill

Source: NC State University Libraries
Added: August 6, 2018

1996 | conference paper

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

In ASEE Annual Conference Proceedings (pp. 31–35).

Source: ORCID
Added: December 6, 2018

1996 | conference paper

Formal specification of concurrent finite element systems

In Proceedings of the Conference on Analysis and Computation (pp. 166–176).

Source: ORCID
Added: December 6, 2018

1996 | journal article

Network-distributed finite element analysis

Advances in Engineering Software, 25(2-3), 267–280.

Source: ORCID
Added: December 6, 2018

1996 | journal article

Verification of an active control system using temporal process Algebra

Engineering with Computers, 12(1), 46–61.

Source: ORCID
Added: December 6, 2018

1996 | conference paper

Verifying the timing requirements of multiprocessor control systems

In Proceedings of the Conference on Analysis and Computation (pp. 278–285).

Source: ORCID
Added: December 6, 2018

1995 | conference paper

Decision support system for air quality management

In Computing in Civil Engineering (New York) (Vol. 2, pp. 1367–1374).

By: D. Loughlin, J. Neal, S. Ranjithan, E. Brill & J. Baugh

Source: ORCID
Added: December 6, 2018

1995 | conference paper

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

In Computing in Civil Engineering (New York) (Vol. 1, pp. 278–285).

Source: ORCID
Added: December 6, 2018

1995 | journal article

Real-time software development with formal models

Journal of Computing in Civil Engineering, 9(1), 73–86.

By: J. Baugh & W. Elseaidy

Source: ORCID
Added: December 6, 2018

1994 | journal article

Evaluation of distributed finite element algorithms on a workstation network

Engineering with Computers, 10(1), 45–62.

Source: ORCID
Added: December 6, 2018

1994 | conference paper

Formal specification of AEC product models

In Computing in Civil Engineering (New York) (pp. 571–578).

Source: ORCID
Added: December 6, 2018

1994 | conference paper

Modeling to generate alternatives in discrete structural optimization

In Computing in Civil Engineering (New York) (pp. 310–317).

Source: ORCID
Added: December 6, 2018

1994 | conference paper

Timing analysis of a multiprocessor architecture for active control

In Analysis and Computation (pp. 203–212).

Source: ORCID
Added: December 6, 2018

1994 | conference paper

Verifying an intelligent structural control system: A case study

In Proceedings - Real-Time Systems Symposium (pp. 271–275).

Source: ORCID
Added: December 6, 2018

1993 | journal article

A client-server approach for distributed finite element analysis

Advances in Engineering Software, 17(2), 69–78.

Source: ORCID
Added: December 6, 2018

1993 | conference paper

Creating interactive animated instructional programs on a unix-based workstation

In Proceedings - Frontiers in Education Conference, FIE (pp. 70–75).

Source: ORCID
Added: December 6, 2018

1993 | conference paper

Optimal resource leveling using integer-linear programming

In Computing in Civil and Building Engineering (pp. 501–508).

Source: ORCID
Added: December 6, 2018

1993 | conference paper

Verification of real-time software for active structural control

In Computing in Civil and Building Engineering (pp. 1672–1679).

By: J. Baugh & W. Elseaidy

Source: ORCID
Added: December 6, 2018

1992 | journal article

Applications of coarse-grained dataflow in computational mechanics

Engineering with Computers, 8(1), 13–30.

Source: ORCID
Added: December 6, 2018

1992 | journal article

Data abstraction in engineering software development

Journal of Computing in Civil Engineering, 6(3), 282–301.

By: J. Baugh & D. Rehak

Source: ORCID
Added: December 6, 2018

1992 | journal article

Using formal methods to specify the functional properties of engineering software

Computers and Structures, 45(3), 557–570.

Source: ORCID
Added: December 6, 2018

1991 | conference paper

Program design with algebraic specifications

(1991) (pp. 345–352).

Source: ORCID
Added: December 6, 2018

1989 | conference paper

Object-oriented design of finite element programs

(pp. 91–100).

By: J. Baugh & D. Rehak

Source: ORCID
Added: December 6, 2018

1987 | journal article

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

Engineering with Computers, 2(1), 31–39.

By: W. Rasdorf, K. Ulberg & J. Baugh

Sources: ORCID, NC State University Libraries
Added: August 6, 2018