A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. | 0 | 0.34 | 2022 |
Automated Verification of Parallel Nested DFS. | 0 | 0.34 | 2020 |
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. | 0 | 0.34 | 2018 |
Distributed binary decision diagrams for symbolic reachability. | 0 | 0.34 | 2017 |