simplisticcode Goto Github PK

algdst-2020

an-fmi-based-initialization-plugin-for-into-cps-maestro-2

an-fmi-based-initialization-plugin-for-into-cps-maestro-2---long

annsim_reprod

This repository contains the code to reproduce the results for the paper: Synthesizing Orchestration Algorithms For FMI 3.0, which appears on ANNSIM 2023.

arabictoroman

Converter from arabic to roman and from roman to arabic

cis706-translator-design

CIS706 projects

co-simulation-verifier

This repository shows the scenarios which the co-simulation verifier has been tested on.

co-simulation_wrla

This scenario contains the formalization of co-simulations algorithms and executions in Maude.

cosim-workshop-presentation

cosimulationcasestudies

The respitories contains the case studies of the paper submitted to the STTT journal.

digitaltwincentre.github.io

framefinderrts

gptexperiment

A set of Python scripts to evaluate how good ChatGPT is at synthesising LTL formulas for Promela models.

graddag-finder

This project can be used to find grad dage according to the Danish definition of them

homeautomationaadl

This project is an AADL version of the HomeAutomation system implemented in VDM-RT

incommodities

latex-on-ci-cd

Compile latex files and release PDF output using Github Actions

maude_cosimulation

Experiment with Maude and co-simulation

mocs_miniproject

Project made for MOCS AU

nodes

oda-ml

optimizationpythonplay

oqarina

Mechanization of AADL in Coq

overture

The Overture Tool

pptranssmt

Translation of proof obligations generated by Atelier B to SMT-LIB 2.6 using the ppTrans approach

quartercarcasestudy

This is the Open modelica models of a quarter car used as a case study in An FMI-Based Initialization Plugin forINTO-CPS Maestro 2.

reference-fmus

Functional Mock-up Units for development, testing and debugging

schedulabilityrts

This project is created to test to see if a set of task can be scheduled by rate monotonic scheduling

simonthrane.github.io

Homepage

simplisticcode

Config files for my GitHub profile.