Publications by Year

2021

Applying ACVIP for Verification by Analysis during Airworthiness Qualification
Charles Payne, Jr., John Hudak, Bruce Lewis, Dr. John McGregor, Alex Boydston
Airworthiness Qualification of ACVIP Tools
John Shackleton, Charles Payne, Jr., Rand Whillock, Tyler D. Smith, Steve Vestal, Ph.D.
ACVIP Reduces Risk to Aviation MOSA
Bruce Lewis, Tyler D. Smith, Sholom Cohen, William Anderson, Alex Boydston

2018

Continuous Virtual Integration
Rand Whillock, Tyler D. Smith, Rob Edman
Lessons Learned in Inter-Organization Virtual Integration
Tyler D. Smith, Rand Whillock, Rob Edman, Bruce Lewis, Steve Vestal, Ph.D.

2015

Joint Common Architecture (JCA) Demonstration Architecture-Centric Virtual Integration Process (ACVIP) Shadow Effort
Alex Boydston, Peter Feiler, Steve Vestal, Ph.D., Bruce Lewis

2013

Verifying Consistency Between Models
August Schwerdfeger, Ph.D., Hazel Shackleton, Steve Vestal, Ph.D.

2011

FUSED: A Tool Integration Framework for Collaborative System Engineering
Mark Boddy, Ph.D., Martin Michalowski, August Schwerdfeger, Ph.D., Hazel Shackleton, Steve Vestal, Ph.D.

2008

System-Level Autonomy Trust Enabler (SLATE)
Mark Boddy, Ph.D., Todd Carpenter, Hazel Shackleton, Kyle Nelson

2002

Using an Architecture Description Language for Quantitative Analysis of Real-Time Systems
Robert Allen, Steve Vestal, Ph.D., Dennis Cornhill, Bruce Lewis