Towards systematic engineering of collaborative heterogeneous robotic systems

By the same authors

Model-Driven Simulation-Based Analysis for Multi-Robot Systems
Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 31 Aug 2021, (E-pub ahead of print) 36th IEEE/ACM International Conference on Automated Software Engineering.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Program Performance Analysis
Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fast Parametric Model Checking through Model Fragmentation
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published copy (DOI)

10.1109/RoSE.2019.00012

Author(s)

Department/unit(s)

Computer Science

Publication details

Title of host publication	2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE)
Date	Published - 27 May 2019
Pages	25-28
Number of pages	4
Publisher	IEEE
Original language	English
ISBN (Electronic)	9781728122496

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

Model-Driven Simulation-Based Analysis for Multi-Robot Systems

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

Probabilistic Program Performance Analysis

Fast Parametric Model Checking through Model Fragmentation

Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

Towards systematic engineering of collaborative heterogeneous robotic systems

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Discover related content