Follow

Submissions from 2020

PDF

Integrating Runtime Verification into an Automated UAS Traffic Management System, Matthew Cauwels, Abigail R. Hammer, Benjamin Hertz, Phillip H. Jones, and Kristin Yvonne Rozier

PDF

Characterization of Ice Adhesion: Approaches and Modes of Loading, Bishoy Dawood, Denizhafn Yavas, Christopher J. Giuffre, and Ashraf Bastawros

Link

Intersection and Rotation of Assumption Literals Boosts Bug-Finding, Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, and Kristin Yvonne Rozier

PDF

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2, Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, and Kristin Yvonne Rozier

Submissions from 2019

PDF

NDE and SHM in the age of Industry 4.0, Leonard J. Bond and Norbert G. Meyendorf

PDF

Review of ultrasonic testing for NDE of composite wind turbine blades, Sunil Kishore Chakrapani, Daniel J. Barnard, and Vinay Dayal

PDF

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties, Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, and Kristin Y. Rozier

PDF

Acoustic monitoring of additive manufacturing for damage and process condition determination, Lucas Koester, Hossein Taheri, Leonard J. Bond, and Eric J. Faierson

Link

SAT-Based Explicit LTLf Satisfiability Checking, Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, and Moshe Y. Vardi

Link

Satisfiability Checking for Mission-Time LTL, Jianwen Li, Moshe Y. Vardi, and Kristin Yvonne Rozier

PDF

From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques, Kristin Yvonne Rozier

PDF

A methodology for sorting haploid and diploid corn seed using terahertz time domain spectroscopy and machine learning, Jared Taylor, Chien-Ping T. Chou, and Leonard J. Bond

PDF

Paper watermark imaging using electron and low energy x-ray radiography, Zhan Zhang, Uwe Ewert, Timothy D. Barrett, and Leonard J. Bond

PDF

A framework for 3D x-ray CT iterative reconstruction using GPU-accelerated ray casting, Zhan Zhang, Sambit Ghadai, Onur Rauf Bingol, Adarsh Krishnamurthy, and Leonard J. Bond

Submissions from 2018

PDF

More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D3), Rohit Dureja and Kristin Yvonne Rozier

PDF

In-situ acoustic signature monitoring in additive manufacturing processes, Lucas W. Koester, Hossein Taheri, Timothy A. Bigelow, Leonard J. Bond, and Eric J. Faierson

PDF

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability, Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, and Moshe Y. Vardi

PDF

Finite element simulation and experimental verification of ultrasonic non-destructive inspection of defects in additively manufactured materials, Hossein Taheri, Lucas Koester, Timothy Bigelow, and Leonard J. Bond

PDF

Nondestructive strain depth profiling with high energy X-ray diffraction: System capabilities and limitations, Zhan Zhang, Scott E. Wendt, Nicholas Cosentino, and Leonard J. Bond

Submissions from 2017

PDF

Development of a numerical test bed for ultrasonic inspection of highly reinforced concrete, Mica Baquera and Leonard J. Bond

PDF

Numerical Investigation of Bio-Inspired Blade Designs at High Reynolds Numbers for Ultra-Quiet Aircraft and Wind Turbines, Andrew Bodling, Bharat Raj Agrawal, Anupam Sharma, Ian Clark, W. Nathan Alexander, and William Devenport

PDF

Numerical Investigations of Bio-Inspired Blade Designs to Reduce Broadband Noise in Aircraft Engines and Wind Turbines, Andrew Bodling, Bharat Raj Agrawal, Anupam Sharma, Ian Clark, W. Nathan Alexander, and William Devenport

PDF

Noise Reduction Mechanisms due to Bio-Inspired Airfoil Designs, Andrew Bodling and Anupam Sharma

PDF

A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks, Rohit Dureja, Eric W. D. Rozier, and Kristin Y. Rozier

PDF

FuseIC3: An Algorithm for Checking Large Design Spaces, Rohit Dureja and Kristin Yvonne Rozier

PDF

NDE of additively manufactured components with embedded defects (reference standards) using conventional and advanced ultrasonic methods, Lucas Koester, Ronald A. Roberts, Daniel J. Barnard, Sunil Kishore Chakrapani, Surendra Singh, Robert Hogan, and Leonard J. Bond

