Skip to content

@UoY-RoboStar UoY-RoboStar

Change the repository type filter

All

    Repositories list

    33 repositories

    • AURO

      Public
      ROS2 code for AURO practicals
      Python
      •0•1•0•0•Updated Oct 14, 2024Oct 14, 2024

    • robotool

      Public
      Top-level repository for tracking issues and discussions about overall RoboTool.
      XSLT
      •0•0•7•0•Updated Oct 11, 2024Oct 11, 2024

    • robochart-ann-components

      Public
      Software and implementation artefacts concerning the in development RoboChart artificial neural network components.
      TeX
      •0•1•0•0•Updated Sep 19, 2024Sep 19, 2024

    • SLEEC-TK

      Public
      Xtend
      •
      Eclipse Public License 2.0
      •2•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • robochart-textual

      Public
      This repository contains the plugins for the RoboChart textual editor
      eclipse-pluginxtextrobochart
      Xtend
      •
      Eclipse Public License 2.0
      •1•0•43•1•Updated Aug 5, 2024Aug 5, 2024

    • cspm-textual

      Public
      Xtext grammar for CSPM
      Xtend
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Aug 1, 2024Aug 1, 2024

    • robochart-tests

      Public
      This project contains RoboChart models used for testing the RoboTool plugins
      0•0•0•0•Updated Jul 30, 2024Jul 30, 2024

    • robosim-textual

      Public
      This repository contains the plugins for the RoboSim textual editor.
      eclipse-pluginxtextrobosim
      Xtend
      •
      Eclipse Public License 2.0
      •0•0•13•1•Updated Jul 29, 2024Jul 29, 2024

    • rc-test-dev

      Public
      Repository with documentation regarding development of tests from RoboChart targetting ROS and similar environments.
      CMake
      •0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

    • ga-eclipse-deploy

      Public
      GitHub action to deploy Eclipse plug-ins to the web.
      github-action
      Shell
      •1•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • physmod-physics-engine

      Public
      Eclipse Public License 2.0
      •0•0•0•0•Updated May 23, 2024May 23, 2024

    • pmodel-examples

      Public
      Collection of examples of p-models.
      Perl
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 15, 2024Mar 15, 2024

    • hvc-case-study

      Public
      Source for the HVC RoboTool model
      C++
      •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • robochart-metamodel

      Public
      This repository contains the eclipse plugins that implement the metamodel of RoboChart.
      eclipse-pluginmetamodelecorerobochart
      Java
      •
      Other
      •3•0•3•0•Updated Feb 16, 2024Feb 16, 2024

    • uvc-case-study

      Public
      Source of RoboChart models for robotic UVC light treatment
      HTML
      •0•1•0•0•Updated Feb 4, 2024Feb 4, 2024

    • eclipse-oomph-console

      Public
      Console Oomph Installer
      Java
      •
      Eclipse Public License 2.0
      •4•0•0•0•Updated Nov 19, 2023Nov 19, 2023

    • robochart-normalisation

      Public
      0•0•0•0•Updated Oct 30, 2023Oct 30, 2023

    • rtcg

      Public
      Test code generator for forbidden-trace tests
      Go
      •
      MIT License
      •1•0•10•0•Updated Aug 30, 2023Aug 30, 2023

    • tick-tock-CSP

      Public
      tick-tock-CSP model (Isabelle/HOL mechanisation + FDR encoding)
      Isabelle
      •1•0•0•0•Updated Jul 21, 2023Jul 21, 2023

    • robocert-textual

      Public
      Textual plugin and CSP generator for RoboCert
      Java
      •
      Eclipse Public License 2.0
      •0•2•55•0•Updated Jul 9, 2023Jul 9, 2023

    • ga-activate-fdr

      Public
      GitHub Action to validate FDR license.
      fdrgithub-actionscspm
      Shell
      •
      Other
      •0•0•1•0•Updated May 5, 2023May 5, 2023

    • robocert-metamodel

      Public
      Metamodel plugins for RoboCert
      Java
      •
      Other
      •0•0•10•0•Updated Apr 12, 2023Apr 12, 2023

    • roboarch2chart-epsilon

      Public
      Epsilon programs for model-to-model transformation from RoboArch to RoboChart.
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 12, 2023Mar 12, 2023

    • roboarch-examples

      Public
      This repository contains a set of examples used for testing the tool
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 12, 2023Mar 12, 2023

    • roboarch-metamodel

      Public
      This repository contains the eclipse plugins that implement the metamodel of RoboArch
      Java
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 12, 2023Mar 12, 2023

    • roboarch-textual

      Public
      This repository contains the plugins for the RoboArch textual editor
      Java
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 12, 2023Mar 12, 2023

    • robochart2text-epsilon

      Public
      Epsilon programs for model-to-text generation for RoboCha
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 12, 2023Mar 12, 2023

    • robochart-normalisation-tests

      Public
      This project contains RoboChart models used for testing the normalisation of RoboChart machines
      C++
      •0•0•0•0•Updated Oct 23, 2022Oct 23, 2022

    • rc2rs-tests

      Public
      0•0•0•0•Updated Oct 14, 2022Oct 14, 2022

    • robocert-evaluation

      Public
      Evaluation artefacts for RoboCert
      0•0•0•0•Updated Aug 1, 2022Aug 1, 2022