Claudio Menghi

Identifiers

• name variant Claudio Menghi 0.60 · backfill

Papers (9)

1. Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables cs.SE · 2026 · author #4
2. Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach cs.SE · 2026 · author #7
3. Failure Modes and Effects Analysis: An Experience from the E-Bike Domain cs.SE · 2025 · author #5
4. Test Case Generation for Simulink Models: An Experience from the E-Bike Domain cs.SE · 2025 · author #6
5. Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models cs.SE · 2019 · author #3
6. Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors cs.SE · 2019 · author #1
7. Specification Patterns for Robotic Missions cs.SE · 2019 · author #1
8. Integrating Topological Proofs with Model Checking to Instrument Iterative Design cs.LO · 2018 · author #1
9. Modeling, refining and analyzing Incomplete B\"uchi Automata cs.FL · 2016 · author #1

Mentions

• 2606.03870 #4 · arxiv_oai · confidence 0.70 Claudio Menghi

Frequent Coauthors

• Andrea Bombarda 3 shared papers
• Carlo Ghezzi 2 shared papers
• Federico Formica 2 shared papers
• Khouloud Gaaloul 2 shared papers
• Lionel C. Briand 2 shared papers
• Marcello Minervini 2 shared papers
• Shiva Nejati 2 shared papers
• Alessandro Maria Rizzi 1 shared papers
• Alessio Di Sandro 1 shared papers
• Andrea Rota 1 shared papers
• Angelo Gargantini 1 shared papers
• Anna Bernasconi 1 shared papers
• Aren A. Babikian 1 shared papers
• Aurora Francesca Zanenga 1 shared papers
• Aurora Zanenga 1 shared papers
• Christos Tsigkanos 1 shared papers
• David Wolfe 1 shared papers
• Federico Conti 1 shared papers
• Lionel Briand 1 shared papers
• Mark Lawford 1 shared papers