Framework for the Re.action language
Updated 2021-02-02 12:48:36 +00:00
Tests for the MofGen-Framework
Updated 2021-01-16 13:26:35 +00:00
Demos and Unit-Tests for the Re.action Framework
Updated 2020-12-07 15:55:52 +00:00
Updated 2020-06-01 15:07:06 +00:00
eMoflon Tool Integration Environment with Unidirectional Graph Transformation
Updated 2019-12-05 12:19:12 +00:00
All examples and artefacts used for the eMoflon::IBeX handbook.
Updated 2019-09-29 14:30:44 +00:00
Updated 2019-08-10 15:31:30 +00:00
Examples for eMoflon::TIE-GT
Updated 2019-02-13 20:58:38 +00:00
Sample projects for eMoflon Core
Updated 2019-02-02 09:46:47 +00:00
Contians example use cases for the SimSG framework. E.g.: biochemical simulations, network simulations, etc.
Updated 2019-01-21 08:34:51 +00:00
[Archived] Examples for eMoflon::TIE-SDM
Updated 2018-12-13 12:46:38 +00:00
[Archived] Fronend components for specifying the graph patterns and (unidirectional) graph transformation rules
Updated 2018-12-11 09:42:41 +00:00
Tool support for evaluating topology control algorithms specified using eMoflon
Updated 2018-12-11 09:05:01 +00:00
Documentation for cMoflon, the eMoflon variant for generating Contiki code
Updated 2018-12-07 07:16:20 +00:00
A zoo of examples and application scenarios of kaleidoscope, a model synchronisation framework.
Updated 2018-09-05 10:10:19 +00:00
Core repository for kaleidoscope, a model synchronisation framework.
Updated 2018-08-03 13:11:48 +00:00
UI components for kaleidoscope, a model synchronisation framework.
Updated 2018-07-08 17:17:13 +00:00
Supplementary Material for MODELS'18 submission
Updated 2018-05-04 10:34:47 +00:00
Symbolic Graph Analysis and Verification tool by Frederick Deckwerth
Updated 2018-03-21 05:50:29 +00:00
Updated 2018-01-23 15:19:58 +00:00