PDF

Inverse Design of Single- and Multi-Rotor Horizontal Axis Wind Turbine Blades using Computational Fluid Dynamics, Behnam Moghadassian and Anupam Sharma

Link

On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems, Kristin Yvonne Rozier

Link

R2U2: Tool Overview, Kristin Yvonne Rozier and Johann Schumann

PDF

Airfoil Thickness Effects on Dynamic Stall Onset, Anupam Sharma and Miguel Visbal

Submissions from 2016

PDF

Numerical Investigations of Bio-Inspired Blade Designs to Reduce Broadband Noise in Aircraft Engines and Wind Turbines, Bharat R. Agrawal and Anupam Sharma

PDF

Structural health monitoring ultrasonic thickness measurement accuracy and reliability of various time-of-flight calculation methods, Thomas J. Eason, Leonard J. Bond, and Mark G. Lozev

PDF

Relationship between near-surface ultrasonic shear-wave backscatter and grain size in metals, Brady J. Engle, Frank J. Margetan, and Leonard J. Bond

PDF

Ultrasonic and magnetic Barkhausen emission measurements for characterization of pipeline steels, Brady J. Engle, Lucinda J. Smart, and Leonard J. Bond

PDF

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration, Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, and Kristin Yvonne Rozier

PDF

Additive manufacturing metrology: State of the art and needs assessment, Lucas Koester, Hossein Taheri, Leonard J. Bond, Dan J. Barnard, and Joseph N. Gray

PDF

Reconstruction of wave features in wind-driven water film flow using ultrasonic pulse-echo technique, Yang Liu, Leonard J. Bond, and Hui Hu

PDF

Experimental study of the acoustoelastic Lamb wave in thin plates, Ning Pei and Leonard J. Bond

PDF

Specification: The Biggest Bottleneck in Formal Methods and Autonomy, Kristin Yvonne Rozier

PDF

Runtime Analysis with R2U2: A Tool Exhibition Report, Johann Schumann, Patrick Moosbrugger, and Kristin Yvonne Rozier

PDF

Material property relationships for pipeline steels and the potential for application of NDE, Lucinda Smart and Leonard J. Bond

Submissions from 2015

PDF

Towards Identifying Contribution of Wake Turbulence to Inflow Noise from Wind Turbines, Bharat Raj Agrawal, Aaron Rosenberg, and Anupam Sharma

PDF

A 2D finite element simulation of liquid coupled ultrasonic NDT system, Prathamesh N. Bilgunde and Leonard J. Bond

PDF

Assessment of ultrasonic NDT methods for high speed rail inspection, Jianzheng Cheng and Leonard J. Bond

PDF

Structural health monitoring of localized internal corrosion in high temperature piping for oil industry, Thomas J. Eason, Leonard J. Bond, and Mark G. Lozev

PDF

Nondestructive characterization of pipeline materials, Brady J. Engle, Lucinda J. Smart, and Leonard J. Bond

PDF

Analysis of critically refracted longitudinal waves, Ning Pei and Leonard J. Bond

PDF

A Prescribed-Wake Vortex Line Method for Aerodynamic Analysis and Optimization of Multi-Rotor Wind Turbines, Aaron Rosenberg and Anupam Sharma

PDF

Economics of online structural health monitoring of wind turbines: Cost benefit analysis, Jeremy Van Dam and Leonard J. Bond

Submissions from 2014

PDF

Donald O. Thompson: A remembrance, J. D. Achenbach, G. Alers, Lester W. Schmerr Jr., and Leonard J. Bond

PDF

Aerodynamic Noise Prediction for a Rod-Airfoil Configuration using Large Eddy Simulations, Bharat R. Agrawal and Anupam Sharma

PDF

Through the looking glass: The future for NDE?, Leonard J. Bond

PDF

Dielectric elastomer actuator with dual mechanical stiffness response, William Lai, Ashraf Bastawros, Wei Hong, and Alexander Jennings

PDF

Development of an ultrasonic pulse-echo (UPE) technique for aircraft icing studies, Yang Liu, Wen-Li Chen, Leonard J. Bond, and Hui Hu

