conftrace_

runtime verification

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

signal temporal logic (2) distributed system (2) static analysis (2) imprecise probability (1) policy compliance (1) robot controller (1) emergency response (1) genetic programming (1) controller synthesis (1) formal synthesis (1)

Papers

LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration IJCAI 2025 Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025 Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring IJCAI 2024 Demystifying and Checking Silent Semantic Violations in Large Distributed Systems OSDI 2022 Don't Yank My Chain: Auditable NF Service Chaining NSDI 2021 Aragog: Scalable Runtime Verification of Shardable Networked Systems OSDI 2020 Probabilistic Model Checking of Robots Deployed in Extreme Environments AAAI 2019 Early Detection of Configuration Errors to Reduce Failure Damage OSDI 2016 Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014