Works (68)

Updated: May 17th, 2023 05:00

2023 chapter

An HPC Practitioner’s Workbench for Formal Refinement Checking

In Languages and Compilers for Parallel Computing (pp. 64–72).

By: J. Benavides n, J. Baugh & G. Gopalakrishnan*

Source: ORCID
Added: May 11, 2023

2023 journal article

Automatic modelling and verification of AUTOSAR architectures?

JOURNAL OF SYSTEMS AND SOFTWARE, 201.

By: M. Zhang, Y. Teng, H. Kong, J. Baugh, Y. Su, J. Mi, B. Du

author keywords: Vehicle electronic system; AUTOSAR; Formal modelling; Timed automata; Verification
Sources: ORCID, Web Of Science
Added: March 12, 2023

2021 journal article

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

ENGINEERING STRUCTURES, 243.

By: S. Kwag, A. Gupta, J. Baugh & H. Kim*

author keywords: Earthquake and wind hazards; Performance-based design; Risk-based multi-hazard approach; Multi-hazard risk map; Multi-hazard scenario; Magneto-rheological damper; Adjacent buildings
Source: Web Of Science
Added: August 30, 2021

2020 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).

By: R. Banach* & J. Baugh

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

Event: at Cham

Source: ORCID
Added: May 9, 2019

2019 conference paper

Bounded Verification of Sparse Matrix Computations

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 36–43.

By: T. Dyer n, A. Altuntas* & J. Baugh

author keywords: sparse matrix formats; state-based formal methods; mechanical verification
Source: ORCID
Added: March 30, 2020

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 n

author keywords: Formal methods; Model checking; Scientific computing; Earth and atmospheric sciences
Sources: Web Of Science, 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, pp. 1–8.

By: A. Altuntas & J. Baugh

author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
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 n, W. Jiang*, B. Yang* & J. Baugh

Source: ORCID
Added: December 6, 2018

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

By: J. Baugh & T. Dyer n

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

Event: at Cham

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

author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018

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.

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 n

author keywords: Hardy Cross method; Moment distribution; Convergence; Algorithms; Concurrency
Sources: Web Of Science, ORCID
Added: August 6, 2018

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.

By: J. Baugh & A. Altuntas

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

Event: at Cham

Sources: Web Of Science, ORCID
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 n & J. Baugh

author keywords: Hurricane storm surge; Subdomain modeling; Finite element analysis; ADCIRC; Range search; Visualization
Sources: Web Of Science, 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 n & J. Simon*

author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
Sources: Web Of Science, ORCID
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.

author keywords: construction related costs; optimization of moment resisting steel frames; connection cost; member section types
Source: ORCID
Added: December 6, 2018

2007 journal article

A novel optimization approach for minimum cost design of trusses

COMPUTERS & STRUCTURES, 85(23-24), 1782–1794.

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

author keywords: truss design; structural optimization; hybrid search; genetic algorithms; member grouping; discrete sizing optimization; cost minimization
Sources: Web Of Science, ORCID
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

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

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

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

Joint Conference on Water Resource Engineering and Water Resources Planning and Management 2000: Building Partnerships, 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

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

Source: ORCID
Added: December 6, 2018

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

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

By: J. Baugh & S. Kumar*

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

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

Source: ORCID
Added: December 6, 2018

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

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

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 n

author keywords: distributed computing; particle methods; short-range interactions
Source: Web Of Science
Added: August 6, 2018

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

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, . Ranjithan n, E. Brill & J. Baugh

author keywords: genetic algorithm; multimodal; modeling to generate alternatives; sharing; niching
Source: Web Of Science
Added: August 6, 2018

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

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

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 & WASTE MANAGEMENT ASSOCIATION, 50(6), 1050–1063.

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

Sources: Web Of Science, 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 n

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. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033098338&partnerID=MN8TOARS

Source: ORCID
Added: December 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*

author keywords: larch; CCS; equational specifications; process algebra; conjugate gradient method; distributed systems; concurrent systems; programming languages; formal methods
Source: Web Of Science
Added: August 6, 2018

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.

By: J. Baugh

Source: NC State University Libraries
Added: August 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).

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 n & . Stone n

author keywords: dial-a-ride problem; simulated annealing; multiobjective programming; decision-support systems
Sources: Web Of Science, ORCID
Added: August 6, 2018

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.

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

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. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030703305&partnerID=MN8TOARS

Source: ORCID
Added: December 6, 2018

1997 journal article

A mathematical programming approach for generating alternatives in discrete structural optimization

ENGINEERING OPTIMIZATION, 28(1-2), 1–31.

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

author keywords: multiple-objective programming; decision-support systems; mathematical modelling; design
Source: Web Of Science
Added: August 6, 2018

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

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.

By: W. Elseaidy, R. Cleaveland n & J. Baugh

author keywords: active structural control systems; safety critical; component-wise state space reduction
Source: Web Of Science
Added: August 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 n

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

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

Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

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

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. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029753271&partnerID=MN8TOARS

Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

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

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

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

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 n

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.

author keywords: CLIENT-SERVER COMPUTING; COMPUTER NETWORKS; DISTRIBUTED PROGRAMMING; EQUATION SOLVING; FINITE ELEMENT ANALYSIS
Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

1994 conference paper

Verifying an intelligent structural control system: A case study

Proceedings - Real-Time Systems Symposium, 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.

author keywords: DISTRIBUTED PROGRAMMING; SOFTWARE ARCHITECTURES; COMPUTER NETWORKS; FINITE ELEMENT ANALYSIS
Source: ORCID
Added: December 6, 2018

1993 conference paper

Creating interactive animated instructional programs on a unix-based workstation

Proceedings - Frontiers in Education Conference, FIE, 70–75.

Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

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

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

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

Source: ORCID
Added: December 6, 2018

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

By: J. Baugh & D. Rehak

Source: ORCID
Added: December 6, 2018

1987 journal article

A STRUCTURE-BASED MODEL OF SEMANTIC INTEGRITY CONSTRAINTS FOR RELATIONAL DATABASES

ENGINEERING WITH COMPUTERS, 2(1), 31–39.

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

Sources: Web Of Science, ORCID
Added: August 6, 2018