MENGHI, Claudio Statistiche

MENGHI, Claudio  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.059 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2024 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 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
25-dic-2023 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-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 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
1-gen-2022 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-2022 Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device Ayesh, Mostafa; Mehan, Namya; Dhanraj, Ethan; El-Rahwan, Abdul; Opalka, Simon Emil; Fan, Tony; Hamilton, Akil; Jacob, Akshay Mathews; Sundarrajan, Rahul Anthony; Widjaja, Bryan; 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-2021 A survey on the design space of end-user-oriented languages for specifying robotic missions Dragule, Swaib; Berger, Thorsten; Menghi, Claudio; Pelliccione, Patrizio 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2021 Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2021 ARCH-COMP 2021 Category Report: Falsification with Validation of Results Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Chandratre, Aniruddh; Donze, Alexandre; Fainekos, Georgios; Frehse, Goran; Gaaloul, Khouloud; Inoue, Jun; Khandait, Tanmay; Mathesen, Logan; Menghi, Claudio; Pedrielli, Giulia; Pouzet, Marc; Waga, Masaki; Yaghoubi, Shakiba; 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-2021 RoboMAX: Robotic Mission Adaptation eXemplars Askarpour, M.; Tsigkanos, C.; Menghi, Claudio; Calinescu, R.; Pelliccione, P.; Garcia, S.; Caldas, R.; Von Oertzen, T. J.; Wimmer, M.; Berardinelli, L.; Rossi, M.; Bersani, M. M.; Rodrigues, G. S. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 Specification Patterns for Robotic Missions Menghi, Claudio; Tsigkanos, Christos; Pelliccione, Patrizio; Ghezzi, Carlo; Berger, Thorsten 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays