Scorri Autori Unibg  

Opzioni
Risultati da 41 a 57 di 57
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
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 TOrPEDO: witnessing model correctness with topological proofs Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola 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-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 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 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-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 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 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 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 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 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 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
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
Risultati da 41 a 57 di 57
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