Skip to content
@UoY-RoboStar

UoY-RoboStar

RoboStar is a centre of excellence in Software Engineering for Robotics. Research and development covers various aspects of model-based software engineering.

Popular repositories Loading

  1. AURO AURO Public

    ROS2 code for AURO practicals

    Python 9 5

  2. robocert-textual robocert-textual Public

    Textual plugin and CSP generator for RoboCert

    Java 2

  3. uvc-case-study uvc-case-study Public

    Source of RoboChart models for robotic UVC light treatment

    HTML 1

  4. robochart-ann-components robochart-ann-components Public

    Software and implementation artefacts concerning the in development RoboChart artificial neural network components.

    TeX 1

  5. tick-tock-CSP tick-tock-CSP Public

    tick-tock-CSP model (Isabelle/HOL mechanisation + FDR encoding)

    Isabelle 1

  6. robochart-metamodel robochart-metamodel Public

    This repository contains the eclipse plugins that implement the metamodel of RoboChart.

    Java 3

Repositories

Showing 10 of 35 repositories
  • NFM2025 Public

    This repository contains the implementation and formal proofs from our [Conference Name] paper, showcasing the detailed work described in the publication. It includes code and verification processes to support reproducibility and further exploration of our results.

    UoY-RoboStar/NFM2025’s past year of commit activity
    Isabelle 0 GPL-3.0 0 0 0 Updated Dec 20, 2024
  • robochart-ann-components Public

    Software and implementation artefacts concerning the in development RoboChart artificial neural network components.

    UoY-RoboStar/robochart-ann-components’s past year of commit activity
    TeX 1 0 0 0 Updated Dec 19, 2024
  • robotool-ann Public
    UoY-RoboStar/robotool-ann’s past year of commit activity
    XSLT 0 0 0 0 Updated Dec 19, 2024
  • robochart-metamodel Public

    This repository contains the eclipse plugins that implement the metamodel of RoboChart.

    UoY-RoboStar/robochart-metamodel’s past year of commit activity
    Java 0 3 4 0 Updated Dec 17, 2024
  • robochart-textual Public

    This repository contains the plugins for the RoboChart textual editor

    UoY-RoboStar/robochart-textual’s past year of commit activity
    Xtend 0 EPL-2.0 1 44 1 Updated Dec 17, 2024
  • AURO Public

    ROS2 code for AURO practicals

    UoY-RoboStar/AURO’s past year of commit activity
    Python 9 5 0 0 Updated Nov 20, 2024
  • rc-test-dev Public

    Repository with documentation regarding development of tests from RoboChart targetting ROS and similar environments.

    UoY-RoboStar/rc-test-dev’s past year of commit activity
    CMake 0 0 0 1 Updated Nov 12, 2024
  • robosim-metamodel Public

    This repository contains the eclipse plugins that implement the metamodel of RoboSim.

    UoY-RoboStar/robosim-metamodel’s past year of commit activity
    Shell 0 EPL-2.0 0 1 1 Updated Oct 23, 2024
  • robotool Public

    Top-level repository for tracking issues and discussions about overall RoboTool.

    UoY-RoboStar/robotool’s past year of commit activity
    XSLT 0 0 7 0 Updated Oct 11, 2024
  • SLEEC-TK Public
    UoY-RoboStar/SLEEC-TK’s past year of commit activity
    Xtend 0 EPL-2.0 2 0 0 Updated Sep 3, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…