LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "runtime verification" as a keyword



Runtime Verification for Visual Deep Learning Systems With Loss Prediction

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Access"

DOI: 10.1109/access.2025.3552157

Abstract: Deep neural networks often demonstrate remarkable performance on benchmarks, but have been shown to readily fail once they leave lab-conditions and are deployed in real-world conditions. This can be attributed to their sensitivity to minor… read more here.

Keywords: deep learning; runtime verification; loss; distributional shift ... See more keywords

Crash-Resilient Decentralized Synchronous Runtime Verification

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Transactions on Dependable and Secure Computing"

DOI: 10.1109/tdsc.2023.3265566

Abstract: Runtime verification is a technique, where a monitor process extracts information from a running system in order to evaluate whether system executions violate or satisfy a given correctness specification. In this article, we consider runtime… read more here.

Keywords: system; crash; verification; math ... See more keywords

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Transactions on Parallel and Distributed Systems"

DOI: 10.1109/tpds.2022.3215854

Abstract: As a lightweight method, runtime verification aims to check whether one program execution satisfies a desired property. For online runtime verification, the approach efficiency and property expressiveness are two key points restricting its wide application.… read more here.

Keywords: regular temporal; distributed network; runtime verification; full regular ... See more keywords

Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Transactions on Reliability"

DOI: 10.1109/tr.2025.3561455

Abstract: Ensuring the safety of autonomous driving systems (ADSs) through rigorous verification in simulated environments is crucial before real-world deployment. However, using simulation environments for ADS testing and verification poses several challenges, including specifying various behaviors… read more here.

Keywords: runtime verification; verification; simulation; driving systems ... See more keywords

Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Transactions on Software Engineering"

DOI: 10.1109/tse.2024.3444697

Abstract: Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has emerged as a crucial discipline for building maintainable and reusable robotic… read more here.

Keywords: field; field based; based testing; verification field ... See more keywords

RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications

Sign Up to like & get
recommendations! Published in 2023 at "Robotics"

DOI: 10.3390/robotics12020049

Abstract: This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This is achieved keeping in mind possible… read more here.

Keywords: runtime verification; agent; agent systems; robotic applications ... See more keywords