Stefano Demarchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECMS | Improving Abstract Propagation For Verification Of Neural Networks. | Stefano Demarchi, Andrea Gimelli, Armando Tacchella |
| 2023 | CAV | Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. | Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella |
| 2022 | ECMS | Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. | Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella |
| 2019 | ICTAI | Automating Elevator Design with Satisfiability Modulo Theories. | Stefano Demarchi, Marco Menapace, Armando Tacchella |