Matteo Zavatteri

37 papers A* 2A 2C 4Journal 14Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Data-aware process models: From soundness checking to repair. Data Knowl. Eng. Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni, Aurelo Makaj
2025	J	`jnl`	Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks. CoRR Stefano Fioravanti, Matteo Zavatteri, Roberto Confalonieri, Kamyar Zeinalipour, Paolo Frazzetto, Alessandro Sperduti, Nicolò Navarin
2025	—	`ed.`	Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024. OVERLAY Daniele Porello, Cosimo Vinci, Matteo Zavatteri
2024	A	`conf`	Automated Synthesis of Certified Neural Networks. ECAI Matteo Zavatteri, Davide Bresolin, Nicolò Navarin
2024	—	`conf`	Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines. OVERLAY Matteo Zavatteri, Davide Bresolin, Nicolò Navarin
2023	J	`jnl`	An interdisciplinary experimental evaluation on the disjunctive temporal problem. Constraints An Int. J. Matteo Zavatteri, Alice Raffaele, Dario Ostuni, Romeo Rizzi
2023	J	`jnl`	Reducing the number of disjuncts in DTPs. Inf. Comput. Alice Raffaele, Matteo Zavatteri
2023	—	`conf`	Repair of Unsound Data-Aware Process Models. Business Process Management Workshops Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni
2023	J	`jnl`	Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. Inf. Syst. Davide Bresolin, Matteo Zavatteri
2022	—	`conf`	Dynamic Controllability of Temporal Networks via Supervisory Control. OVERLAY@AI*IA Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa
2022	J	`jnl`	Dynamic controllability of temporal networks with instantaneous reaction. Inf. Sci. Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2021	J	`jnl`	Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. Inf. Comput. Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
2021	A*	`conf`	Faster and Better Simple Temporal Problems. AAAI Dario Ostuni, Alice Raffaele, Romeo Rizzi, Matteo Zavatteri
2021	J	`jnl`	Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
2021	—	`conf`	Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
2021	J	`jnl`	Resource Controllability of Business Processes Under Conditional Uncertainty. J. Data Semant. Matteo Zavatteri, Carlo Combi, Luca Viganò
2020	A*	`conf`	Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty. ICAPS Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2020	C	`conf`	Mining Significant Temporal Networks Is Polynomial. TIME Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
2020	—	`conf`	On the Complexity of Resource Controllability in Business Process Management. Business Process Management Workshops Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2019	—	`conf`	Complexity of Weak, Strong and Dynamic Controllability of CNCUs. OVERLAY@AI*IA Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2019	J	`jnl`	Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
2019	J	`jnl`	Conditional simple temporal networks with uncertainty and decisions. Theor. Comput. Sci. Matteo Zavatteri, Luca Viganò
2019	C	`conf`	Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. TIME Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò
2019	J	`jnl`	Last man standing: Static, decremental and dynamic resiliency via controller synthesis. J. Comput. Secur. Matteo Zavatteri, Luca Viganò
2019	—	`conf`	Resource Controllability of Workflows Under Conditional Uncertainty. Business Process Management Workshops Matteo Zavatteri, Carlo Combi, Luca Viganò
2019	—	`conf`	Strong Controllability of Temporal Networks with Decisions. OVERLAY@AI*IA Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2019	—	`conf`	Temporal and Resource Controllability of Workflows Under Uncertainty. BPM (PhD/Demos) Matteo Zavatteri
2018	—	`conf`	Conditional Uncertainty in Constraint Networks. ICAART (Revised Selected Papers) Matteo Zavatteri, Luca Viganò
2018	—	`conf`	Constraint Networks Under Conditional Uncertainty. ICAART (2) Matteo Zavatteri, Luca Viganò
2017	—	`conf`	Access Controlled Temporal Networks. ICAART (2) Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
2017	C	`conf`	Conditional Simple Temporal Networks with Uncertainty and Decisions. TIME Matteo Zavatteri
2017	C	`conf`	Incorporating Decision Nodes into Conditional Simple Temporal Networks. TIME Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri
2017	A	`conf`	Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Viganò
2016	—	`conf`	Security Constraints in Temporal Role-Based Access-Controlled Workflows. CODASPY Carlo Combi, Luca Viganò, Matteo Zavatteri
2015	J	`jnl`	Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). CoRR Carlo Combi, Luca Viganò, Matteo Zavatteri
2014	—	`conf`	Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). Security Protocols Workshop Michele Peroli, Luca Viganò, Matteo Zavatteri
2014	J	`jnl`	Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). CoRR Michele Peroli, Luca Viganò, Matteo Zavatteri