research
∙
01/25/2023
Lecture Notes on Monadic First- and Second-Order Logic on Strings
These notes present the essentials of first- and second-order monadic lo...
share
research
∙
06/21/2022
Static Analysis of Infrastructure as Code: a Survey
The increasing use of Infrastructure as Code (IaC) in DevOps leads to be...
research
∙
05/22/2021
A First-Order Complete Temporal Logic for Structured Context-Free Languages
The problem of model checking procedural programs has fostered much rese...
research
∙
10/21/2019
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages
The problem of model checking procedural programs has fostered much rese...
research
∙
09/10/2018