On the public citation graph
Runtime Verification for LTL and TLTL
0 signed · 618 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.1006/inco.1993.1024openalex-snapshot
Model-Checking in Dense Real-Time
inferredcites →https://doi.org/10.1007/11498490_27openalex-snapshot
20 Model-Based Testing – A Glossary
inferredcites →https://doi.org/10.1007/11513988_36openalex-snapshot
Efficient Monitoring of ω-Languages
inferredcites →https://doi.org/10.1007/11813040_38openalex-snapshot
PSL Model Checking and Run-Time Verification Via Testers
inferredcites →https://doi.org/10.1007/11817963_25openalex-snapshot
Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
inferredcites →https://doi.org/10.1007/11944836_25openalex-snapshot
Monitoring of Real-Time Properties
inferredcites →https://doi.org/10.1007/3-540-44585-4_6openalex-snapshot
Fast LTL to Büchi Automata Translation
inferredcites →https://doi.org/10.1007/3-540-45089-0_5openalex-snapshot
Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
inferredcites →https://doi.org/10.1007/3-540-45139-0_3openalex-snapshot
Model-checking in finite state-space systems with fine-grained abstractions using SPIN
inferredcites →https://doi.org/10.1007/3-540-45739-9_14openalex-snapshot
Fault Diagnosis for Timed Automata
inferredcites →https://doi.org/10.1007/3-540-46002-0_24openalex-snapshot
Synthesizing Monitors for Safety Properties
inferredcites →https://doi.org/10.1007/3-540-49059-0_14openalex-snapshot
Symbolic Model Checking without BDDs
inferredcites →https://doi.org/10.1007/3-540-52148-8_17openalex-snapshot
Timing assumptions and verification of finite-state concurrent systems
inferredcites →https://doi.org/10.1007/3-540-60915-6_6openalex-snapshot
An automata-theoretic approach to linear temporal logic
inferredcites →https://doi.org/10.1007/978-1-4612-4222-2openalex-snapshot
Temporal Verification of Reactive Systems
inferredcites →https://doi.org/10.1007/978-1-4613-8928-6_23openalex-snapshot
On a Decision Method in Restricted Second Order Arithmetic
inferredcites →https://doi.org/10.1007/978-3-540-30206-3_12openalex-snapshot
Monitoring Temporal Properties of Continuous Signals
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_12openalex-snapshot
A Note on On-the-Fly Verification Algorithms
inferredcites →https://doi.org/10.1007/978-3-540-31982-5_14openalex-snapshot
Fault Diagnosis Using Timed Automata
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/978-3-540-72952-5_11openalex-snapshot
A Formal Language for Electronic Contracts
inferredcites →https://doi.org/10.1007/978-3-540-73370-6_20openalex-snapshot
Instrumenting C Programs with Nested Word Monitors
inferredcites →https://doi.org/10.1007/978-3-540-77395-5_10openalex-snapshot
Rule Systems for Run-Time Monitoring: From Eagle to RuleR
inferredcites →https://doi.org/10.1007/978-3-540-77395-5_11openalex-snapshot
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
inferredcites →https://doi.org/10.1007/bfb0020949openalex-snapshot
UPPAAL — a tool suite for automatic verification of real-time systems
inferredcites →https://doi.org/10.1007/bfb0024530openalex-snapshot
Event-triggered versus time-triggered real-time systems
inferredcites →https://doi.org/10.1007/s00165-008-0089-0openalex-snapshot
Network invariants for real-time systems
inferredcites →https://doi.org/10.1007/s00766-005-0016-3openalex-snapshot
A requirements monitoring framework for enterprise systems
inferredcites →https://doi.org/10.1007/s10009-003-0107-8openalex-snapshot
Generating online test oracles from temporal logic specifications
inferredcites →https://doi.org/10.1007/s10009-003-0117-6openalex-snapshot
Efficient monitoring of safety properties
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/b978-0-12-417750-5.50022-1openalex-snapshot
AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
inferredcites →https://doi.org/10.1016/j.entcs.2004.01.029openalex-snapshot
Monitoring Algorithms for Metric Temporal Logic Specifications
inferredcites →https://doi.org/10.1016/j.entcs.2004.12.015openalex-snapshot
Insights to Angluin's Learning
inferredcites →https://doi.org/10.1016/j.entcs.2006.02.007openalex-snapshot
Temporal Assertions using AspectJ
inferredcites →https://doi.org/10.1016/s0304-3975(97)00173-4openalex-snapshot
Event-clock automata: a determinizable class of timed automata
inferredcites →https://doi.org/10.1016/s1571-0661(04)00252-xopenalex-snapshot
On the Construction of Monitors for Temporal Logic Properties
inferredcites →https://doi.org/10.1016/s1571-0661(04)00253-1openalex-snapshot
Monitoring Java Programs with Java PathExplorer
inferredcites →https://doi.org/10.1016/s1571-0661(04)80578-4openalex-snapshot
Computational Analysis of Run-time Monitoring
inferredcites →https://doi.org/10.1016/s1571-0661(04)81045-4openalex-snapshot
Towards Monitoring-Oriented Programming
inferredcites →https://doi.org/10.1016/s1571-0661(04)81051-xopenalex-snapshot
Generating Optimal Monitors for Extended Regular Expressions
inferredcites →https://doi.org/10.1016/s1571-0661(05)80366-4openalex-snapshot
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past
inferredcites →https://doi.org/10.1023/a:1008734703554openalex-snapshot
Analysis of Timed Systems Using Time-Abstracting Bisimulations
inferredcites →https://doi.org/10.1023/a:1011254632723openalex-snapshot
Model Checking of Safety Properties
inferredcites →https://doi.org/10.1023/b:form.0000017718.28096.48openalex-snapshot
Checking Finite Traces Using Alternating Automata
inferredcites →https://doi.org/10.1023/b:form.0000017719.43755.7copenalex-snapshot
Java-MaC: A Run-Time Assurance Approach for Java Programs
inferredcites →https://doi.org/10.1093/logcom/exn075openalex-snapshot
Comparing LTL Semantics for Runtime Verification
inferredcites →https://doi.org/10.1109/ase.2001.989841openalex-snapshot
Automata-based verification of temporal properties on running programs
inferredcites →https://doi.org/10.1109/aswec.2006.36openalex-snapshot
Model-based runtime analysis of distributed reactive systems
inferredcites →https://doi.org/10.1109/cdc.1994openalex-snapshot
Proceedings of 1994 33rd IEEE Conference on Decision and Control
inferredcites →https://doi.org/10.1109/cdc.1994.410933openalex-snapshot
Discretization of timed automata
inferredcites →https://doi.org/10.1109/discex.2000.821527openalex-snapshot
SASI enforcement of security policies: a retrospective
inferredcites →https://doi.org/10.1109/icws.2006.113openalex-snapshot
Run-Time Monitoring of Instances and Classes of Web Service Compositions
inferredcites →https://doi.org/10.1109/ipdps.2004.1303336openalex-snapshot
Program monitoring with LTL in Eagle
inferredcites →https://doi.org/10.1109/time.2005.26openalex-snapshot
LOLA: Runtime Monitoring of Synchronous Systems
inferredcites →https://doi.org/10.1109/tse.1977.229904openalex-snapshot
Proving the Correctness of Multiprocess Programs
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1109/tse.2004.91openalex-snapshot
A taxonomy and catalog of runtime software-fault monitoring tools
inferredcites →https://doi.org/10.1137/0201010openalex-snapshot
Depth-First Search and Linear Graph Algorithms
inferredcites →https://doi.org/10.1142/s0129054103001923openalex-snapshot
A Logical Characterisation of Event Clock Automata
inferredcites →https://doi.org/10.1145/1028664.1028776openalex-snapshot
A lightweight LTL runtime verification tool for java
inferredcites →https://doi.org/10.1145/1094811.1094839openalex-snapshot
Adding trace matching with free variables to AspectJ
inferredcites →https://doi.org/10.1145/1094811.1094840openalex-snapshot
Finding application errors and security flaws using PQL
inferredcites →https://doi.org/10.1145/1094811.1094841openalex-snapshot
Relational queries over program traces
inferredcites →https://doi.org/10.1145/1390832.1390835openalex-snapshot
Towards a unified framework for the monitoring and recovery of BPEL processes
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/3828.3837openalex-snapshot
The complexity of propositional linear temporal logics
inferredcites →https://doi.org/10.25596/jalc-1999-247openalex-snapshot
The Logic of Event Clocks - Decidability, Complexity And Expressiveness
inferredcites →https://doi.org/10.5555/317825.317964openalex-snapshot
Symbolic Manipulation of Boolean Functions Using a Graphical Representation
inferredcites →https://doi.org/10.5555/380921.380927openalex-snapshot
Model-checking infinite state-space systems with fine-grained abstractions using SPIN
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119743187.ch3openalex-snapshot
Formal Methods for the Security of Medical Devices1
inferred← citeshttps://doi.org/10.1002/spe.1038openalex-snapshot
Monitoring of Probabilistic Timed Property Sequence Charts
inferred← citeshttps://doi.org/10.1002/spe.2256openalex-snapshot
Analyzing performance traces using temporal formulas
inferred← citeshttps://doi.org/10.1007/978-3-030-00801-7_2openalex-snapshot
Run-Time Analysis of Temporal Constrained Objects
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_26openalex-snapshot
An Environment for the ParTraP Trace Property Language (Tool Demonstration)
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_7openalex-snapshot
Runtime Verification: From Propositional to First-Order Temporal Logic
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-13651-2_4openalex-snapshot
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation
inferred← citeshttps://doi.org/10.1007/978-3-030-20652-9_5openalex-snapshot
Traffic Management for Urban Air Mobility
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_14openalex-snapshot
Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability
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-30923-7_3openalex-snapshot
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
inferred← citeshttps://doi.org/10.1007/978-3-030-31514-6_15openalex-snapshot
The Cost of Monitoring Alone
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_10openalex-snapshot
Assumption-Based Runtime Verification with Partial Observability and Resets
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_15openalex-snapshot
Monitorability over Unreliable Channels
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_23openalex-snapshot
NuRV: A nuXmv Extension for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_24openalex-snapshot
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity
inferred← citeshttps://doi.org/10.1007/978-3-030-55754-6_9openalex-snapshot
Automated Requirements-Based Testing of Black-Box Reactive Systems
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-60508-7_1openalex-snapshot
Monitorability Under Assumptions
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_8openalex-snapshot
PatrIoT: Policy Assisted Resilient Programmable IoT System
inferred← citeshttps://doi.org/10.1007/978-3-030-63406-3_12openalex-snapshot
Four-Valued Monitorability of $$\omega $$-Regular Languages
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_18openalex-snapshot
HLola: a Very Functional Tool for Extensible Stream Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-87348-6_5openalex-snapshot
Runtime Verification: Passing on the Baton
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_11openalex-snapshot
Assumption-Based Runtime Verification of Infinite-State Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_5openalex-snapshot
On the Specification and Monitoring of Timed Normative Systems
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-88885-5_22openalex-snapshot
Incorporating Monitors in Reactive Synthesis Without Paying the Price
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_3openalex-snapshot
Runtime Enforcement with Reordering, Healing, and Suppression
inferred← citeshttps://doi.org/10.1007/978-3-030-98464-9_7openalex-snapshot
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation
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-08143-9_12openalex-snapshot
A Monitoring Tool for Linear-Time $$\mu $$HML
inferred← citeshttps://doi.org/10.1007/978-3-031-08848-3_4openalex-snapshot
Declarative Process Specifications: Reasoning, Discovery, Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_22openalex-snapshot
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
inferred← citeshttps://doi.org/10.1007/978-3-031-15839-1_3openalex-snapshot
Monitoring Timed Properties (Revisited)
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_21openalex-snapshot
Runtime Verification with Imperfect Information Through Indistinguishability Relations
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_2openalex-snapshot
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-18192-4_12openalex-snapshot
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_10openalex-snapshot
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
inferred← citeshttps://doi.org/10.1007/978-3-031-20872-0_2openalex-snapshot
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
inferred← citeshttps://doi.org/10.1007/978-3-031-23198-8_16openalex-snapshot
Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors
inferred← citeshttps://doi.org/10.1007/978-3-031-25383-6_11openalex-snapshot
What Can Database Query Processing Do for Instance-Spanning Constraints?
inferred← citeshttps://doi.org/10.1007/978-3-031-25803-9_9openalex-snapshot
Residual Runtime Verification via Reachability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-29845-5_1openalex-snapshot
Cybersecurity for Satellite Smart Critical Infrastructure
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_10openalex-snapshot
Opportunistic Monitoring of Multithreaded Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_17openalex-snapshot
Quantitative Safety and Liveness
inferred← citeshttps://doi.org/10.1007/978-3-031-32157-3_4openalex-snapshot
Sound Concurrent Traces for Online Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_4openalex-snapshot
Online Causation Monitoring of Signal Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-42212-6_3openalex-snapshot
Security Requirements Formalization with RQCODE
inferred← citeshttps://doi.org/10.1007/978-3-031-43240-8_12openalex-snapshot
Complete Property-Oriented Module Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_16openalex-snapshot
AMT: A Runtime Verification Tool of Video Streams
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_25openalex-snapshot
Monitorability for Runtime Verification
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-65633-0_12openalex-snapshot
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_4openalex-snapshot
Information Flow Guided Synthesis with Unbounded Communication
inferred← citeshttps://doi.org/10.1007/978-3-031-68416-6_2openalex-snapshot
Diagnosis of Stochastic Systems: Optimising Costs and Delays
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_18openalex-snapshot
CauMon: An Informative Online Monitor for Signal Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-72044-4_1openalex-snapshot
Efficient Temporal Logic Runtime Monitoring for Tiny Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_13openalex-snapshot
Case Study: Runtime Safety Verification of Neural Network Controlled System
inferred← citeshttps://doi.org/10.1007/978-3-031-74234-7_16openalex-snapshot
Distributed Monitoring of Timed Properties
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_7openalex-snapshot
faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
inferred← citeshttps://doi.org/10.1007/978-3-031-75783-9_17openalex-snapshot
Another Look at LTL Modulo Theory over Finite and Infinite Traces
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-93706-4_8openalex-snapshot
Mode-Based Reactive Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-97439-7_12openalex-snapshot
A Note on Runtime Verification of Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-00942-5_14openalex-snapshot
A Specification-Driven Approach to Embedded FDIR Code Generation
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_20openalex-snapshot
Runtime Verification for LTL in Stochastic Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_3openalex-snapshot
Execution and Monitoring of HOA Automata with HOAX
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_33openalex-snapshot
Automated LTL Specification Generation from Industrial Aerospace Requirements
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-28079-4_26openalex-snapshot
Formal Runtime Verification of Avionics Systems Using Level-D Flight Simulator Data and NASA/JPL’s F Prime
inferred← citeshttps://doi.org/10.1007/978-3-032-34867-8_3openalex-snapshot
Diagnosis of Runtime Property Violations
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_27openalex-snapshot
From ODD to Runtime Monitors: ODD-Based Scenario Generation and Coverage Assessment
inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_7openalex-snapshot
Online Testing of LTL Properties for Java Code
inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_2openalex-snapshot
A Compositional Monitoring Framework for Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07512-9_7openalex-snapshot
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
inferred← citeshttps://doi.org/10.1007/978-3-319-08311-7_6openalex-snapshot
Towards a Runtime Verification Framework for the Ada Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_9openalex-snapshot
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_12openalex-snapshot
Organising LTL Monitors over Distributed Systems with a Global Clock
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_16openalex-snapshot
On Real-Time Monitoring with Imprecise Timestamps
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-11743-0_20openalex-snapshot
Formal Technical Process Specification and Verification for Automated Production Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-19584-1_5openalex-snapshot
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_5openalex-snapshot
On Verifying Hennessy-Milner Logic with Recursion at Runtime
inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_9openalex-snapshot
Monitoring Real Android Malware
inferred← citeshttps://doi.org/10.1007/978-3-319-27218-4_6openalex-snapshot
Online Testing: A Passive Approach for Protocols
inferred← citeshttps://doi.org/10.1007/978-3-319-30734-3_6openalex-snapshot
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-40648-0_6openalex-snapshot
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error
inferred← citeshttps://doi.org/10.1007/978-3-319-42691-4_21openalex-snapshot
Security and Robustness for Collaborative Monitors
inferred← citeshttps://doi.org/10.1007/978-3-319-45348-4_10openalex-snapshot
Semantical Vacuity Detection in Declarative Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-319-46508-1_3openalex-snapshot
Archimedean Points: The Essence for Mastering Change
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_20openalex-snapshot
Leveraging DTrace for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_29openalex-snapshot
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)
inferred← citeshttps://doi.org/10.1007/978-3-319-46982-9_4openalex-snapshot
Runtime Verification for HyperLTL
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_27openalex-snapshot
Challenges in Fault-Tolerant Distributed Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_29openalex-snapshot
Runtime Verification for Interconnected Medical Devices
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_47openalex-snapshot
Software that Meets Its Intent
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-57288-8_1openalex-snapshot
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
inferred← citeshttps://doi.org/10.1007/978-3-319-57708-1_9openalex-snapshot
Runtime Verification Monitor Construction for Three-valued PPTL
inferred← citeshttps://doi.org/10.1007/978-3-319-62594-2_6openalex-snapshot
Map Reduce Autoscaling over the Cloud with Process Mining Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-319-62920-9_2openalex-snapshot
Designing Reliable Cyber-Physical Systems
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-63387-9_18openalex-snapshot
Runtime Verification of Temporal Properties over Out-of-Order Data Streams
inferred← citeshttps://doi.org/10.1007/978-3-319-66845-1_4openalex-snapshot
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL
inferred← citeshttps://doi.org/10.1007/978-3-319-67113-0_9openalex-snapshot
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information
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_1openalex-snapshot
Introduction to Runtime Verification
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_6openalex-snapshot
Runtime Verification for Decentralised and Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-89363-1_7openalex-snapshot
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-92408-3_9openalex-snapshot
Distributed Coordination Runtime Assertions for the Peer Model
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_29openalex-snapshot
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
inferred← citeshttps://doi.org/10.1007/978-3-642-21437-0_9openalex-snapshot
Sampling-Based Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_58openalex-snapshot
Monitorability of Stochastic Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28717-6_24openalex-snapshot
An Asymptotically Correct Finite Path Semantics for LTL
inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_18openalex-snapshot
Runtime Verification Meets Android Security
inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_37openalex-snapshot
Runtime Verification with Predictive Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_16openalex-snapshot
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_17openalex-snapshot
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_20openalex-snapshot
Algorithms for Monitoring Real-Time Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_34openalex-snapshot
Monitoring Realizability
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_35openalex-snapshot
Runtime Verification of Traces under Recording Uncertainty
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-32621-9_5openalex-snapshot
On Distributed Monitoring of Asynchronous Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_10openalex-snapshot
Decentralised LTL Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-32885-5_6openalex-snapshot
Aligning Event Logs and Declarative Process Models for Conformance Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_10openalex-snapshot
Sliding between Model Checking and Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_23openalex-snapshot
Runtime Enforcement of Timed Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_25openalex-snapshot
Rewrite-Based Statistical Model Checking of WMTL
inferred← citeshttps://doi.org/10.1007/978-3-642-36249-1_4openalex-snapshot
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures
inferred← citeshttps://doi.org/10.1007/978-3-642-36424-2_16openalex-snapshot
Custom Reconfigurable Architecture Based on Virtex 5 Lookup Tables
inferred← citeshttps://doi.org/10.1007/978-3-642-40561-7_17openalex-snapshot
Zero Overhead Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_11openalex-snapshot
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_4openalex-snapshot
From Propositional to First-Order Monitoring
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-45422-6_6openalex-snapshot
A Formal Monitoring Technique for SIP Conformance Testing
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-642-54092-9_8openalex-snapshot
Testing Distributed Communication Protocols by Formal Performance Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_23openalex-snapshot
Monitoring Modulo Theories
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_24openalex-snapshot
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_5openalex-snapshot
Efficient and Generalized Decentralized Monitoring of Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_54openalex-snapshot
An LTL Proof System for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-981-19-8915-5_45openalex-snapshot
A Runtime Verification Tool for Distributed Simulation Systems
inferred← citeshttps://doi.org/10.1007/978-981-96-0602-3_16openalex-snapshot
Runtime Verification of Neural-Symbolic Systems
inferred← citeshttps://doi.org/10.1007/s00165-017-0422-6openalex-snapshot
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
inferred← citeshttps://doi.org/10.1007/s00236-017-0295-4openalex-snapshot
Algorithms for monitoring real-time properties
inferred← citeshttps://doi.org/10.1007/s00236-022-00435-zopenalex-snapshot
Decentralized runtime verification of message sequences in message-based systems
inferred← citeshttps://doi.org/10.1007/s00607-024-01375-xopenalex-snapshot
Runtime verification of electronic stability control system in automated vehicles with STL3 formalism
inferred← citeshttps://doi.org/10.1007/s10009-015-0394-xopenalex-snapshot
Rigorous development process of a safety-critical system: from ASM models to Java code
inferred← citeshttps://doi.org/10.1007/s10009-017-0470-5openalex-snapshot
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫
inferred← citeshttps://doi.org/10.1007/s10009-019-00531-5openalex-snapshot
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
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-00607-1openalex-snapshot
Scalable online first-order monitoring
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-00625-zopenalex-snapshot
What can we monitor over unreliable channels?
inferred← citeshttps://doi.org/10.1007/s10270-012-0301-9openalex-snapshot
Evolution styles: foundations and models for software architecture evolution
inferred← citeshttps://doi.org/10.1007/s10270-013-0323-yopenalex-snapshot
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
inferred← citeshttps://doi.org/10.1007/s10270-013-0366-0openalex-snapshot
Model checking LTL properties over ANSI-C programs with bounded traces
inferred← citeshttps://doi.org/10.1007/s10270-017-0588-7openalex-snapshot
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
inferred← citeshttps://doi.org/10.1007/s10270-019-00721-4openalex-snapshot
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
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-021-00923-9openalex-snapshot
Unified verification and monitoring of executable UML specifications
inferred← citeshttps://doi.org/10.1007/s10462-024-10824-0openalex-snapshot
A survey of safety and trustworthiness of large language models through the lens of verification and validation
inferred← citeshttps://doi.org/10.1007/s10472-011-9259-5openalex-snapshot
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
inferred← citeshttps://doi.org/10.1007/s10703-012-0182-0openalex-snapshot
Time-triggered runtime verification
inferred← citeshttps://doi.org/10.1007/s10703-014-0215-yopenalex-snapshot
Runtime enforcement of timed properties revisited
inferred← citeshttps://doi.org/10.1007/s10703-014-0217-9openalex-snapshot
Synthesising correct concurrent runtime monitors
inferred← citeshttps://doi.org/10.1007/s10703-015-0226-3openalex-snapshot
Runtime verification with minimal intrusion through parallelism
inferred← citeshttps://doi.org/10.1007/s10703-015-0227-2openalex-snapshot
The ins and outs of first-order runtime verification
inferred← citeshttps://doi.org/10.1007/s10703-016-0251-xopenalex-snapshot
Organising LTL monitors over distributed systems with a global clock
showing the first 200 of 539 · page through all 539
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.