Sarah Winkler
- CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
2021/03/18 by Paolo Felli, Felli, Paolo, Alessandro Gianola +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
- Monitoring Arithmetic Temporal Properties on Finite Traces
2022/11/30 by Paolo Felli, Felli, Paolo, Marco Montali +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems