On the public citation graph
LOLA: Runtime Monitoring of Synchronous Systems
0 signed · 293 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10722468_19openalex-snapshot
The Temporal Rover and the ATG Rover
inferredcites →https://doi.org/10.1007/3-540-18317-5_15openalex-snapshot
SIGNAL: A declarative language for synchronous programming of real-time systems
inferredcites →https://doi.org/10.1007/3-540-46002-0_24openalex-snapshot
Synthesizing Monitors for Safety Properties
inferredcites →https://doi.org/10.1007/978-1-4612-4222-2openalex-snapshot
Temporal Verification of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_5openalex-snapshot
Rule-Based Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-540-45069-6_3openalex-snapshot
Reasoning with Temporal Logic on Truncated Paths
inferredcites →https://doi.org/10.1007/s10515-005-6205-yopenalex-snapshot
Rewriting-Based Techniques for Runtime Verification
inferredcites →https://doi.org/10.1007/s10703-005-3399-3openalex-snapshot
Collecting Statistics Over Runtime Executions
inferredcites →https://doi.org/10.1016/s1571-0661(04)81051-xopenalex-snapshot
Generating Optimal Monitors for Extended Regular Expressions
inferredcites →https://doi.org/10.1023/a:1011254632723openalex-snapshot
Model Checking of Safety Properties
inferredcites →https://doi.org/10.1023/b:form.0000017721.39909.4bopenalex-snapshot
An Overview of the Runtime Verification Tool Java PathExplorer
inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot
The synchronous data flow programming language LUSTRE
inferredcites →https://doi.org/10.1109/aero.2005.1559341openalex-snapshot
Runtime verification for autonomous spacecraft software
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-03044-5_10openalex-snapshot
TeSSLa: Temporal Stream-Based Specification Language
inferred← citeshttps://doi.org/10.1007/978-3-030-03421-4_2openalex-snapshot
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_13openalex-snapshot
Bringing Runtime Verification Home
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_16openalex-snapshot
Striver: Stream Runtime Verification for Real-Time Event-Streams
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_17openalex-snapshot
Efficient Monitoring of Real Driving Emissions
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_19openalex-snapshot
From Parametric Trace Slicing to Rule Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_27openalex-snapshot
Writing Domain-Specific Languages for BeepBeep
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_5openalex-snapshot
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_6openalex-snapshot
Can We Monitor All Multithreaded Programs?
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_9openalex-snapshot
Online and Offline Stream Runtime Verification of Synchronous Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_24openalex-snapshot
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-30446-1_23openalex-snapshot
An Operational Guide to Monitorability
inferred← citeshttps://doi.org/10.1007/978-3-030-31514-6_16openalex-snapshot
Runtime Verification of Parametric Properties Using SMEDL
inferred← citeshttps://doi.org/10.1007/978-3-030-31784-3_9openalex-snapshot
Multi-head Monitoring of Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_11openalex-snapshot
Decentralized Stream Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_14openalex-snapshot
An Extension of LTL with Rules and Its Application to Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_16openalex-snapshot
Runtime Verification for Timed Event Streams with Partial Information
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_17openalex-snapshot
Shape Expressions for Specifying and Extracting Signal Features
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_6openalex-snapshot
Stream-Based Monitors for Real-Time Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_15openalex-snapshot
Semantic Foundations for Deterministic Dataflow and Stream Processing
inferred← citeshttps://doi.org/10.1007/978-3-030-51074-9_25openalex-snapshot
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-53291-8_3openalex-snapshot
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
inferred← citeshttps://doi.org/10.1007/978-3-030-59152-6_1openalex-snapshot
First-Order Timed Runtime Verification Using BDDs
inferred← citeshttps://doi.org/10.1007/978-3-030-59152-6_13openalex-snapshot
Multi-head Monitoring of Metric Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_11openalex-snapshot
Scalable Online Monitoring of Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_21openalex-snapshot
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_24openalex-snapshot
Verified Rust Monitors for Lola Specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_26openalex-snapshot
Unifying the Time-Event Spectrum for Stream Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_4openalex-snapshot
Analysing the Performance of Python-Based Web Services with the VyPR Framework
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_5openalex-snapshot
Monitoring Cyber-Physical Systems: From Design to Integration
inferred← citeshttps://doi.org/10.1007/978-3-030-61470-6_25openalex-snapshot
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
inferred← citeshttps://doi.org/10.1007/978-3-030-64276-1_1openalex-snapshot
A Flight Rule Checker for the LADEE Lunar Spacecraft
inferred← citeshttps://doi.org/10.1007/978-3-030-64437-6_2openalex-snapshot
Declarative Stream Runtime Verification (hLola)
inferred← citeshttps://doi.org/10.1007/978-3-030-72013-1_20openalex-snapshot
RTLola on Board: Testing Real Driving Emissions on your Phone
inferred← citeshttps://doi.org/10.1007/978-3-030-72016-2_18openalex-snapshot
Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-030-76384-8_22openalex-snapshot
Runtime Verification of Generalized Test Tables
inferred← citeshttps://doi.org/10.1007/978-3-030-83144-8_16openalex-snapshot
Safe Operation Monitoring for Specific Category Unmanned Aircraft
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_2openalex-snapshot
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_4openalex-snapshot
Monitoring with Verified Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_9openalex-snapshot
Nested Monitors: Monitors as Expressions to Build Monitors
inferred← citeshttps://doi.org/10.1007/978-3-030-90870-6_30openalex-snapshot
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams
inferred← citeshttps://doi.org/10.1007/978-3-030-92124-8_4openalex-snapshot
Monitoring First-Order Interval Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-98850-0_1openalex-snapshot
On Decentralized Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-030-99527-0_13openalex-snapshot
Verified First-Order Monitoring with Recursive Rules
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_37openalex-snapshot
Monitorability of Expressive Verdicts
inferred← citeshttps://doi.org/10.1007/978-3-031-08147-7_19openalex-snapshot
A Modular Runtime Enforcement Model Using Multi-traces
inferred← citeshttps://doi.org/10.1007/978-3-031-10363-6_14openalex-snapshot
Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_1openalex-snapshot
Randomized First-Order Monitoring with Hashing
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_10openalex-snapshot
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_11openalex-snapshot
Abstract Monitors for Quantitative Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_14openalex-snapshot
Towards Specificationless Monitoring of Provenance-Emitting Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_15openalex-snapshot
A Python Library for Trace Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_20openalex-snapshot
TeSSLa – An Ecosystem for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-17196-3_21openalex-snapshot
Real-Time Visualization of Stream-Based Monitoring Data
inferred← citeshttps://doi.org/10.1007/978-3-031-19756-7_9openalex-snapshot
Runtime Verification as Documentation
inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_14openalex-snapshot
Configurable-by-Construction Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_5openalex-snapshot
Specification-Based Monitoring in C++
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_8openalex-snapshot
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0_15openalex-snapshot
Vamos: Middleware for Best-Effort Third-Party Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-40132-9_17openalex-snapshot
Space Telemetry Analysis with PyContract
inferred← citeshttps://doi.org/10.1007/978-3-031-42212-6_9openalex-snapshot
A Stream-Based Approach to Intrusion Detection
inferred← citeshttps://doi.org/10.1007/978-3-031-42626-1_10openalex-snapshot
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_19openalex-snapshot
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_6openalex-snapshot
General Anticipatory Monitoring for Temporal Logics on Finite Traces
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_7openalex-snapshot
Metric First-Order Temporal Logic with Complex Data Types
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_8openalex-snapshot
Runtime Verification Prediction for Traces with Data
inferred← citeshttps://doi.org/10.1007/978-3-031-45332-8_13openalex-snapshot
Leveraging Static Analysis: An IDE for RTLola
inferred← citeshttps://doi.org/10.1007/978-3-031-47963-2_23openalex-snapshot
TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-50521-8_12openalex-snapshot
TP-DejaVu: Combining Operational and Declarative Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-65630-9_7openalex-snapshot
General Anticipatory Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_27openalex-snapshot
Runtime Verification in Real-Time with the Copilot Language: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_33openalex-snapshot
A Tutorial on Stream-Based Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-73741-1_23openalex-snapshot
End-to-End AI Generated Runtime Verification from Natural Language Specification
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_10openalex-snapshot
Adding State to Stream Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_12openalex-snapshot
RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_2openalex-snapshot
Stream-Based Monitoring Under Measurement Noise
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_8openalex-snapshot
Efficient Offline Monitoring for Dynamic Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_9openalex-snapshot
TimelyMon: A Streaming Parallel First-Order Monitor
inferred← citeshttps://doi.org/10.1007/978-3-031-75380-0_5openalex-snapshot
Interest Beyond Violation: On Points-of-Interest in Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-75387-9_16openalex-snapshot
Traceability and Accountability by Construction
inferred← citeshttps://doi.org/10.1007/978-3-031-78750-8_1openalex-snapshot
Configuration Monitor Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-82349-7_17openalex-snapshot
Offchain Runtime Verification (for The Tezos Blockchain)
inferred← citeshttps://doi.org/10.1007/978-3-031-84924-4_4openalex-snapshot
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
inferred← citeshttps://doi.org/10.1007/978-3-031-90643-5_4openalex-snapshot
Stream-Based Monitoring of Algorithmic Fairness
inferred← citeshttps://doi.org/10.1007/978-3-031-95497-9_14openalex-snapshot
LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests
inferred← citeshttps://doi.org/10.1007/978-3-031-97439-7_13openalex-snapshot
Embedding Monitoring of First-Order Temporal Logic in a Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-031-98682-6_20openalex-snapshot
An Intermediate Program Representation for Optimizing Stream-Based Languages
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_11openalex-snapshot
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_2openalex-snapshot
DSLs for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_21openalex-snapshot
A Practical Approach to Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_7openalex-snapshot
DynSRV: Dynamically Updated Properties for Stream Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-032-16855-9_22openalex-snapshot
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_19openalex-snapshot
Digital Twins: a Briefing for Formalists
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_8openalex-snapshot
Pacing Types for Asynchronous Stream Equations
inferred← citeshttps://doi.org/10.1007/978-3-032-32519-8_23openalex-snapshot
Differentially Private Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_10openalex-snapshot
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-Based Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_20openalex-snapshot
Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_6openalex-snapshot
Monitoring Under Uncertainty with DisTL
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_7openalex-snapshot
DSRV: Reconfigurable Stream Runtime Verification with Context Transfers
inferred← citeshttps://doi.org/10.1007/978-3-032-41160-0_8openalex-snapshot
Knowledge-Driven Stream Monitor Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_1openalex-snapshot
First International Competition on Software for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_17openalex-snapshot
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_6openalex-snapshot
Foundations of Boolean Stream Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-19249-9_15openalex-snapshot
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_12openalex-snapshot
On Implementing a Monitor-Oriented Programming Framework for Actor Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_25openalex-snapshot
Temporal Random Testing for Spark Streaming
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_1openalex-snapshot
Some Thoughts on Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_10openalex-snapshot
A Stream-Based Specification Language for Network Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_16openalex-snapshot
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_9openalex-snapshot
Predicting Space Requirements for a Stream Monitor Specification Language
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_32openalex-snapshot
Runtime Verification for Stream Processing Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-56841-6_5openalex-snapshot
Runtime Verification for Linear-Time Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-63121-9_16openalex-snapshot
Runtime Verification Logics A Language Design Perspective
inferred← citeshttps://doi.org/10.1007/978-3-319-67471-1_2openalex-snapshot
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_2openalex-snapshot
A Foundation for Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_3openalex-snapshot
Stream Runtime Monitoring on UAS
inferred← citeshttps://doi.org/10.1007/978-3-319-70848-5_12openalex-snapshot
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5openalex-snapshot
Lectures on Runtime Verification. Introductory and Advanced Topics
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_3openalex-snapshot
Monitoring Events that Carry Data
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_5openalex-snapshot
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-75632-5_6openalex-snapshot
Runtime Verification for Decentralised and Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-94111-0_2openalex-snapshot
Efficient Runtime Verification of First-Order Temporal Properties
inferred← citeshttps://doi.org/10.1007/978-3-540-75454-1_22openalex-snapshot
AMT: A Property-Based Monitoring Tool for Analog Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_13openalex-snapshot
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-03466-4_6openalex-snapshot
A First-Order Policy Language for History-Based Transaction Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_1openalex-snapshot
Policy Monitoring in First-Order Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_17openalex-snapshot
Compensation-Aware Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_26openalex-snapshot
Copilot: A Hard Real-Time Runtime Monitor
inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_38openalex-snapshot
LarvaStat: Monitoring of Statistical Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_27openalex-snapshot
MONPOLY: Monitoring Usage-Control Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_4openalex-snapshot
Teaching Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-33386-6_9openalex-snapshot
On Temporal Logic and Signal Processing
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_24openalex-snapshot
A Unified Approach for Static and Runtime Verification: Framework and Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_3openalex-snapshot
Monitoring of Temporal First-Order Properties with Aggregations
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_7openalex-snapshot
Synthesising Correct Concurrent Runtime Monitors
inferred← citeshttps://doi.org/10.1007/978-3-642-45005-1_5openalex-snapshot
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-54013-4_20openalex-snapshot
Monitoring Parametric Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_55openalex-snapshot
MarQ: Monitoring at Runtime with QEA
inferred← citeshttps://doi.org/10.1007/978-3-662-49674-9_54openalex-snapshot
Runtime Monitoring with Union-Find Structures
inferred← citeshttps://doi.org/10.1007/978-981-95-7826-9_14openalex-snapshot
WEX: Formal Specifications for Windows in Stream Processing
inferred← citeshttps://doi.org/10.1007/s10009-012-0247-9openalex-snapshot
Monitoring properties of analog and mixed-signal circuits
inferred← citeshttps://doi.org/10.1007/s10009-017-0454-5openalex-snapshot
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
inferred← citeshttps://doi.org/10.1007/s10009-021-00605-3openalex-snapshot
Stream runtime verification of real-time event streams with the Striver language
inferred← citeshttps://doi.org/10.1007/s10009-021-00608-0openalex-snapshot
From parametric trace slicing to rule systems
inferred← citeshttps://doi.org/10.1007/s10009-021-00614-2openalex-snapshot
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications
inferred← citeshttps://doi.org/10.1007/s10009-021-00626-yopenalex-snapshot
An extension of first-order LTL with rules with application to runtime verification
inferred← citeshttps://doi.org/10.1007/s10009-021-00627-xopenalex-snapshot
Specifying and detecting temporal patterns with shape expressions
inferred← citeshttps://doi.org/10.1007/s10009-023-00712-3openalex-snapshot
Monitoring with verified guarantees
inferred← citeshttps://doi.org/10.1007/s10009-023-00720-3openalex-snapshot
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
inferred← citeshttps://doi.org/10.1007/s10270-020-00860-zopenalex-snapshot
An operational guide to monitorability with applications to regular properties
inferred← citeshttps://doi.org/10.1007/s10270-022-01076-zopenalex-snapshot
Execution trace analysis for a precise understanding of latency violations
inferred← citeshttps://doi.org/10.1007/s10703-012-0142-8openalex-snapshot
Safer asynchronous runtime monitoring using compensations
inferred← citeshttps://doi.org/10.1007/s10703-014-0217-9openalex-snapshot
Synthesising correct concurrent runtime monitors
inferred← citeshttps://doi.org/10.1007/s10703-015-0222-7openalex-snapshot
Monitoring of temporal first-order properties with aggregations
inferred← citeshttps://doi.org/10.1007/s10703-016-0241-zopenalex-snapshot
ModelPlex: verified runtime validation of verified cyber-physical system models
inferred← citeshttps://doi.org/10.1007/s10703-018-00327-4openalex-snapshot
First-order temporal logic monitoring with BDDs
inferred← citeshttps://doi.org/10.1007/s10703-018-00328-3openalex-snapshot
Almost event-rate independent monitoring
inferred← citeshttps://doi.org/10.1007/s10703-018-0317-zopenalex-snapshot
Inferring event stream abstractions
inferred← citeshttps://doi.org/10.1007/s10703-019-00337-wopenalex-snapshot
A survey of challenges for runtime verification from advanced application domains (beyond software)
inferred← citeshttps://doi.org/10.1007/s10703-022-00398-4openalex-snapshot
From LTL to rLTL monitoring: improved monitorability through robust semantics
inferred← citeshttps://doi.org/10.1007/s10703-023-00428-9openalex-snapshot
Runtime verification of real-time event streams using the tool HStriver
inferred← citeshttps://doi.org/10.1007/s10703-024-00450-5openalex-snapshot
Runtime verification of partially-synchronous distributed system
inferred← citeshttps://doi.org/10.1007/s11219-019-09493-yopenalex-snapshot
Runtime verification of real-time event streams under non-synchronized arrival
inferred← citeshttps://doi.org/10.1007/s11334-024-00557-2openalex-snapshot
General monitorability of totally ordered verdict domains
inferred← citeshttps://doi.org/10.1007/s11432-012-4739-8openalex-snapshot
Anticipatory active monitoring for safety- and security-critical software
inferred← citeshttps://doi.org/10.1007/s12243-023-00952-zopenalex-snapshot
A modular pipeline for enforcement of security properties at runtime
inferred← citeshttps://doi.org/10.1007/s42979-025-03824-6openalex-snapshot
Testing Stream Programs from Pre/Post-models
inferred← citeshttps://doi.org/10.1016/j.cosrev.2023.100594openalex-snapshot
Uncertainty in runtime verification: A survey
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105058openalex-snapshot
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines
inferred← citeshttps://doi.org/10.1016/j.is.2019.101446openalex-snapshot
Detecting trend deviations with generic stream processing patterns
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot
A brief account of runtime verification
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111611openalex-snapshot
Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform
inferred← citeshttps://doi.org/10.1016/j.scico.2012.10.015openalex-snapshot
Runtime verification of microcontroller binary code
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102610openalex-snapshot
RML: Theory and practice of a domain specific language for runtime verification
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103212openalex-snapshot
Vamos: Middleware for best-effort third-party monitoring
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.04.019openalex-snapshot
Foundations of Boolean stream runtime verification
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114680openalex-snapshot
Checking equivalence of corecursive streams: An inductive procedure
inferred← citeshttps://doi.org/10.1049/iet-sen.2011.0111openalex-snapshot
Model-based testing of embedded systems in hardware in the loop environment
inferred← citeshttps://doi.org/10.1109/access.2019.2947361openalex-snapshot
FlinkCheck: Property-Based Testing for Apache Flink
inferred← citeshttps://doi.org/10.1109/access.2023.3298329openalex-snapshot
Decentralized Stream Runtime Verification for Timed Asynchronous Networks
inferred← citeshttps://doi.org/10.1109/ase.2019.00013openalex-snapshot
Experience Paper: Search-Based Testing in Automated Driving Control Applications
inferred← citeshttps://doi.org/10.1109/cgo53902.2022.9741275openalex-snapshot
Aggregate Update Problem for Multi-clocked Dataflow Languages
inferred← citeshttps://doi.org/10.1109/csip.2012.6308917openalex-snapshot
Runtime verification based on 4-valued past time LTL
inferred← citeshttps://doi.org/10.1109/dsn-s58398.2023.00023openalex-snapshot
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment
inferred← citeshttps://doi.org/10.1109/icra48506.2021.9561671openalex-snapshot
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00042openalex-snapshot
EC.LANG – A Language for Specifying Response Time Analyses of Event Chains
inferred← citeshttps://doi.org/10.1109/icuas.2019.8797898openalex-snapshot
Monitor-Centric Mission Definition With Sophrosyne
inferred← citeshttps://doi.org/10.1109/imc-ssgp67001.2025.11474049openalex-snapshot
TestAdapt: An Adaptive Dataset for Configuration and Testing of Intelligent Systems
inferred← citeshttps://doi.org/10.1109/jiot.2025.3529887openalex-snapshot
A Framework for Runtime Safety of Industrial Control Systems Through Runtime Verification
inferred← citeshttps://doi.org/10.1109/jproc.2018.2853608openalex-snapshot
Real-Time Decision Policies With Predictable Performance
showing the first 200 of 280 · page through all 280
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.