2 papers
cs.FL2026
A New Syntax and Semantics for Probabilistic Trace Expressions
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime Verification (RV) techniques are typically defined under the assumption of complete observability of system executions. In many realistic settings, however, monitors must o…
cs.FL2025
On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
Davide Ancona, Angelo Ferrando
Partial derivatives of regular expressions, introduced by Antimirov, define an elegant algorithm for generating equivalent non-deterministic finite automata (NFA) with a limited nu…