Federico Formica

Identifiers

• name variant Federico Formica 0.60 · backfill

Papers (2)

1. Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables cs.SE · 2026 · author #3
2. Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach cs.SE · 2026 · author #1

Mentions

• 2606.03870 #3 · arxiv_oai · confidence 0.70 Federico Formica

Frequent Coauthors

• Claudio Menghi 2 shared papers
• Alessio Di Sandro 1 shared papers
• Andrea Bombarda 1 shared papers
• Andrea Rota 1 shared papers
• Aren A. Babikian 1 shared papers
• Aurora Francesca Zanenga 1 shared papers
• Lionel C. Briand 1 shared papers
• Mark Lawford 1 shared papers
• Marsha Chechik 1 shared papers