Matteo Zavatteri

Massimiliano de Leoni

Aurelo Makaj

Data Knowl. Eng., 2025

2024

Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines.

[BibT_eX]

[DOI]

Nicolò Navarin

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

Automated Synthesis of Certified Neural Networks.

[BibT_eX]

[DOI]

Nicolò Navarin

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty.

[BibT_eX]

[DOI]

Inf. Syst., October, 2023

Reducing the number of disjuncts in DTPs.

[BibT_eX]

[DOI]

Alice Raffaele

Inf. Comput., August, 2023

An interdisciplinary experimental evaluation on the disjunctive temporal problem.

[BibT_eX]

[DOI]

Constraints An Int. J., March, 2023

Repair of Unsound Data-Aware Process Models.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Proceedings of the Business Process Management Workshops, 2023

2022

Dynamic controllability of temporal networks with instantaneous reaction.

[BibT_eX]

[DOI]

Inf. Sci., 2022

Dynamic Controllability of Temporal Networks via Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

Resource Controllability of Business Processes Under Conditional Uncertainty.

[BibT_eX]

[DOI]

J. Data Semant., 2021

Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Mining CSTNUDs significant for a set of traces is polynomial.

[BibT_eX]

[DOI]

Guido Sciavicco

Inf. Comput., 2021

Mining Temporal Networks: Results and Open Problems.

[BibT_eX]

[DOI]

Guido Sciavicco

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Faster and Better Simple Temporal Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Mining Significant Temporal Networks Is Polynomial.

[BibT_eX]

[DOI]

Guido Sciavicco

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

On the Complexity of Resource Controllability in Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2020

Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Conditional simple temporal networks with uncertainty and decisions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Last man standing: Static, decremental and dynamic resiliency via controller synthesis.

[BibT_eX]

[DOI]

J. Comput. Secur., 2019

Conditional Simple Temporal Networks with Uncertainty and Resources.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Resource Controllability of Workflows Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2019

Temporal and Resource Controllability of Workflows Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2019

Complexity of Weak, Strong and Dynamic Controllability of CNCUs.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

Strong Controllability of Temporal Networks with Decisions.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Conditional Uncertainty in Constraint Networks.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 10th International Conference, 2018

Constraint Networks Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

2017

Conditional Simple Temporal Networks with Uncertainty and Decisions.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Incorporating Decision Nodes into Conditional Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Access Controlled Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 15th International Conference, 2017

2016

Security Constraints in Temporal Role-Based Access-Controlled Workflows.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015

Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2015

2014

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version).

[BibT_eX]

[DOI]

Michele Peroli