Department of Computer Science

Special Issue: Software Engineering for Robotics

Robotics and Autonomous Systems Journal, Elsevier

We invite submissions of papers on Software Engineering for Robotics for publication in a special issue of Robotics and Autonomous Systems (


This special issue is devoted to original research papers on techniques, applications, industrial case studies, and experience reports connected to the design and deployment of software for robotic systems. Focus is given on all aspects of modelling, simulation, and implementation for the validation and verification of robotic systems.

Topics of Interest

In particular, the topics of interest include but are not limited to

  • Domain-specific languages for robotics
  • Verification of robotic applications: simulation, testing, and deployment
  • Requirements analysis and validation of robotic applications
  • Hybrid modelling and analysis of robotics applications
  • Probabilistic models and analysis for robotic applications
  • Approaches to safety and security of robotic applications
  • Software development processes and methods for robotics
  • Robotic system maintenance, adaptation, and evolution

Submission Format and Guideline

Papers should ​be submitted via the online submission system Editorial Manager® for the journal. There is a Guide for Authors, where you’ll find LaTeX templates. Use of LaTeX is recommended.

All papers will be peer-reviewed by three independent reviewers. Requests for additional information should be addressed to the guest editors.

Important dates

Submission deadline: 30.04.2022
Extended submission deadline: 31.05.2022
Acceptance deadline: 30.11.2022

Guest editors

Ana Cavalcanti, University of York
Alvaro Miyazawa, University of York
Jon Timmis, University of Sunderland

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements