Claudio Menghi

Publications (10)
Projects (0)

Showing 10 publications

2024

Search-based Trace Diagnostic

Gabriel Araujo, Ricardo Diniz Caldas, Federico Formica et al

Preprint

2021

A survey on the design space of end-user-oriented languages for specifying robotic missions

Dragule Swaib, Thorsten Berger, Claudio Menghi et al

Software and Systems Modeling. Vol. 20 (4), p. 1123-1158

Journal article

2019

MAPmAKER: Performing multi-robot LTL planning under uncertainty

Sergio García Gonzalo, Claudio Menghi, Patrizio Pelliccione

Proceedings - 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering, RoSE 2019, p. 1-4

Paper in proceeding

2018

Poster: Towards multi-robot applications planning under uncertainty

Claudio Menghi, Sergio García Gonzalo, Patrizio Pelliccione et al

Proceedings - International Conference on Software Engineering. Vol. Part F137351, p. 438-439

Paper in proceeding

2018

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi

Proceedings - International Conference on Software Engineering, p. 37-40

Paper in proceeding

2018

Poster: Property specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger et al

Proceedings - International Conference on Software Engineering. Vol. Part F137351, p. 434-435

Paper in proceeding

2018

Multi-robot LTL planning under uncertainty

Claudio Menghi, Sergio Garcia, Patrizio Pelliccione et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10951 LNCS, p. 399-417

Paper in proceeding

2018

Supporting verification-driven incremental distributed design of components

Claudio Menghi, P. Spoletini, Marsha Chechik et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10802 LNCS, p. 169-188

Paper in proceeding

2018

An Architecture for Decentralized, Collaborative, and Autonomous Robots

Sergio García Gonzalo, Claudio Menghi, Patrizio Pelliccione et al

Proceedings - 2018 IEEE 15th International Conference on Software Architecture, ICSA 2018, p. 75-84

Paper in proceeding

2017

From model checking to a temporal proof for partial models

Anna Bernasconi, Claudio Menghi, P. Spoletini et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 54-69

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Claudio Menghi participates, but you have to be logged in as a Chalmers employee to see them.