×
Author ID: menghi.claudio Recent zbMATH articles by "Menghi, Claudio"
Published as: Menghi, Claudio
Documents Indexed: 9 Publications since 2016
Co-Authors: 13 Co-Authors with 9 Joint Publications
249 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 26 times in 8 Documents Cited by Year
From model checking to a temporal proof for partial models. Zbl 1420.68118
Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; Ghezzi, Carlo
8
2017
Multi-robot LTL planning under uncertainty. Zbl 1460.68119
Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana
6
2018
Dealing with incompleteness in automata-based model checking. Zbl 1427.68170
Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
5
2016
Supporting verification-driven incremental distributed design of components. Zbl 1425.68261
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo
4
2018
A verification-driven framework for iterative design of controllers. Zbl 1425.68262
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo
2
2019
Integrating topological proofs with model checking to instrument iterative design. Zbl 1507.68195
Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna
1
2020
Integrating topological proofs with model checking to instrument iterative design. Zbl 1507.68195
Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna
1
2020
A verification-driven framework for iterative design of controllers. Zbl 1425.68262
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo
2
2019
Multi-robot LTL planning under uncertainty. Zbl 1460.68119
Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana
6
2018
Supporting verification-driven incremental distributed design of components. Zbl 1425.68261
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo
4
2018
From model checking to a temporal proof for partial models. Zbl 1420.68118
Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; Ghezzi, Carlo
8
2017
Dealing with incompleteness in automata-based model checking. Zbl 1427.68170
Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
5
2016

Citations by Year