conftrace_

runtime verification

9 papers

Explore in graph

Co-occurring keywords

distributed system (96) static analysis (30) semantic violation (1) imprecise probability (15) policy compliance (6) robot controller (4) emergency response (8) genetic programming (30) controller synthesis (21) formal synthesis (4)

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