Works (75)
Updated: October 23rd, 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.
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).
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.
author keywords: Vehicle electronic system; AUTOSAR; Formal modelling; Timed automata; Verification
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
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 (pp. 145–162).
Sources: ORCID, Crossref, NC State University Libraries
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.
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).
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.
Event: Hawaii International Conference on System Sciences
open access via scholarspace.manoa.hawaii.edu (publisher PDF)
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.
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
11. Sustainable Cities and Communities
(Web of Science)
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).
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).
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.
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
11. Sustainable Cities and Communities
(Web of Science)
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.
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
11. Sustainable Cities and Communities
(Web of Science)
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.
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).
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.
Contributors: A. Altuntas n & 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.
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
11. Sustainable Cities and Communities
(Web of Science)
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.
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.
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.
Contributors: 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.
Contributors: 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.
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.
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.
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.
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.
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).
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.
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
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.
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
6. Clean Water and Sanitation
(Web of Science)
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.
Contributors: T. Doby n, S. Kumar n, 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
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).
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.
Contributors: D. Loughlin n, S. Ranjithan n, 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.
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.
Contributors: S. Kumar n, T. Doby n, 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.
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.
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).
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.
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
11. Sustainable Cities and Communities
(Web of Science)
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.
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.
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
6. Clean Water and Sanitation
(Web of Science)
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.
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)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
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.
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
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.
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
11. Sustainable Cities and Communities
(Web of Science)
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
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.
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)
11. Sustainable Cities and Communities
(Web of Science)
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
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.
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.