Cited By
View all- Zhang TSharma UKapritsos M(2023)Performal: Formal Verification of Latency Properties for Distributed SystemsProceedings of the ACM on Programming Languages10.1145/35912357:PLDI(368-393)Online publication date: 6-Jun-2023
- Bernardo MMezzina C(2023)Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time AdditivityFormal Modeling and Analysis of Timed Systems10.1007/978-3-031-42626-1_2(15-32)Online publication date: 19-Sep-2023
- Lanotte RMerro MMunteanu A(2022)Industrial Control Systems Security via Runtime EnforcementACM Transactions on Privacy and Security10.1145/354657926:1(1-41)Online publication date: 9-Nov-2022
- Show More Cited By