24 citations · 56 across the 12 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
eess.SY2023★ 1 cited
Online Causation Monitoring of Signal Temporal Logic
Zhenya Zhang, Jie An, Paolo Arcaini +1
Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy a specification in, e.g., Signa…
cs.SE2023★ 4 cited
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions
Deyun Lyu, Jiayang Song, Zhenya Zhang +4
Cyber-Physical Systems (CPS) have been widely deployed in safety-critical domains such as transportation, power and energy. Recently, there comes an increasing demand in employing…
cs.SE2023★ 6 cited
Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study
Zeming Dong, Qiang Hu, Yuejun Guo +5
Recent studies have demonstrated remarkable advancements in source code learning, which applies deep neural networks (DNNs) to tackle various software engineering tasks. Similar to…