Pinned Repositories
artifact-evaluation
arturboronat.github.io
atol-cps
auxiliary-static-content
Repository for uploading static content to be referenced from elsewhere
fma-atl
fma-atl-experiments
massif
Massif is a Matlab Simulink Integration Framework for Eclipse
mdenet-yamtl
microbit-uol
ttc2018liveContest
The repository for the TTC 2018 Live Contest
arturboronat's Repositories
arturboronat/artifact-evaluation
arturboronat/arturboronat.github.io
arturboronat/atol-cps
arturboronat/auxiliary-static-content
Repository for uploading static content to be referenced from elsewhere
arturboronat/fma-atl
arturboronat/fma-atl-experiments
arturboronat/massif
Massif is a Matlab Simulink Integration Framework for Eclipse
arturboronat/mdenet-yamtl
arturboronat/microbit-uol
arturboronat/ttc2018liveContest
The repository for the TTC 2018 Live Contest
arturboronat/ttc2019-live
Live contest for TTC2019: BibtexXML to Docbook consistency
arturboronat/ttc2019-tt2bdd
Free form TTC contest (Truth tables to Binary Decision Diagrams, from ATL Zoo)
arturboronat/ttc2020
arturboronat/ttc21incrementalLabWorkflows
This repository contains the code for the Incremental Laboratory Workflow case at the TTC 2021
arturboronat/viatra-docs
Documentation for the Eclipse VIATRA project
arturboronat/xtext.domainmodel
arturboronat/awesome-mde
A curated list of awesome model-driven engineering resources.
arturboronat/benchmarx
Infrastructure for implementing benchmarx: benchmarks for bidirectional transformation (bx) tools. Also contains a collection of example benchmarx and test runners for various and diverse bx tools.
arturboronat/E-Commerce-Backend
đź“ŚECommerce API with Java-SpringBoot, Graphql, PostgreSql. For graphql= https://medium.com/@tepe0789/java-springboot-graphql-kullan%C4%B1m%C4%B1-bf4b29049239
arturboronat/educationplatform-examples
arturboronat/mde-rare-diseases
Repository for sharing sw artifacts with Brookes' lab
arturboronat/pcminer
PC-miner tool for program chairs
arturboronat/platformtools
Education platform tool functions.
arturboronat/ROS_navfn_verification
Maude integration and verification for ROS Nav 2