PDF

Research gaps and technology needs in development of PHM for passive AdvSMR components, Ryan M. Meyer, Pradeep Ramuhalli, Jamie B. Coble, Evelyn H. Hirt, Mark R. Mitchell, David W. Wootan, Eric J. Berglin, Leonard J. Bond, and Chuck H. Henagar Jr.

PDF

A Novel Approach for Solving Navier-Stokes Equations on Complex Geometries, Avinaash Murali and R Ganesh Rajagopalan

PDF

On Predicting the Phenomenon of Surface Flow Convergence in Wind Farms, Suganthi Selvaraj and Anupam Sharma

PDF

Experimental and numerical investigation of role of contamination on tensile and shear strength of adhesively bonded joints in carbon fiber reinforced composites, Denizhan Yavas, Xu Shang, and Ashraf F. Bastawros

PDF

Damage evolution assessment and modeling for CBN grinding wheel wear, Tianyu Yu, Ashraf F. Bastawros, and Abhijit Chandra

Submissions from 2013

PDF

Prognostics Health Management for Advanced Small Modular Reactor Passive Components, Ryan M. Meyer, Pradeep Ramuhalli, Jamie B. Coble, Mark R. Mitchell, David W. Wootan, Evelyn H. Hirt, Eric J. Berglin, Leonard J. Bond, and Chuck H. Henager Jr.

Submissions from 2012

PDF

Inspection of helicopter rotor blades with the help of guided waves and "turning modes": Experimental and finite element analysis, Daniel J. Barnard, Sunil Kishore Chakrapani, and Vinay Dayal

PDF

Investigation of waviness in wind turbine blades: Structural health monitoring, Sunil Kishore Chakrapani, Vinay Dayal, and Daniel J. Barnard

PDF

Inspection and evaluation of dry fibers in thick composites, Vinay Dayal, Sunil Kishore Chakrapani, and Daniel J. Barnard

PDF

Equivalent flaw time-of-flight diffraction sizing with ultrasonic phased arrays, Brady J. Engle, Lester W. Schmerr Jr., and Alexander Sedov

PDF

Out-of-plane motion of a planar dielectric elastomer actuator with distributed stiffeners, William Lai, Ashraf F. Bastawros, and Wei Hong

PDF

Qualification requirements of guided ultrasonic waves for inspection of piping in light water reactors, R. M. Meyer, P. Ramuhalli, S. R. Doctor, and Leonard J. Bond

PDF

Damage characterization of carbon/epoxy laminates using compression-after-impact (CAI) and ultrasonic NDE, Ajith Subramanian, Vinay Dayal, and Daniel J. Barnard

Submissions from 2011

PDF

Ultrasonic testing of adhesive bonds of thick composites with applications to wind turbine blades, Sunil Kishore Chakrapani, Vinay Dayal, Ryan Krafka, and Aaron Eldal

PDF

Nonlinear elastic behavior of sub-critically damaged body armor panel, Jason T. Fisher and Dale E. Chimenti

PDF

Model-assisted development of a laminography inspection system, Robert J. Grandin and Joseph N. Gray

PDF

Flaw investigation in a multi-layered, multi-material composite: Using air-coupled ultrasonic resonance imaging, Richard A. Livings, Vinay Dayal, Daniel J. Barnard, and David K. Hsu

PDF

Limitations of symmetry in FE modeling: A comparison of fem and air-coupled resonance imaging, Richard A. Livings, Vinay Dayal, Daniel J. Barnard, and David K. Hsu

PDF

Ultrasonic phased array system modeling-issues and solutions, Lester W. Schmerr Jr. and Alexander Sedov

PDF

Preface: Review of Progress in Quantitative Nondestructive Evaluation, Donald O. Thompson and Dale E. Chimenti

PDF

Transducer degradation and high amplitude behavior of broadband piezoelectric stack transducer for vibrothermography, Jyani Somayajulu Vaddi, Stephen D. Holland, and Ricky Steven Reusser

Submissions from 2010

PDF

