Works (75)

Updated: November 27th, 2024 05:01

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.

By: K. Wilson, A. Arafat, J. Baugh, R. Yu & Z. Guo

Source: ORCID
Added: October 22, 2024

2024 chapter

The ‘Causality’ Quagmire for Formalised Bond Graphs

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

By: R. Banach & J. Baugh*

Sources: ORCID, Crossref, NC State University Libraries
Added: July 8, 2024

2023 chapter

An HPC Practitioner’s Workbench for Formal Refinement Checking

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

Source: ORCID
Added: May 11, 2023

2023 journal article

Automatic modelling and verification of AUTOSAR architectures

Journal of Systems and Software, 201, 111675.

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

author keywords: Vehicle electronic system; AUTOSAR; Formal modelling; Timed automata; Verification
UN Sustainable Development Goal Categories
Sources: ORCID, Web Of Science, NC State University Libraries
Added: March 12, 2023

2023 chapter

Formalisation, Abstraction and Refinement of Bond Graphs

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

By: R. Banach* & J. Baugh n

author keywords: Bond Graph; Formalisation; Abstraction; Refinement
Sources: ORCID, Crossref, NC State University Libraries, Web Of Science
Added: July 14, 2023

2023 conference paper

Verifying ParamGen: A case study in scientific software abstraction and modeling

Proceedings of the 2023 Improving Scientific Software Conference, 1–9.

By: A. Altuntas, J. Baugh & J. Nusbaumer

Source: ORCID
Added: September 30, 2024

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

By: C. Karrenberg, J. Benavides, E. Berglund, E. Kang & J. Baugh

Source: ORCID
Added: September 30, 2024

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.

By: D. Curri, T. Aziz, J. Baugh n & J. Johnson n

Event: Hawaii International Conference on System Sciences

Sources: Crossref, NC State University Libraries
Added: September 21, 2024

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 n, J. Baugh n & 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
TL;DR: This paper proposes a novel framework that builds upon performance-based design requirements and determines whether the design of a building is governed primarily by a single hazard or multiple hazards, and integrates site-dependent hazard characteristics with the performance criteria for a given building type and building geometry. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Sources: Web Of Science, NC State University Libraries
Added: August 30, 2021

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

By: T. Dyer* & J. Baugh n

Sources: Crossref, NC State University Libraries
Added: September 30, 2024

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

By: R. Banach* & J. Baugh n

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

Event: at Cham

TL;DR: A simple model of an active damage prevention system, founded on earlier work, is investigated from a model based formal development perspective, using Hybrid Event-B and stands up well when compared via simulation with a standard approach. (via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities (Web of Science; OpenAlex)
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 n

author keywords: sparse matrix formats; state-based formal methods; mechanical verification
TL;DR: To model matrix computations in a declarative language like Alloy, a new idiom is presented for bounded iteration with incremental updates, relying on a formalism called Alloy to show that one model is a refinement of another. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Source: ORCID
Added: March 30, 2020

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 n

author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
TL;DR: This study applies hybrid theorem proving from the field of cyber-physical systems to problems in scientific computation, and shows how to verify the correctness of discrete updates that appear in the simulation of continuous physical systems. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (OpenAlex)
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 n

UN Sustainable Development Goal Categories
13. Climate Action (Web of Science)
14. Life Below Water (Web of Science; OpenAlex)
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 n & T. Dyer n

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

Event: at Cham

TL;DR: The challenges faced by developers of scientific software are surveyed, the nature of the programs they write are characterized, and some perspective is offered on the role that state-based methods can play in scientific domains. (via Semantic Scholar)
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 n & J. Baugh n

Contributors: A. Altuntas n & J. Baugh n

author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
TL;DR: An adaptive multi-analysis technique that improves the efficiency of these computations when multiple alternatives are being simulated, called adaptive subdomain modeling, which concurrently analyzes any number of child domains. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science)
14. Life Below Water (Web of Science; OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

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.

By: J. Baugh n & A. Altuntas n

author keywords: Formal methods; Model checking; Scientific computing; Earth and atmospheric sciences
TL;DR: An ocean circulation model used in production and an extension made to it that offers substantial performance gains are looked at, and Alloy, a declarative modeling language with tool support and an automatic form of analysis performed within a bounded scope using a SAT solver is used. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Sources: Web Of Science, ORCID, NC State University Libraries
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 n

TL;DR: It is shown how concurrency inherent in the simulation model can be represented in a verification model to ensure correctness and to automatically generate safe synchronization arrangements. (via Semantic Scholar)
UN Sustainable Development Goal Categories
14. Life Below Water (OpenAlex)
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 n & S. Liu n

author keywords: Hardy Cross method; Moment distribution; Convergence; Algorithms; Concurrency
TL;DR: It is proved, in the limit, that processes so defined converge to the same unique solution regardless of the distribution sequence or interleaving of steps. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
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 n & A. Altuntas n

Contributors: J. Baugh n & A. Altuntas n

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

Event: at Cham

TL;DR: An Alloy model is described that helps check the correctness of a discrete wet-dry algorithm used in a system for hurricane storm surge prediction and a recent performance enhancement to the system that involves mesh partitioning. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science; OpenAlex)
14. Life Below Water (Web of Science)
Sources: Web Of Science, ORCID, NC State University Libraries
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 n, A. Altuntas n, T. Dyer n & J. Simon*

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

