Alessandro Gianola

Identifiers

No identifiers captured yet.

Papers (6)

1. Monitoring Data-aware Temporal Properties (Extended Version) cs.AI · 2026 · author #1
2. Detecting Dynamic Relationships in Object-Centric Event Logs cs.DB · 2026 · author #1
3. Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version) cs.LO · 2019 · author #3
4. Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN cs.LO · 2019 · author #3
5. Verification of Data-Aware Processes via Array-Based Systems (Extended Version) cs.LO · 2018 · author #3
6. Quantifier Elimination for Database Driven Verification cs.LO · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Marco Montali 6 shared papers
• Andrey Rivkin 4 shared papers
• Diego Calvanese 4 shared papers
• Silvio Ghilardi 4 shared papers
• Sarah Winkler 2 shared papers
• Anjo Seidel 1 shared papers
• Mathias Weske 1 shared papers
• Zeeshan Hameed 1 shared papers