RuleRunner technical report
Logic in Computer Science
2013-06-05 v1 Software Engineering
Authors:
Alan Perotti
Abstract
Rule-based run-time monitoring system for finite traces, with FLTL verdict and quadratic complexity.
Cite
@article{arxiv.1306.0810,
title = {RuleRunner technical report},
author = {Alan Perotti},
journal= {arXiv preprint arXiv:1306.0810},
year = {2013}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Runtime Verification Through Forward Chaining
Alan Perotti, Guido Boella, Artur d'Avila Garcez
2014-12-04
Logic in Computer Science · Computer Science
Runtime Verification for LTL in Stochastic Systems
Javier Esparza, Vincent Fischer
2025-08-12
Logic in Computer Science · Computer Science
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
2020-04-08
Logic in Computer Science · Computer Science
Monitoring Arithmetic Temporal Properties on Finite Traces
Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler
2022-12-01
Artificial Intelligence · Computer Science
LTLf and LDLf Monitoring: A Technical Report
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maggi +1
2014-05-02
Logic in Computer Science · Computer Science
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
2014-11-11
Optimization and Control · Mathematics
Novel closed-loop controllers for fractional linear quadratic tracking systems
Iman Malmir
2026-02-03
Logic in Computer Science · Computer Science
Specification of State and Time Constraints for Runtime Verification of Functions
Joshua Heneage Dawes, Giles Reger
2018-06-11
Logic in Computer Science · Computer Science
A Note on Runtime Verification of Concurrent Systems
Martin Leucker
2025-07-08
Logic in Computer Science · Computer Science
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic
Thomas Wright, Ian Stark
2020-08-18
Logic in Computer Science · Computer Science
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck
2018-04-11
Programming Languages · Computer Science
Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment
Ludovic Langevine, Pierre Deransart, Mireille Ducasse, Erwan Jahier
2007-05-23
Artificial Intelligence · Computer Science
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025-08-26
Artificial Intelligence · Computer Science
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2026-01-22
Systems and Control · Electrical Eng. & Systems
Robust Tracking Control for Nonlinear Systems: Performance optimization via extremum seeking
Jiapeng Xu, Ying Tan, Xiang Chen
2023-04-04
Machine Learning · Computer Science
Live LTL Progress Tracking: Towards Task-Based Exploration
Noel Brindise, Cedric Langbort, Melkior Ornik
2026-04-21
Logic in Computer Science · Computer Science
An Efficient Algorithm for Monitoring Practical TPTL Specifications
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
2016-12-12
Logic in Computer Science · Computer Science
A Tutorial on Stream-based Monitoring
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2025-01-28
Formal Languages and Automata Theory · Computer Science
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada +2
2022-09-13
Logic in Computer Science · Computer Science
Semantics for Linear-time Temporal Logic with Finite Observations
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
2024-11-25
Logic in Computer Science · Computer Science
Monitoring hyperproperties with circuits
Luca Aceto, Antonios Achilleos, Elli Anastasiadi, Adrian Francalanza
2022-05-11
Software Engineering · Computer Science
Tracing and Explaining Execution of CLP(FD) Programs
Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu, Mats Carlsson
2007-05-23
Software Engineering · Computer Science
Runtime Monitoring of Human-centric Requirements in Machine Learning Components: A Model-driven Engineering Approach
Hira Naveed
2023-10-11
Logic in Computer Science · Computer Science
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
2023-08-11
Systems and Control · Electrical Eng. & Systems
A Novel Finite Time Stability Analysis of Nonlinear Fractional-Order Time Delay Systems: A Fixed Point Approach
Abdellatif Ben Makhlouf
2020-12-02