3D Architecture modelling and physics simulation system
Safecap Platform for improving railway capacity via formal modelling
Plugin for MagicDraw to support MBSE with SysML
Business process modelling for Android
Security Workflow Analysis Tool
Editor for Petri nets
Java libraries for creating applications
Log-linear analysis (data modelling) for high-dimensional data
Calculate semantic similarity for any human and human-like languages
Web-based tool for modeling, planning and analyzing your IT landscape.
Timeseries databases management system
Framework for Agent-oriented MOdelling and Simulation
A system for agent-based modelling in political psychology
Generator for textual models by applying different techniques
Lightweight Architecture for boundedly Rational Agents
Java-API for developing different card games to play over the net.
Software for modelling tree growth
Simulation of historical and contemporary launch vehicles