Stefano Demarchi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Automated Design

Formal Verification

Top Venues

CPS Summer School, PhD Workshop

Intelligenza Artificiale

Publications

Stefano Demarchi, Andrea Gimelli, Armando Tacchella
Improving Abstract Propagation For Verification Of Neural Networks. ECMS (2024)
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV (2023)
Stefano Demarchi, Dario Guidotti
Counter-Example Guided Abstract Refinement for Verification of Neural Networks. CPS Summer School, PhD Workshop (2022)
Giuseppe Cicala, Stefano Demarchi, Marco Menapace, Leopoldo Annunziata, Armando Tacchella
A comparison of declarative AI techniques for computer automated design of elevator systems. Intelligenza Artificiale 16 (1) (2022)
Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella
Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS (2022)
Stefano Demarchi, Marco Menapace, Armando Tacchella
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. AI*IA (2021)
Stefano Demarchi, Marco Menapace, Armando Tacchella
Automating Elevator Design with Satisfiability Modulo Theories. ICTAI (2019)
Stefano Demarchi, Armando Tacchella, Marco Menapace
Automated Design of Complex Systems with Constraint Programming Techniques. CPS Summer School, PhD Workshop (2019)