MENGHI, Claudio Statistiche
MENGHI, Claudio
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach
2025-01-01 Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
2025-01-01 Abate, A.; Althoff, M.; Bu, L.; Ernst, G.; Frehse, G.; Geretti, L.; Johnson, T. T.; Menghi, Claudio; Mitsch, S.; Schupp, S.; Soudjani, S.
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases
2024-01-01 Viger, T.; Murphy, L.; Diemert, S.; Menghi, Claudio; Joyce, J.; Di Sandro, A.; Chechik, M.
ARCH-COMP 2024 Category Report: Falsification
2024-01-01 Khandait, T.; Formica, F.; Arcaini, P.; Chotaliya, S.; Fainekos, G.; Hekal, A.; Kundu, A.; Lew, E.; Loreti, M.; Menghi, Claudio; Nenzi, L.; Pedrielli, G.; Peltomaki, J.; Porres, I.; Ray, R.; Soloviev, V.; Visconti, E.; Waga, M.; Zhang, Z.
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
2024-01-01 Formica, F.; Mahboob, M. M.; Askarpour, M.; Menghi, Claudio
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
2024-01-01 Formica, Federico; Fan, Tony; Rajhans, Akshay; Pantelic, Vera; Lawford, Mark; Menghi, Claudio
Supporting Change Impact Assessment with LLMs
2024-01-01 Viger, Torin; Murphy, Logan; Diemert, Simon; Menghi, Claudio; Chechik, Marsha
ARCH-COMP 2023 Category Report: Falsification
2023-01-01 Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan; Ernst, Gidon; Fainekos, Georgios; Formica, Federico; Gon, Sauvik; Khandait, Tanmay; Kundu, Atanu; Pedrielli, Giulia; Peltomäki, Jarkko; Porres, Ivan; Ray, Rajarshi; Waga, Masaki; Zhang, Zhenya
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System
2023-01-01 Millet, Laure; Diemert, Simon; Rees, Chris; Viger, Torin; Chechik, Marsha; Menghi, Claudio; Joyce, Jeffrey
Assurance Case Development as Data: A Manifesto
2023-01-01 Menghi, Claudio; Viger, Torin; Di Sandro, Alessio; Rees, Chris; Joyce, Jeff; Chechik, Marsha
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
2023-01-01 Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vazquez, Gricel; Calinescu, Radu; Garcia, Sergio
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
2023-01-01 Nejati, Shiva; Sorokin, Lev; Safin, Damir; Formica, Federico; Mahboob, Mohammad Mahdi; Menghi, Claudio
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
2023-01-01 Formica, Federico; Fan, Tony; Menghi, Claudio
Software Architectures for AI Systems: State of Practice and Challenges
2023-01-01 Gorton, Ian; Khomh, Foutse; Lenarduzzi, Valentina; Menghi, Claudio; Roman, Dumitru
Supporting Assurance Case Development Using Generative AI
2023-08-30 Viger, Torin; Murphy, Logan; Diemert, Simon; Menghi, Claudio; Di Sandro, Alessio; Chechik, Marsha
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
2023-01-01 Formica, Federico; Petrunti, Nicholas; Bruck, Lucas; Pantelic, Vera; Lawford, Mark; Menghi, Claudio
The ForeMoSt approach to building valid model-based safety arguments
2023-01-01 Viger, T.; Murphy, L.; Di Sandro, A.; Menghi, Claudio; Shahin, R.; Chechik, M.
Trace Diagnostics for Signal-based Temporal Properties
2023-01-01 Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
2022-01-01 Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
2022-01-01 Gaaloul, K.; Menghi, Claudio; Nejati, S.; Briand, L. C.; Parache, Y. I.
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2025 | Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach | Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2025 | The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems | Abate, A.; Althoff, M.; Bu, L.; Ernst, G.; Frehse, G.; Geretti, L.; Johnson, T. T.; Menghi, Claudio; Mitsch, S.; Schupp, S.; Soudjani, S. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases | Viger, T.; Murphy, L.; Diemert, S.; Menghi, Claudio; Joyce, J.; Di Sandro, A.; Chechik, M. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | ARCH-COMP 2024 Category Report: Falsification | Khandait, T.; Formica, F.; Arcaini, P.; Chotaliya, S.; Fainekos, G.; Hekal, A.; Kundu, A.; Lew, E.; Loreti, M.; Menghi, Claudio; Nenzi, L.; Pedrielli, G.; Peltomaki, J.; Porres, I.; Ray, R.; Soloviev, V.; Visconti, E.; Waga, M.; Zhang, Z. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise | Formica, F.; Mahboob, M. M.; Askarpour, M.; Menghi, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks | Formica, Federico; Fan, Tony; Rajhans, Akshay; Pantelic, Vera; Lawford, Mark; Menghi, Claudio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | Supporting Change Impact Assessment with LLMs | Viger, Torin; Murphy, Logan; Diemert, Simon; Menghi, Claudio; Chechik, Marsha | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | ARCH-COMP 2023 Category Report: Falsification | Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan; Ernst, Gidon; Fainekos, Georgios; Formica, Federico; Gon, Sauvik; Khandait, Tanmay; Kundu, Atanu; Pedrielli, Giulia; Peltomäki, Jarkko; Porres, Ivan; Ray, Rajarshi; Waga, Masaki; Zhang, Zhenya | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Assurance Case Arguments in the Large: The CERN LHC Machine Protection System | Millet, Laure; Diemert, Simon; Rees, Chris; Viger, Torin; Chechik, Marsha; Menghi, Claudio; Joyce, Jeffrey | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Assurance Case Development as Data: A Manifesto | Menghi, Claudio; Viger, Torin; Di Sandro, Alessio; Rees, Chris; Joyce, Jeff; Chechik, Marsha | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties | Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vazquez, Gricel; Calinescu, Radu; Garcia, Sergio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2023 | Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models | Nejati, Shiva; Sorokin, Lev; Safin, Damir; Formica, Federico; Mahboob, Mohammad Mahdi; Menghi, Claudio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2023 | Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions | Formica, Federico; Fan, Tony; Menghi, Claudio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2023 | Software Architectures for AI Systems: State of Practice and Challenges | Gorton, Ian; Khomh, Foutse; Lenarduzzi, Valentina; Menghi, Claudio; Roman, Dumitru | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 30-ago-2023 | Supporting Assurance Case Development Using Generative AI | Viger, Torin; Murphy, Logan; Diemert, Simon; Menghi, Claudio; Di Sandro, Alessio; Chechik, Marsha | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
| 1-gen-2023 | Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator | Formica, Federico; Petrunti, Nicholas; Bruck, Lucas; Pantelic, Vera; Lawford, Mark; Menghi, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | The ForeMoSt approach to building valid model-based safety arguments | Viger, T.; Murphy, L.; Di Sandro, A.; Menghi, Claudio; Shahin, R.; Chechik, M. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2023 | Trace Diagnostics for Signal-based Temporal Properties | Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2022 | ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources | Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2022 | Combining Genetic Programming and Model Checking to Generate Environment Assumptions | Gaaloul, K.; Menghi, Claudio; Nejati, S.; Briand, L. C.; Parache, Y. I. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays |