2 citations · 4 across the 3 of their papers we have counts for
3 papers
Logic Characterization of Floyd Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to appl…
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti +3
We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint…
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri +2
An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a d…