Gianola, Alessandro
- Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
2022/04/28 by Luca Geatti, Geatti, Luca, Alessandro Gianola +3 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Decidable Fragments of LTLf Modulo Theories (Extended Version)
2023/07/31 by Geatti, Luca, Gianola, Alessandro, Gigante, Nicola +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Petri Nets with Parameterised Data: Modelling and Verification (Extended\n Version)
2020/06/11 by Silvio Ghilardi, Ghilardi, Silvio, Alessandro Gianola +5 · 1 citation
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
- CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
2021/03/18 by Paolo Felli, Alessandro Gianola, Felli, Paolo +7 · 1 citation
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services