Claudio Menghi -

Registered user since Mon 12 Mar 2018

Name: Claudio Menghi

Affiliation: University of Luxembourg, SnT

Personal website: https://claudiomenghi.github.io/

Contributions

FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
SLE 2019	Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track
ICSE 2020	Author of PROMISE: High-Level Mission Specification for Multiple Robots within the Demonstrations-track Author of Specification Patterns for Robotic Missions within the Journal First-track Author of Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification within the Technical Papers-track
FormaliSE 2018	Session Chair of Formal Methods for Autonomous Systems 1 (part of FormaliSE 2018) Committee Member in Program Committee within the FormaliSE 2018-track
ICSE 2019	Author of PsALM: Specification of Dependable Robotic Missions within the Demonstrations-track
* ICSE 2018 *	Author of Poster F53: Towards Multi-Robot Applications Planning Under Uncertainty within the Posters -track Author of Poster F51: Property Specification Patterns for Robotic Missions within the Posters -track