Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Home
Home
Page not in menu
This is a page not in th emain menu
Posts
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Automated Design of Complex Systems with Constraint Programming Techniques
Published in Cyber-Physical Systems Summer School Workshop, CPSWS 2019, Alghero, Italy, 2019
Starting from a success story in elevator systems design, we try and use SMT as a mean to enable domain-agnostic system configuration.
Recommended citation: S. Demarchi (2019), "Automated Design of Complex Systems with Constraint Programming Techniques." in Cyber-Physical Systems Summer School Workshop, CPSWS 2019, Alghero, Italy, September 23, 2019, Proceedings, 2019.
Automating elevator design with Satisfiability Modulo Theories
Published in IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, Oregon, 2019
In the context of elevator systems design, we use SMT as a mean to enable domain-agnostic configuration.
Recommended citation: S. Demarchi, M. Menapace and Armando Tacchella (2019), "Automating elevator design with Satisfiability Modulo Theories." in IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, Oregon, November 4-6, 2019, Proceedings, 2019.
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
Published in International Conference of the Italian Association for Artificial Intelligence, AIxIA 2021, Milano, Italy December 1st-3rd, 2021, 2019
In the context of elevator systems design, we challenge SMT and CP solvers to enable domain-agnostic design.
Recommended citation: S. Demarchi, M. Menapace and A. Tacchella (2021), "Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches." in International Conference of the Italian Association for Artificial Intelligence, AIxIA 2021, Milano, Italy December 1st-3rd, 2021, Proceedings, 2021.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
Published in International Conference on Modelling and Simulation, ECMS 2022, Aalesund, Norway, 2022
We provide a real case study from automotive to try and verify a NN controller.
Recommended citation: S. Demarchi, D. Guidotti, A. Pitto and Armando Tacchella (2022), "Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control." in International Conference on Modelling and Simulation, ECMS 2022, Aalesund, Norway, May 30th-June 3rd, 2022, Proceedings, 2022.
Counter-Example Guided Abstract Refinement for Verification of Neural Networks
Published in Cyber-Physical Systems Summer School Workshop, CPSWS 2022, Pula, Italy, 2022
We experiment with abstraction refinement in order to achieve fast and precise results.
Recommended citation: S. Demarchi and D. Guidotti (2022), "Counter-Example Guided Abstract Refinement for Verification of Neural Networks." in Cyber-Physical Systems Summer School Workshop, CPSWS 2022, Pula, Italy, September 19, 2022, Proceedings, 2022.
Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks
Published in Università degli Studi di Genova, 2023
PhD Thesis on the work about Design and Verification.
Recommended citation: S. Demarchi (2023), "Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks." PhD Thesis, 2023.
Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet
Published in 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, Paris, France, 2023
We propose a standard for neural networks verification and a tool for generating benchmarks.
Recommended citation: S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella (2023), "Supporting Standardization of Neural Networks Verification with VNN-LIB and CoCoNet." in 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, Paris, France, July 17-18, 2023, Proceedings, 2023.
Improving Abstract Propagation for Verification of Neural Networks
Published in International Conference on Modelling and Simulation, ECMS 2024, Cracow, Poland, 2024
We experiment with different techniques to improve our verification algorithm.
Recommended citation: S. Demarchi, A. Gimelli and Armando Tacchella (2024), "Improving Abstract Propagation for Verification of Neural Networks." in International Conference on Modelling and Simulation, ECMS 2024, Cracow, Poland, June 4-7th, 2024, Proceedings, 2024.
talks
teaching
Introduction to Computer Science
Teaching assistance, Università degli Studi di Genova, DIBRIS, 2020
Teaching assistance for Python exercises, algorithms and programming techniques.
Introduction to Computer Science
Teaching assistance, Università degli Studi di Genova, DIBRIS, 2021
Teaching assistance for Python exercises, algorithms and programming techniques.
Principles and practice of Computer Science
Teaching, Università degli Studi di Genova, DITEN, 2024
Introduction to Computer Science, basic programming constructs and data structures in Python