Characterization of waviness in wind turbine blades using air coupled ultrasonics, Sunil Kishore Chakrapani, Vinay Dayal, David K. Hsu, Daniel J. Barnard, and Andrew Gross

PDF

Flaw detection in a multi-material multi-layered composite: Using FEM and air-coupled UT, Richard A. Livings, Vinay Dayal, Daniel J. Barnard, and David K. Hsu

PDF

Porosity detection in ceramic armor tiles via ultrasonic time-of-flight, Frank J. Margetan, Nathaniel L. Richter, and Terrence C. Jensen

PDF

Simulation tools for ultrasonic inspections of multi-layer armor panels, Nathaniel L. Richter, Frank J. Margetan, Timothy A. Gray, and R. Bruce Thompson

PDF

Ultrasonic beam models for the generation of surface waves and plate waves with angle beam transducers, Lester W. Schmerr Jr. and Alexander Sedov

PDF

Preface, Donald O. Thompson and Dale E. Chimenti

PDF

Early work on the use of models in the determination of pod/inspection reliability in the US and UK, R. Bruce Thompson

PDF

Pod of ultrasonic detection of synthetic hard alpha inclusions in titanium aircraft engine forgings, R. Bruce Thompson, William Q. Meeker, and Lisa H. Brasche

PDF

Characterization of Piezoelectric Stack Actuators for Vibrothermography, Jyani Somayajulu Vaddi, Ricky Steven Reusser, and Stephen D. Holland

Submissions from 2009

PDF

Beam Flattener Design for High-Energy Radiographic Inspection, Robert J. Grandin and Thomas J. Rudolphi

PDF

Automatic Crack Detection Algorithm for Vibrothermography Sequence-of-Images Data, Miao Li, Stephen D. Holland, and William Q. Meeker

PDF

Synthetic Defects for Vibrothermography, Jeremy Blake Renshaw, Stephen D. Holland, R. Bruce Thompson, and David J. Eisenmann

PDF

Plate wave transmission/reflection at geometric obstructions: Experiment, Ricky S. Reusser, Dale E. Chimenti, Stephen D. Holland, and Ronald A. Roberts

PDF

Spacecraft leak location using structure-borne noise, Ricky S. Reusser, Dale E. Chimenti, Stephen D. Holland, and Ronald A. Roberts

PDF

Ultrasonic measurement models for surface wave and plate wave inspections, Lester W. Schmerr Jr. and Alexander Sedov

PDF

Frequency Dependence of Vibrothermography, Wenjun Zhang, Stephen D. Holland, and Jeremy Blake Renshaw

Submissions from 2008

PDF

Vibrothermographic Crack Heating: A Function of Vibration and Crack Size, Stephen D. Holland, Christopher Uhl, and Jeremy Blake Renshaw

PDF

The Effect of Crack Closure on Heat Generation on Vibrothermography, Jeremy Blake Renshaw, Stephen D. Holland, R. Bruce Thompson, and Christopher Uhl

PDF

Modeling the 2008 Ultrasonic Benchmark Problems, Lester W. Schmerr Jr. and Ruiju Huang

PDF

2008 ultrasonic benchmark studies of interface curvature—a summary, Lester W. Schmerr Jr., Ruiju Huang, R. Raillon, S. Mahaut, N. Leymarie, S. Lonne, S.-J. Song, H.-J. Kim, M. Spies, and V. Lupien

Submissions from 2007

PDF

Toward a Viable Strategy for Estimating Vibrothermographic Probability of Detection, Stephen D. Holland, Christopher Uhl, and Jeremy Blake Renshaw

PDF

Status of FAA Studies in Thermal Acoustics, John Lively, Zhong Ouyang, Lisa Brasche, Stephen D. Holland, David J. Eisenmann, Tom Bantel, and Waled Hassan

PDF

Full-field Vibration Measurement for Vibrothermography, Jeremy Blake Renshaw and Stephen D. Holland

Submissions from 2006

PDF

First Measurements from a New Broadband Vibrothermography Measurement System, Stephen D. Holland

Submissions from 2005

PDF

Residual Bias Phenomenon in Air‐Coupled Ultrasonic Capacitive Film Transducers, Stephen D. Holland, Junho Song, and Dale E. Chimenti