Claudio Menghi -

Registered user since Mon 12 Mar 2018

Name:Claudio Menghi

Country:Canada

Affiliation:McMaster University, Canada

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

Twitter:https://twitter.com/menghi_claudio

Contributions

FormaliSE 2022	Social Media Chair in General Chairs within the FormaliSE 2022-track
SEAMS 2022	Ordinary PC member in Doctoral Symposium Committee within the SEAMS 2022-track
MODELS 2021	PC Member in Program Committee within the ACM Student Research Competition-track Author of A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic Missions within the Technical Papers-track
ASE 2021	Committee Member in Program Committee within the Tool Demonstrations-track Committee Member in Program Committee within the Late Breaking Results-track
SEAMS 2021	Author of RoboMAX: Robotic Mission Adaptation eXemplars within the SEAMS 2021-track
ASE 2020	Author of Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach within the Research Papers-track
ICSE 2022	Committee Member in Program Committee within the NIER - New Ideas and Emerging Results-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track Author of Mind the gap: Robotic Mission Planning Meets Software Engineering within the FormaliSE 2020-track Author of UML consistency rules: a case study with open-source UML models within the FormaliSE 2020-track
ESEC/FSE 2020	Author of Mining Assumptions for Software Components using Machine Learning within the Research Papers-track
ECSA 2020	Committee Member in Program Committee within the Gender Diversity in SA-track
ICSE 2021	Author of ThEodorE: a Trace Checker for CPS Properties within the AE - Artifact Evaluation-track Author of Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap within the Technical Track-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