Modélisation et développement logiciel avancé

L’équipe Modélisation et développement logiciel avancé du CRIM se spécialise en développement de méthodes et d’outils prototypes pour aider les concepteurs de systèmes et d’applications distribuées à améliorer la qualité et la sécurité de leurs produits tout en diminuant le temps de développement.

Nos expertises

Nous possédons une expertise de classe mondiale en « ingénierie des modèles ». Ces derniers permettent de représenter le fonctionnement des systèmes informatiques, d’en prédire le comportement, d’en analyser les failles et d’automatiser certaines tâches de développement et de test.

Toutes nos expertises

Profil d'un expert

Alexandre Petrenko
Alexandre Petrenko
Chercheur principal

Alexandre Petrenko œuvre au CRIM depuis 1996 au sein de l’équipe Modélisation et développement logiciel avancé. 

Contactez l'équipe Modélisation et développement logiciel avancé

Pour toute demande d’information, veuillez contacter Françoys Labonté, Directeur général.

514 840-1234

Nouvelles récentes

  • Meilleurs vœux des fêtes!
    14/12/2018

    Joyeuses fêtes de toute l'équipe du CRIM!

    +

Événement à venir

  • HASE 2019
    3/01/19 2019h00
    Hangzhou, China
    Le CRIM présentera deux articles à la 19e édition du IEEE International Symposium on High Assurance Systems Engineering, qui se déroulera du 3 au 5 janvier 2019 à Hangzhou, Chine
    +

Publications récentes

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +