Automated Design of Complex Systems with Constraint Programming Techniques. - Stefano Demarchi; Armando Tacchella; Marco Menapace (CPS Summer School, PhD Workshop, 2019)

Automating Elevator Design with Satisfiability Modulo Theories. - Stefano Demarchi; Marco Menapace; Armando Tacchella (ICTAI, 2019)

Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. - Stefano Demarchi; Marco Menapace; Armando Tacchella (AI*IA, 2021)

Counter-Example Guided Abstract Refinement for Verification of Neural Networks. - Stefano Demarchi; Dario Guidotti (CPS Summer School, PhD Workshop, 2022)

Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. - Stefano Demarchi; Dario Guidotti; Andrea Pitto; Armando Tacchella (ECMS, 2022)

A comparison of declarative AI techniques for computer automated design of elevator systems. - Giuseppe Cicala; Stefano Demarchi; Marco Menapace; Leopoldo Annunziata; Armando Tacchella (Intelligenza Artificiale, 2022)

Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. - Stefano Demarchi; Dario Guidotti; Luca Pulina; Armando Tacchella (FoMLAS@CAV, 2023)

Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks. - Stefano Demarchi (2023)

Improving Abstract Propagation For Verification Of Neural Networks. - Stefano Demarchi; Andrea Gimelli; Armando Tacchella (ECMS, 2024)

NeVer2: learning and verification of neural networks. - Stefano Demarchi; Dario Guidotti; Luca Pulina; Armando Tacchella (Soft Comput., 2024)