Towards systematic engineering of collaborative heterogeneous robotic systems

By the same authors

Fast Parametric Model Checking through Model Fragmentation
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 18 Dec 2020, (Accepted/In press) 43rd International Conference on Software Engineering. 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
Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair
Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Interval Change-Point Detection for Runtime Probabilistic Model Checking
Zhao, X., Calinescu, R., Gerasimou, S., Robu, V. & Flynn, D., 2020, 35th IEEE/ACM International Conference on Automated Software Engineering.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Calinescu, R. C., Weyns, D., Gerasimou, S., Iftikhar, M. U., Habli, I. & Kelly, T. P., 1 Nov 2018
Article in IEEE Transactions on Software Engineering

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

Fast Parametric Model Checking through Model Fragmentation

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

Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

Interval Change-Point Detection for Runtime Probabilistic Model Checking

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Towards systematic engineering of collaborative heterogeneous robotic systems

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Discover related content