Les pages professionnellesdes enseignants chercheurs

Iulian Ober

Mis à jour le

I am a Professor of Systems and Software Engineering at ISAE-SUPAERO since October 2021. Before that I was an Associate Professor at the University of Toulouse - Institut de Recherche en Informatique de Toulouse (IRIT).

My research domains are Model-Based Systems Engineering (MBSE), Cyber-physical systems design and analysis, Model-based verification and validation (V&V).

My background is in semantic models for real-time systems (e.g., timed automata) and automatic verification methods such as model-checking. I was involved in a host of projects trying to apply such methods to widely used industry standard languages such as UML, SysML and SDL.

Most recently I was involved in the development of the model-checker integrated in ESA’s TASTE tool-chain. On a different topic, I worked on the verification and qualification of software items based on machine-learning for Airbus (CIFRE PhD of Eric Guillaume VIDOT).

This page is still under construction. Some more information is still available on my older page at IRIT

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.