author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
TL;DR: This work presents an exact reanalysis technique and corresponding implementation that enable the assessment of local subdomain changes with less computational effort than would be required by a complete resimulation of the full domain. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science)
14. Life Below Water (Web of Science)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

2015 journal article

SMT: An interface for localized storm surge modeling

ADVANCES IN ENGINEERING SOFTWARE, 92, 27–39.

By: T. Dyer n & J. Baugh n

author keywords: Hurricane storm surge; Subdomain modeling; Finite element analysis; ADCIRC; Range search; Visualization
TL;DR: This work presents a graphical user interface that supports local analysis of engineering design alternatives based on an exact reanalysis technique called subdomain modeling, an approach that substantially reduces the computational effort required. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science)
14. Life Below Water (Web of Science; OpenAlex)
Sources: Web Of Science, 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.

Contributors: B. Choi, A. Gupta & J. Baugh Jr.

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 n & J. Baugh n

Contributors: P. Kripakaran*, A. Gupta n & J. Baugh Jr.

author keywords: truss design; structural optimization; hybrid search; genetic algorithms; member grouping; discrete sizing optimization; cost minimization
TL;DR: A new sizing approach that involves two algorithms applied in sequence - a novel approach to generate a ''good'' initial solution and a local search that attempts to generate the optimal solution by starting with the final solution from the previous algorithm is proposed. (via Semantic Scholar)
Sources: Web Of Science, 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 n, T. Doby n, J. Baugh n, E. Brill n & S. Ranjithan n

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

UN Sustainable Development Goal Categories
6. Clean Water and Sanitation (Web of Science; OpenAlex)
Sources: NC State University Libraries, ORCID, NC State University Libraries
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 n, T. Doby n, J. Baugh n, E. Brill n & S. Ranjithan n

Contributors: S. Kumar n, T. Dovy, J. Baugh Jr., E. Brill n & S. Ranjithan n

TL;DR: It is concluded that a GA-based approach to obtaining cost-effective, redundant solutions for the least-cost design of looped pipe networks can be effectively used on a heterogeneous network of nondedicated workstations. (via Semantic Scholar)
UN Sustainable Development Goal Categories
6. Clean Water and Sanitation (Web of Science; OpenAlex)
Sources: NC State University Libraries, ORCID, NC State University Libraries
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.

By: A. Gupta n, P. Kripakaran n, G. Mahinthakumar n & J. Baugh n

Contributors: A. Gupta n, P. Kripakaran n, G. Mahinthakumar n & J. Baugh Jr.

TL;DR: This paper describes computational approaches used in a prototype decision support system (DSS) for seismic design and performance evaluation of piping supports and a novel seeding technique, which overcomes the inefficiencies of conventional methods in the context of pipe support optimization. (via Semantic Scholar)
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 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

Contributors: J. Baugh Jr. & S. Kumar

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 n & S. Kumar*

TL;DR: A new approach for implementing asynchronous GAs based on the dataflow model of computation is presented -- an approach that retains the functional properties of a global parallel GA and can be substantially improved through dataflow-based asynchrony. (via Semantic Scholar)
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

Contributors: P. Kripakaran, J. Baugh Jr., A. Gupta & G. Mahinthakumar

Source: ORCID
Added: December 6, 2018

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

TL;DR: The authors describe the development of a series of interactive, animated instructional programs for DEC stations at North Carolina University to develop three instructional units and test them in a controlled experiment in an undergraduate engineering course versus traditional instruction. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (Web of Science; OpenAlex)
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 n & R. Konduri n

