Some Public Tools

BRAIN-IoT ADE Tool

A tool for exploring cost-effective security countermeasures against attacks
Code   Paper

Meeduse Framework for Inter-DSL Collaboration

A Formal model-driven engineering framework for modeling and verification of inter-DSL Collaboration
Code   Paper

ParTraP-IDE

An Environment for expressing and evaluating formal properties specified by ParTraP language on a set of JSON trace files
Code   Paper

BRAIN-IoT Platform

A framework based on layered architecture that integrates a set of assets for model-based development of IoT systems
Code   Paper