Zavatteri, Matteo
Zavatteri, Matteo
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
An interdisciplinary experimental evaluation on the disjunctive temporal problem
2023-01-01 Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo
Complexity of Weak, Strong and Dynamic Controllability of CNCUs
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Conditional simple temporal networks with uncertainty and decisions
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Conditional Simple Temporal Networks with Uncertainty and Decisions
2017-01-01 Zavatteri, Matteo
Conditional Simple Temporal Networks with Uncertainty and Resources
2019-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Conditional Uncertainty in Constraint Networks
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way
2021-01-01 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Constraint Networks Under Conditional Uncertainty
2018-01-01 Zavatteri, Matteo; Viganò, Luca
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Dynamic Controllability of Temporal Networks via Supervisory Control
2022-01-01 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Dynamic controllability of temporal networks with instantaneous reaction
2022-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Faster and better simple temporal problems
2021-01-01 Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
2019-01-01 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Incorporating Decision Nodes into Conditional Simple Temporal Networks
2017-01-01 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Last man standing: Static, decremental and dynamic resiliency via controller synthesis
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Mining CSTNUDs significant for a set of traces is polynomial
2021-01-01 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Mining Significant Temporal Networks Is Polynomial
2020-01-01 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Mining Temporal Networks: Results and Open Problems
2021-01-01 Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
2014-01-01 Peroli, Michele; Vigano', Luca; Zavatteri, Matteo