ExpressIF®

Simulating human reasoning and leveraging data to aid in decision-making.

CIVA

Simulation for the design, optimization, performance demonstration, and calculation of probability of detection of non-destructive testing procedures.

SIGMO-IDS

SIGMO-IDS: cognitive network security.

NEON

NEON: robust, resilient, and reconfigurable communications.

PIXANO

An open-source solution for large-scale web annotation of pictures and videos.

LIVA/CLIVA

LIVA (LIst Visual Analyzer) offers semantic processing and, in particular, detection and classification, of visual data. CLIVA is a graphical user interface (GUI) used to configure LIVA.

LIMA/CLIMA

One of the most powerful language analyzers in the world, available in 60 languages.

XDE Physics

XDE Physics simulates manipulation of and interactions between the components of a digital mockup.

Papyrus

A model-based system engineering (MBSE) platform to facilitate the design of complex hardware and/or software systems.

Software development environments