Scorri Autori Unibg
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors
2019-01-01 Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud; Briand, Lionel C.
MAPmAKER: Performing multi-robot LTL planning under uncertainty
2019-01-01 Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio
A verification-driven framework for iterative design of controllers
2019-01-01 Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo
Evaluating model testing and model checking for finding requirements violations in Simulink models
2019-01-01 Nejati, Shiva; Gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel C.; Foster, Stephen; Wolfe, David
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.
UML Consistency Rules: a Case Study with Open-Source UML Models
2020-01-01 Torre, Damiano; Labiche, Yvan; Genero, Marcela; Elaasar, Maged; Menghi, Claudio
Mind the gap: Robotic Mission Planning Meets Software Engineering
2020-01-01 Askarpour, Mehrnoosh; Menghi, Claudio; Belli, Gabriele; Bersani, Marcello M.; Pelliccione, Patrizio
Integrating topological proofs with model checking to instrument iterative design
2020-01-01 Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna
PuRSUE -from specification of robotic environments to synthesis of controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, Claudio; Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi
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
PROMISE: High-Level Mission Specification for Multiple Robots
2020-01-01 Garcia, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
2020-01-01 Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel; Parache, Yago Isasi
Mining Assumptions for Software Components using Machine Learning
2020-01-01 Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel C.; Wolfe, David
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
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
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
ThEodorE: A Trace Checker for CPS Properties
2021-01-01 Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2019 | Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors | Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud; Briand, Lionel C. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | MAPmAKER: Performing multi-robot LTL planning under uncertainty | Garcia, Sergio; Menghi, Claudio; 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-2019 | A verification-driven framework for iterative design of controllers | Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2019 | Evaluating model testing and model checking for finding requirements violations in Simulink models | Nejati, Shiva; Gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel C.; Foster, Stephen; 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 | 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 | UML Consistency Rules: a Case Study with Open-Source UML Models | Torre, Damiano; Labiche, Yvan; Genero, Marcela; Elaasar, Maged; 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-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 | 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 | 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 | |
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 | 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 | 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 | Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach | Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; 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 | 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-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 | 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 | 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-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 |
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