1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2022
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
Peng Xu, Xinwei Deng, Alejandro Salado
Verification planning is a sequential decision-making problem that specifies a set of verification activities (VA) and correction activities (CA) at different phases of system deve…
cs.SE2021★ 1 cited
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems
Peng Xu, Alejandro Salado, Xinwei Deng
Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is…
cs.SE2020
Towards an Interface Description Template for AI-enabled Systems
Niloofar Shadab, Alejandro Salado
Reuse is a common system architecture approach that seeks to instantiate a system architecture with existing components. However, reusing components with AI capabilities might intr…