MENGHI, Claudio Statistiche
MENGHI, Claudio
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
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
Trace Diagnostics for Signal-based Temporal Properties
2023-01-01 Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel
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.
A survey on the design space of end-user-oriented languages for specifying robotic missions
2021-01-01 Dragule, Swaib; Berger, Thorsten; Menghi, Claudio; Pelliccione, Patrizio
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020
2021-01-01 Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias
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
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 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.
Specification Patterns for Robotic Missions
2021-01-01 Menghi, Claudio; Tsigkanos, Christos; Pelliccione, Patrizio; Ghezzi, Carlo; Berger, Thorsten
ThEodorE: A Trace Checker for CPS Properties
2021-01-01 Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel
TOrPEDO: witnessing model correctness with topological proofs
2021-01-01 Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola
Trace-checking CPS properties: Bridging the cyber-physical gap
2021-01-01 Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
2020-01-01 Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Parache, Yago Isasi
ARCH-COMP 2020 category report: Falsification
2020-01-01 Ernst, G.; Arcaini, P.; Bennani, I.; Donze, A.; Fainekos, G.; Frehse, G.; Mathesen, L.; Menghi, Claudio; Pedrielli, G.; Pouzet, M.; Yaghoubi, S.; Yamagata, Y.; Zhang, Z.
Integrating topological proofs with model checking to instrument iterative design
2020-01-01 Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna
Mind the gap: Robotic Mission Planning Meets Software Engineering
2020-01-01 Askarpour, Mehrnoosh; Menghi, Claudio; Belli, Gabriele; Bersani, Marcello M.; Pelliccione, Patrizio
Mining Assumptions for Software Components using Machine Learning
2020-01-01 Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel C.; Wolfe, David
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, Claudio; Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi
PROMISE: High-Level Mission Specification for Multiple Robots
2020-01-01 Garcia, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas
PuRSUE -from specification of robotic environments to synthesis of controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 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 | 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 | 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-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 | |
| 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 | 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-2021 | Trace-checking CPS properties: Bridging the cyber-physical gap | Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification | Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Parache, Yago Isasi | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | ARCH-COMP 2020 category report: Falsification | Ernst, G.; Arcaini, P.; Bennani, I.; Donze, A.; Fainekos, G.; Frehse, G.; Mathesen, L.; Menghi, Claudio; Pedrielli, G.; Pouzet, M.; Yaghoubi, S.; Yamagata, Y.; 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-2020 | Integrating topological proofs with model checking to instrument iterative design | Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Mind the gap: Robotic Mission Planning Meets Software Engineering | Askarpour, Mehrnoosh; Menghi, Claudio; Belli, Gabriele; Bersani, Marcello M.; Pelliccione, Patrizio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Mining Assumptions for Software Components using Machine Learning | Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel C.; Wolfe, David | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Model Checking MITL Formulae on Timed Automata: A Logic-based Approach | Menghi, Claudio; Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2020 | PROMISE: High-Level Mission Specification for Multiple Robots | Garcia, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas | 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-2020 | PuRSUE -from specification of robotic environments to synthesis of controllers | Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays |