Aurora Francesca Zanenga

According to our database, Aurora Francesca Zanenga authored at least 6 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach.

Federico Formica, Andrea Rota, Aurora Francesca Zanenga, Andrea Bombarda, Mark Lawford, Lionel C. Briand, Claudio Menghi

CoRR, April, 2026

Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach.

Nunzio Marco Bisceglia, Aurora Francesca Zanenga, Mehrnoosh Askarpour, Sahar Kokaly, S. Ramesh, Marsha Chechik, Claudio Menghi

IEEE Trans. Software Eng., March, 2026

Ensembles-based Feature Guided Analysis.

Federico Formica, Stefano Gregis, Andrea Rota, Aurora Francesca Zanenga, Mark Lawford, Claudio Menghi

CoRR, March, 2026

Failure Modes and Effects Analysis: An Experience from the E-Bike Domain.

Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Francesca Zanenga, Claudio Menghi

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Feature-Guided Analysis of Neural Networks: A Replication Study.

Federico Formica, Stefano Gregis, Aurora Francesca Zanenga, Andrea Rota, Mark Lawford, Claudio Menghi

CoRR, November, 2025

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements.

Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025