9 citations · 16 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 2 cited
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1
Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…
cs.PL2019★ 1 cited
Abstract Interpretation under Speculative Execution
Meng Wu, Chao Wang
Analyzing the behavior of a program running on a processor that supports speculative execution is crucial for applications such as execution time estimation and side channel detect…