WAAM 2022 Program

8:00

Welcome: Steven Li, IEEE Reliability Society President

8:45

Assuring Safety-Critical Machine Learning Enabled Systems: Challenges and Promise
Alwyn Goodloe (NASA Langley Research Center)

9:30

Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems
Matthew Litton, Doron Drusinsky and James Michael (Naval Post Graduate School)

10:00

Break

10:30

Assurance Guidance for Machine Learning in a Safety-Critical System
Martin Feather (Jet Propulsion Laboratory, California Institute of Technology), Philip Slingerland (The Aerospace Corporation), Steven Guerrini (Jet Propulsion Laboratory, California Institute of Technology) and Max Spolaor (The Aerospace Corporation)

11:00

A Taxonomy of Critical AI System Characteristics for Use in Proxy System Testing
Joanna DeFranco, Mohamad Kassab and Phillip Laplante, (The Pennsylvania State University)

11:30

AI and Stochastic Terrorism Should it be done?
Bart Kemper (Kemper Engineering Services, LLC)

12:00-

Lunch

1:30

Combinatorial Coverage for Assured Autonomy
Rick Kuhn, M. S. Raunak and Raghu Kacker (NIST)

2:00

XAI for Communication Networks
Sayandev Mukherjee, Jason Rupe and Jingjie Zhu (CableLabs)

2:30

Investigating Bugs in AI-Infused Systems: Analysis and Proposed Taxonomy
Mohamad Kassab, Joanna DeFranco and Phillip Laplante (Pennsylvania State University)

3:00

Break

3:30

Safety-Critical Adaptation in Self-Adaptive Systems
Simon Diemert and Jens Weber (University of Victoria)

4:00

Evaluating Human Locomotion Safety in Mobile Robots Populated Environments
Boyi Hu, Yue Luo and Yuhao Chen (University of Florida)

4:30

Classification Analysis of Bearing Contrived Dataset under Different Levels of Contamination
Shamanth Manjunath, Ethan Wescoat, Vinita Gangaram Jansari, Matthew Krugh and Laine Mears (Clemson University)

Legend:
  In Person Presenter
  Virtual Presenter