Cited By
View all- Liu MZhang LXu WJiang SKong F(2024)CPSim: Simulation Toolbox for Security Problems in Cyber-Physical SystemsACM Transactions on Design Automation of Electronic Systems10.1145/3674904Online publication date: 25-Jun-2024
- Menard CLohstroh MBateni SChorlian MDeng ADonovan PFournier CLin SSuchert FTanneberger TKim HCastrillon JLee E(2023)High-performance Deterministic Concurrency Using Lingua FrancaACM Transactions on Architecture and Code Optimization10.1145/361768720:4(1-29)Online publication date: 26-Oct-2023
- Lee EAkella RBateni SLin SLohstroh MMenard C(2023)Consistency vs. Availability in Distributed Cyber-Physical SystemsACM Transactions on Embedded Computing Systems10.1145/360911922:5s(1-24)Online publication date: 9-Sep-2023