Automatic verification of concurrent software systems
An aquarium management software with a Simulation Model System
a simulation software for servo motor's speed
EUgran solver for OpenFoam with new Boundary Conditions.
A library that allows programs for a NI CRIO to be run on a computer.
SmartWAV windows PC Interface
SmartGPU Windows PC interface
Simulation software for brain modelling
C++ Airline Travel Solution Provider
Software tools for applications of simulations by iterations.
Form-Finding of Cable Net Structures using the Force Density Method
Heterogeneous cluster for acceleration of linear algebra computations
MATLAB based programs for trajectory simulations of molecules
a distributed cloud simulator written in Java
Hackerando la Macchina Ridotta (Hacking the Smaller Machine)
... [BATCH], [ANALYZE] and [OPTIMIZE] cases in OpenFOAM and others
Hardware and software for self-driving vehicles