author keywords: distributed computing; particle methods; short-range interactions
TL;DR: It is concluded that distributed implementations of short-range particle methods can be very effective, even on non-dedicated communication networks. (via Semantic Scholar)
Source: Web Of Science
Added: August 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

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

author keywords: genetic algorithm; multimodal; modeling to generate alternatives; sharing; niching
TL;DR: Two techniques for performing MGA using genetic algorithms (GAs) are investigated and compared and one of these techniques, which uses specialized MGA operators, is shown to produce solutions that are both better in quality and more different. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Web Of Science, 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. 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.

Source: ORCID
Added: December 6, 2018

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.

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

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

UN Sustainable Development Goal Categories
6. Clean Water and Sanitation (OpenAlex)
Source: ORCID
Added: December 6, 2018

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

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

Contributors: 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 n, J. Baugh n, S. Chakravarty & M. Surasky

TL;DR: Internet-based methods of data collection, validation, and evaluation demonstrate promise for real-time transit management and agency monitoring for Winston-Salem Mobility Manager. (via Semantic Scholar)
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 n, . Ranjithan n, J. Baugh n & E. Brill n

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

MeSH headings : Air Pollution / analysis; Algorithms; Decision Making; Environmental Pollution / prevention & control; Models, Genetic; Oxidants, Photochemical; Ozone; Policy Making; Public Policy
TL;DR: The use of genetic algorithms (GAs) as an alternative optimization approach for developing ozone control strategies is discussed and it is anticipated that such an approach will be practical in the near term for supporting regulatory decision-making. (via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities (Web of Science; OpenAlex)
13. Climate Action (Web of Science)
Sources: Web Of Science, ORCID, NC State University Libraries
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 n & G. Kakivaya n

Contributors: J. Baugh Jr. & G. Kakivaya n

TL;DR: This paper describes an approach for modeling the temporal aspects of ITS systems as well as their logical coordination using finite state verification tools and is demonstrated by verifying safety properties of an automated traffic signal at a road intersection. (via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities (Web of Science; OpenAlex)
Sources: NC State University Libraries, ORCID, NC State University Libraries
Added: August 6, 2018

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.

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

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

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 n & J. Wing*

author keywords: larch; CCS; equational specifications; process algebra; conjugate gradient method; distributed systems; concurrent systems; programming languages; formal methods
TL;DR: A refinement strategy that relates an implementation in a programming language to a formal specification of such a system and illustrates the methodology on an example that uses the preconditioned conjugate gradient method for solving a linear system of equations. (via Semantic Scholar)
Source: Web Of Science
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

Contributors: H. Chadha, J. Baugh Jr. & J. Wing

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

TL;DR: This paper addresses several of the prominent technical concerns in designing real-time systems that control some aspect of their environment and suggests that, by considering software systems to be an engineering artifact, they can begin to develop the kinds of quantitative approaches found in other areas of engineering design. (via Semantic Scholar)
Sources: NC State University Libraries, 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 n, G. Kakivaya n & . Stone n

Contributors: J. Baugh Jr., G. Kakivaya n & J. Stone n

author keywords: dial-a-ride problem; simulated annealing; multiobjective programming; decision-support systems
TL;DR: This paper proves the intractability of the dial-a-ride problem, and then describes a new approximate method based on simulated annealing that is used to solve these problems in the presence of multiple objectives. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Sources: Web Of Science, ORCID, NC State University Libraries
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.

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

author keywords: multiple-objective programming; decision-support systems; mathematical modelling; design
TL;DR: This paper describes an approach to modelling that recognizes limitations and allows a designer to explore unmodelled issues in a joint human-computer cognitive system and shows that alternatives produced using these techniques are different, and often better, with respect to interesting objectives not present in the model. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
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

Contributors: J. Baugh Jr., S. Caldwell & E. Brill Jr.

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 n

author keywords: active structural control systems; safety critical; component-wise state space reduction
TL;DR: A case study involving the use of a formal graphical notation, Modechart, and an automatic verification tool, the Concurrency Workbench, in the analysis of the design of a fault-tolerant active structural control system shows the importance of compositionality for reasoning about large and complex systems. (via Semantic Scholar)
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

Contributors: W. Elseaidy, R. Cleaveland & J. Baugh Jr.

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 n & H. Chadha n

Contributors: J. Baugh Jr. & H. Chadha n

TL;DR: This paper describes the use of equational specifications and process algebras in developing product and process models, and shows how these formal approaches, initially designed for specifying software and hardware modules, relate to current standards and research inproduct and process modeling. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (Web of Science)
Sources: NC State University Libraries, ORCID, 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

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

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

Contributors: H. Chadha & J. Baugh Jr.

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

Contributors: H. Chadha & J. Baugh Jr.

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

Contributors: W. Elseaidy, J. Baugh Jr. & R. Cleaveland

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

Contributors: J. Baugh Jr.

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

Contributors: 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

Contributors: J. Baugh Jr., G. Kakivaya & J. Stone

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 n & W. Elseaidy n

Contributors: J. Baugh n & W. Elseaidy n

TL;DR: This paper outlines a three-step approach based on formal methods for designing reliable real-time systems that ensures that the necessary timing properties are satisfied by a given hardware and software architecture. (via Semantic Scholar)
UN Sustainable Development Goal Categories
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.

Contributors: J. Baugh Jr. & S. Sharma n

author keywords: CLIENT-SERVER COMPUTING; COMPUTER NETWORKS; DISTRIBUTED PROGRAMMING; EQUATION SOLVING; FINITE ELEMENT ANALYSIS
TL;DR: This paper discusses the design, implementation and evaluation of linear finite element programs that distribute their computations over a network of workstations and concludes that distributed solvers, particularly those based on substructuring and static condensation, can be effective even on high-latency communication networks. (via Semantic Scholar)
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

Contributors: H. Chadha, J. Baugh Jr. & J. Wing

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

Contributors: J. Baugh Jr., E. Brill Jr. & S. Caldwell

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

Contributors: J. Baugh Jr. & W. Elseaidy

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.

Contributors: W. Elseaidy n, R. Cleaveland n & J. Baugh Jr.

TL;DR: Describes the formal verification of the timing properties of the design of an intelligent structural control system using the Concurrency Workbench, an automatic verification tool for finite-state processes. (via Semantic Scholar)
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.

Contributors: S. Sharma n, J. Baugh Jr. & H. Chadha n

author keywords: DISTRIBUTED PROGRAMMING; SOFTWARE ARCHITECTURES; COMPUTER NETWORKS; FINITE ELEMENT ANALYSIS
TL;DR: The approach employs a client-server model in which conventional Unix processes execute concurrently on a number of workstations and exchange information by sending messages over an Ethernet, which shows impressive overall speedup for finite element analysis, even for small problem sizes. (via Semantic Scholar)
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

Contributors: K. Shah, F. Farid & J. Baugh Jr.

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

Contributors: 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.

Contributors: J. Baugh Jr. & D. Rehak*

TL;DR: The use of dataflow models are described as an alternative control strategy for engineering analysis programs and contrasts them with traditional imperative approaches and the characteristics of functional languages are described. (via Semantic Scholar)
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 n & D. Rehak*

Contributors: J. Baugh n & D. Rehak*

TL;DR: A library of finite element data types that have been designed with data abstraction in mind are described, which improve the modularity of a program by encapsulating implementation details and by providing a clear delineation between design and implementation. (via Semantic Scholar)
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.

Contributors: J. Baugh Jr.

TL;DR: The use of formal methods in specifying the functional properties of engineering software components are described, an approach that enables one to deal more effectively with the complexities of large-scale engineering software systems. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
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

Contributors: J. Baugh Jr.

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

Contributors: 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 n, K. Ulberg n & J. Baugh*

Contributors: W. Rasdorf n, K. Ulberg n & J. Baugh Jr.

TL;DR: This paper presents a formalism that classifies semantic integrity constraints based on the structure of the relational model, allowing the arbitrary specification of any constraint. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018

Employment

Updated: January 1st, 2024 15:57

2001 - present

North Carolina State University Raleigh, North Carolina, US
Professor Civil, Construction, and Environmental Engineering

1994 - 2001

North Carolina State University Raleigh, North Carolina, US
Associate Professor Civil, Construction, and Environmental Engineering

1989 - 1994

North Carolina State University Raleigh, North Carolina, US
Assistant Professor Civil, Construction, and Environmental Engineering

Education

Updated: January 1st, 2024 16:00

1986 - 1989

Carnegie Mellon University Pittsburgh, Pennsylvania, US
Ph.D. Civil Engineering

1983 - 1984

Carnegie Mellon University Pittsburgh, Pennsylvania, US
M.S. Civil Engineering

Auburn University Auburn, Alabama, US
B.C.E. Civil Engineering

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.