Scorri Autori Unibg
ThEodorE: A Trace Checker for CPS Properties
2021-01-01 Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
2021-01-01 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
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
2022-01-01 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
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.
The ForeMoSt approach to building valid model-based safety arguments
2022-01-01 Viger, T.; Murphy, L.; Di Sandro, A.; Menghi, Claudio; Shahin, R.; Chechik, M.
Software Architectures for AI Systems: State of Practice and Challenges
2023-01-01 Gorton, Ian; Khomh, Foutse; Lenarduzzi, Valentina; Menghi, Claudio; Roman, Dumitru
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
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
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
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
Assurance Case Development as Data: A Manifesto
2023-01-01 Menghi, Claudio; Viger, Torin; Di Sandro, Alessio; Rees, Chris; Joyce, Jeff; Chechik, Marsha
Trace Diagnostics for Signal-based Temporal Properties
2023-01-01 Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel
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
Supporting Assurance Case Development Using Generative AI
2023-08-30 Viger, Torin; Murphy, Logan; Diemert, Simon; Menghi, Claudio; Di Sandro, Alessio; Chechik, Marsha
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
2023-12-25 Formica, Federico; Fan, Tony; Rajhans, Akshay; Pantelic, Vera; Lawford, Mark; Menghi, Claudio
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
2024-01-01 Formica, Federico; Fan, Tony; Menghi, Claudio
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2021 | ThEodorE: A Trace Checker for CPS Properties | Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
| 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-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-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-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 | |
| 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 | 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 | 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 | 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 | 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 | 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-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 | |
| 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 | |
| 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-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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile