Repositories list

• robochart-ann-components

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

  TeX

  •0•1•0•0•Updated Dec 29, 2024Dec 29, 2024

• 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.

  Isabelle

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• robotool-ann

  Public
  XSLT

  •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

• robochart-metamodel

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

  eclipse-pluginmetamodelecore+ 1robochart

  Java

  •

  Other

  •3•0•4•0•Updated Dec 17, 2024Dec 17, 2024

• robochart-textual

  Public
  This repository contains the plugins for the RoboChart textual editor

  eclipse-pluginxtextrobochart

  Xtend

  •

  Eclipse Public License 2.0

  •1•0•44•1•Updated Dec 17, 2024Dec 17, 2024

• AURO

  Public
  ROS2 code for AURO practicals

  Python

  •5•9•0•0•Updated Nov 20, 2024Nov 20, 2024

• rc-test-dev

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

  CMake

  •0•0•0•1•Updated Nov 12, 2024Nov 12, 2024

• robosim-metamodel

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

  eclipse-pluginmetamodelecore-model+ 1robosim

  Shell

  •

  Eclipse Public License 2.0

  •0•0•1•1•Updated Oct 23, 2024Oct 23, 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

• SLEEC-TK

  Public
  Xtend

  •

  Eclipse Public License 2.0

  •2•0•0•0•Updated Sep 3, 2024Sep 3, 2024

• Segway-Parallel-ANN

  Public
  C++

  •0•0•0•0•Updated Aug 9, 2024Aug 9, 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

• 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

• 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