Matteo Zavatteri

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 29

Top Topics

Backtracking Algorithms

Simple Temporal

Business Processes

Top Venues

Business Process Management Workshops

Publications

Alice Raffaele, Matteo Zavatteri
Reducing the number of disjuncts in DTPs. Inf. Comput. 293 (2023)
Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni
Repair of Unsound Data-Aware Process Models. Business Process Management Workshops (2023)
Matteo Zavatteri, Alice Raffaele, Dario Ostuni, Romeo Rizzi
An interdisciplinary experimental evaluation on the disjunctive temporal problem. Constraints An Int. J. 28 (1) (2023)
Davide Bresolin, Matteo Zavatteri
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. Inf. Syst. 119 (2023)
Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa
Dynamic Controllability of Temporal Networks via Supervisory Control. OVERLAY@AI*IA (2022)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Dynamic controllability of temporal networks with instantaneous reaction. Inf. Sci. 613 (2022)
Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF (2021)
Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. Inf. Comput. 280 (2021)
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. 281 (2021)
Dario Ostuni, Alice Raffaele, Romeo Rizzi, Matteo Zavatteri
Faster and Better Simple Temporal Problems. AAAI (2021)
Matteo Zavatteri, Carlo Combi, Luca Viganò
Resource Controllability of Business Processes Under Conditional Uncertainty. J. Data Semant. 10 (1-2) (2021)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
On the Complexity of Resource Controllability in Business Process Management. Business Process Management Workshops (2020)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty. ICAPS (2020)
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
Mining Significant Temporal Networks Is Polynomial. TIME (2020)
Matteo Zavatteri, Carlo Combi, Luca Viganò
Resource Controllability of Workflows Under Conditional Uncertainty. Business Process Management Workshops (2019)
Matteo Zavatteri
Temporal and Resource Controllability of Workflows Under Uncertainty. BPM (PhD/Demos) (2019)
Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. 64 (2019)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Strong Controllability of Temporal Networks with Decisions. OVERLAY@AI*IA (2019)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Complexity of Weak, Strong and Dynamic Controllability of CNCUs. OVERLAY@AI*IA (2019)
Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. TIME (2019)
Matteo Zavatteri, Luca Viganò
Conditional simple temporal networks with uncertainty and decisions. Theor. Comput. Sci. 797 (2019)
Matteo Zavatteri, Luca Viganò
Last man standing: Static, decremental and dynamic resiliency via controller synthesis. J. Comput. Secur. 27 (3) (2019)
Matteo Zavatteri, Luca Viganò
Conditional Uncertainty in Constraint Networks. ICAART (Revised Selected Papers) (2018)
Matteo Zavatteri, Luca Viganò
Constraint Networks Under Conditional Uncertainty. ICAART (2) (2018)
Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri
Incorporating Decision Nodes into Conditional Simple Temporal Networks. TIME (2017)
Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Viganò
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM (2017)
Matteo Zavatteri
Conditional Simple Temporal Networks with Uncertainty and Decisions. TIME (2017)
Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
Access Controlled Temporal Networks. ICAART (2) (2017)
Carlo Combi, Luca Viganò, Matteo Zavatteri
Security Constraints in Temporal Role-Based Access-Controlled Workflows. CODASPY (2016)
Carlo Combi, Luca Viganò, Matteo Zavatteri
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). CoRR (2015)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). Security Protocols Workshop (2014)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). CoRR (2014)