2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2025
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam +2
Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety…
cs.SE2024★ 2 cited
Formal Verification of Consistency for Systems with Redundant Controllers
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi +2
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsiste…