Edit Profile (opens in new tab) Menghi, Claudio Co-Author Distance Author ID: 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 all top 5 Co-Authors 0 single-authored 5 Spoletini, Paola 4 Ghezzi, Carlo 3 Bernasconi, Anna 2 Bersani, Marcello Maria 2 Chechik, Marsha 2 Pelliccione, Patrizio 2 Rizzi, Alessandro Maria 2 Rossi, Matteo A. C. 1 García, Sergio 1 Pietro, Pierluigi San 1 Soldo, Matteo 1 Tůmová, Jana 1 Zuck, Lenore D. Serials 3 Formal Aspects of Computing 1 ACM Transactions on Computational Logic Fields 9 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 5 Menghi, Claudio 2 Bernasconi, Anna 2 Pelliccione, Patrizio 2 Rizzi, Alessandro Maria 2 Spoletini, Paola 2 Tonetta, Stefano 1 Baier, Christel 1 Bersani, Marcello Maria 1 Chechik, Marsha 1 Cimatti, Alessandro 1 Funke, Florian 1 García, Sergio 1 Ghezzi, Carlo 1 Griggio, Alberto 1 Jantsch, Simon 1 Rossi, Matteo A. C. 1 Roveri, Marco 1 Soldo, Matteo 1 Tian, Chun 1 Tůmová, Jana Cited in 2 Serials 3 Formal Aspects of Computing 2 Formal Methods in System Design Cited in 4 Fields 8 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year