| Probabilistic Hyperproperties with Rewards | 0 | 0.34 | 2022 |
| Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols | 1 | 0.36 | 2022 |
| Mapping Synthesis for Hyperproperties | 0 | 0.34 | 2022 |
| HyperPCTL Model Checking by Probabilistic Decomposition | 0 | 0.34 | 2022 |
| Optimal Recharging of Teams of Mobile Robots | 0 | 0.34 | 2021 |
| Bounded Model Checking for Hyperproperties. | 0 | 0.34 | 2021 |
| Predicate Monitoring in Distributed Cyber-Physical Systems | 1 | 0.35 | 2021 |
| Controller Synthesis for Hyperproperties | 1 | 0.35 | 2020 |
| Parameter Synthesis for Probabilistic Hyperproperties. | 0 | 0.34 | 2020 |
| Probabilistic Hyperproperties with Nondeterminism | 0 | 0.34 | 2020 |
| Parameterized synthesis of self-stabilizing protocols in symmetric networks. | 0 | 0.34 | 2020 |
| Managing the security-energy tradeoff in distributed cyber-physical systems. | 0 | 0.34 | 2019 |
| First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. | 1 | 0.35 | 2019 |
| Energy-Efficient Multiple Producer-Consumer | 0 | 0.34 | 2019 |
| Gray-Box Monitoring of Hyperproperties. | 0 | 0.34 | 2019 |
| Statistical Model Checking for Probabilistic Hyperproperties. | 0 | 0.34 | 2019 |
| Statistical Verification of Hyperproperties for Cyber-Physical System. | 0 | 0.34 | 2019 |
| Gray-box Monitoring of Hyperproperties (Extended Version). | 0 | 0.34 | 2019 |
| Program Repair for Hyperproperties. | 2 | 0.36 | 2019 |
| Automated Synthesis of Distributed Self-Stabilizing Protocols. | 0 | 0.34 | 2018 |
| Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. | 0 | 0.34 | 2018 |
| Decentralized Multi-UAV Routing in the Presence of Disturbances. | 0 | 0.34 | 2018 |
| Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. | 4 | 0.41 | 2018 |
| The Complexity of Monitoring Hyperproperties | 5 | 0.41 | 2018 |
| Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. | 1 | 0.35 | 2018 |
| Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. | 1 | 0.36 | 2018 |
| Crash-Resilient Decentralized Synchronous Runtime Verification | 0 | 0.34 | 2018 |
| Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. | 2 | 0.37 | 2017 |
| Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. | 8 | 0.44 | 2017 |
| Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms | 5 | 0.41 | 2017 |
| Distributed Vehicle Routing Approximation | 0 | 0.34 | 2017 |
| Runtime Verification of k-Safety Hyperproperties in HyperLTL | 14 | 0.58 | 2016 |
| Challenges in Fault-Tolerant Distributed Runtime Verification. | 3 | 0.39 | 2016 |
| Decentralized Asynchronous Crash-Resilient Runtime Verification. | 4 | 0.44 | 2016 |
| Runtime Verification For Hyperltl | 4 | 0.38 | 2016 |
| Abstract Model Repair. | 0 | 0.34 | 2015 |
| Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. | 1 | 0.36 | 2015 |
| Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints | 8 | 0.55 | 2015 |
| Decentralized Runtime Verification of LTL Specifications in Distributed Systems | 19 | 0.76 | 2015 |
| A framework for mining hybrid automata from input/output traces | 6 | 0.45 | 2015 |
| Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. | 2 | 0.38 | 2015 |
| The complexity of automated addition of fault-tolerance without explicit legitimate states | 0 | 0.34 | 2015 |
| Synthesizing bounded-time 2-phase fault recovery | 2 | 0.51 | 2015 |
| Runtime verification with minimal intrusion through parallelism | 6 | 0.45 | 2015 |
| Specification-based Synthesis of Distributed Self-Stabilizing Protocols | 2 | 0.36 | 2015 |
| Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints | 1 | 0.37 | 2015 |
| Time-Triggered Runtime Verification Of Component-Based Multi-Core Systems | 4 | 0.48 | 2015 |
| SMT-Based Synthesis of Distributed Self-stabilizing Systems. | 4 | 0.40 | 2014 |
| Power-Efficient Multiple Producer-Consumer | 0 | 0.34 | 2014 |
| Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. | 2 | 0.37 | 2014 |
