Publications
Journals
- Davide Bresolin and Matteo Zavatteri
Supervisory Control of Business Processes with Resources, Parallel and Mutually Exclusive Branches, Loops, and Uncertainty
Information Systems, 119:102288, 2023
Link to paper - Alice Raffaele and Matteo Zavatteri
Reducing the Number of Disjuncts in DTPs
Information and Computation, 293:105048, 2023.
Link to paper - Matteo Zavatteri, Alice Raffaele, Dario Ostuni, and Romeo Rizzi.
An interdisciplinary experimental evaluation on the disjunctive temporal problem.
Constraints, 28(1):1–12, 2023.
Link to paper - Matteo Zavatteri, Romeo Rizzi, and Tiziano Villa.
Dynamic controllability of temporal networks with instantaneous reaction.
Information Sciences, 613:932–952, 2022.
Link to paper - Guido Sciavicco, Matteo Zavatteri, and Tiziano Villa
Mining CSTNUDs significant for a set of traces is polynomial.
Information and Computation, 281, 2021.
Link to paper - Matteo Zavatteri, Carlo Combi, Romeo Rizzi, and Luca Viganò
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way
Information and Computation, 280, 2021.
Link to paper - Matteo Zavatteri, Carlo Combi, and Luca Vigano.
Resource controllability of business processes under conditional uncertainty.
Journal on Data Semantics, pages 1–21, 2021.
Link to paper - Carlo Combi, Roberto Posenato, Luca Viganò, and Matteo Zavatteri.
Conditional simple temporal networks with uncertainty and resources.
Journal of Artificial Intelligence Research, 64:931–985, 2019.
Link to paper - Matteo Zavatteri and Luca Viganò.
Conditional simple temporal networks with uncertainty and decisions.
Theoretical Computer Science, 797:77–101, 2019.
Link to paper - Matteo Zavatteri and Luca Viganò.
Last man standing: Static, decremental and dynamic resiliency via controller synthesis.
Journal of Computer Security, 27(3):343–373, 2019.
Link to paper
Conferences, workshops, and symposia
Matteo Zavatteri, Davide Bresolin, Nicolò Navarin
Automated Synthesis of Certified Neural Networks (to appear)
In 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2024)
Link to paper- Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni
Repair of Unsound Data-Aware Process Models.
In Business Process Management Workshops, Springer, 2024.
(Formal Methods for Business Process Management, FM-BPM 2023)
Link to paper - Alice Raffaele, Matteo Zavatteri, Fabio Bazzoli, Marco Gussago, and Romeo Rizzi.
A two-phase approach to evaluate and optimize an interlibrary loan service: the case study of provincia di brescia.
In Operations Research and Data Science in Public Services, pages 17–33. Springer, 2023
Link to paper - Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, and Tiziano Villa.
Dynamic controllability of temporal networks via supervisory control.
In 4th Workshop on fOrmal VERification, Logic, Automata, and sYnthesis, 2022, OVERLAY 2022, volume 3311, pages 27–31. CEUR-WS.org, 2022.
Link to paper - Dario Ostuni, Alice Raffaele, Romeo Rizzi, and Matteo Zavatteri.
Faster and better simple temporal problems.
Proceedings of the AAAI Conference on Artificial Intelligence, 35(13):11913–11920, 2021.
Link to paper - Guido Sciavicco, Tiziano Villa, and Matteo Zavatteri.
Mining temporal networks: Results and open problems.
In 3rd Workshop on fOrmal VERification, Logic, Automata, and sYnthesis, 2021, OVERLAY 2021, volume 2987, pages 31–36. CEUR-WS.org, 2021.
Link to paper - Guido Sciavicco, Matteo Zavatteri, and Tiziano Villa.
Mining Significant Temporal Networks Is Polynomial.
In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020), volume 178 of Leibniz International Proceedings in Informatics (LIPIcs), pages 11:1–11:12. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2020.
Link to paper - Matteo Zavatteri, Romeo Rizzi, and Tiziano Villa.
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty.
In 30th International Conference on Automated Planning and Scheduling, ICAPS 2020, pages 314–322. AAAI Press, 2020.
Link to paper - Matteo Zavatteri, Romeo Rizzi, and Tiziano Villa.
On the complexity of resource controllability in business process management.
In Business Process Management Workshops, pages 168–180. Springer, 2020.
(Artificial Intelligence for Business Process Management, AI4BPM 2020)
Link to paper - Matteo Zavatteri.
Temporal and resource controllability of workflows under uncertainty.
In Dissertation Award, Doctoral Consortium, and Demonstration Track at BPM 2019 co-located with 17th International Conference on Business Process Management, BPM 2019, volume 2420 of CEUR Workshop Proceedings, pages 9–14. CEUR-WS.org, 2019.
Link to paper - Matteo Zavatteri, Carlo Combi, Romeo Rizzi, and Luca Viganò.
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions.
In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), volume 147 of Leibniz International Proceedings in Informatics (LIPIcs), pages 16:1–16:17. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2019.
Link to paper - Matteo Zavatteri, Carlo Combi, and Luca Viganò.
Resource controllability of workflows under conditional uncertainty.
In Business Process Management Workshops, pages 68–80. Springer, 2019.
(Artificial Intelligence for Business Process Management, AI4BPM 2029)
Link to paper - Matteo Zavatteri, Romeo Rizzi, and Tiziano Villa.
Complexity of weak, strong and dynamic controllability of CNCUs.
In 1st Workshop on fOrmal VERification, Logic, Automata, and sYnthesis, 2019, OVERLAY 2019, volume 2509, pages 83–88. CEUR-WS.org, 2019.
Link to paper - Matteo Zavatteri, Romeo Rizzi, and Tiziano Villa.
Strong controllability of temporal networks with decisions.
In 1st Workshop on fOrmal VERification, Logic, Automata, and sYnthesis, 2019, OVERLAY 2019, volume 2509, pages 77–82. CEUR-WS.org, 2019.
Link to paper - Matteo Zavatteri and Luca Viganò.
Conditional uncertainty in constraint networks.
In Agents and Artificial Intelligence, pages 130–160. Springer, 2019.
Link to paper - Matteo Zavatteri and Luca Viganò.
Constraint networks under conditional uncertainty.
In 10th International Conference on Agents and Artificial Intelligence — Volume 2, ICAART 2018, pages 41–52. SciTePress, 2018.
Link to paper - Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, and Matteo Zavatteri.
Incorporating decision nodes into conditional simple temporal networks.
In 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, volume 90, pages 9:1–9:17. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
Link to paper - Carlo Combi, Roberto Posenato, Luca Viganò, and Matteo Zavatteri.
Access controlled temporal networks.
In 9th International Conference on Agents and Artificial Intelligence - Volume 2, ICAART 2017, pages 118–131. ScitePress, 2017.
Link to paper - Matteo Zavatteri.
Conditional simple temporal networks with uncertainty and decisions.
In 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, volume 90, pages 23:1–23:17. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
Link to paper - Matteo Zavatteri, Carlo Combi, Roberto Posenato, and Luca Viganò.
Weak, strong and dynamic controllability of access-controlled workflows under conditional uncertainty.
In Business Process Management: 15th International Conference, BPM 2017, pages 235–251. Springer International Publishing, 2017.
Link to paper - Carlo Combi, Luca Viganò, and Matteo Zavatteri.
Security constraints in temporal role-based access-controlled workflows.
In 6th ACM Conference on Data and Application Security and Privacy, CODASPY 2016, pages 207–218. ACM, 2016.
Link to paper - Michele Peroli, Luca Viganò, and Matteo Zavatteri.
Non-collaborative attackers and how and where to defend flawed security protocols (extended version).
In Security Protocols XXII - 22nd International Workshop Cambridge, UK, pages 69–90. Springer, 2014.
Link to paper