À propos du CRIM

Inférence de modèles

La validation des modèles et la génération de tests pour un système donné reposent sur la disponibilité d’un modèle formel de ce système. En raison des contraintes de ressources habituellement rencontrées dans le développement logiciel, des multiples configurations possibles d’un même système et de sa constante évolution au cours de son cycle de vie, il est parfois difficile de définir et de maintenir à jour un modèle formel complet. L’expertise du CRIM inclue différentes approches d’inférence de modèles : offline, à partir de l’observation des traces de l’exécution du système, et online, à partir de l’analyse des interactions des usagers avec celui-ci.

Équipes

Industries

Réalisations

Événement à venir

  • Datavore 2017
    28/03/17 7h45
    Palais des Congrès de Montréal
    Le CRIM est heureux d'être partenaire et de participer à Datavore 2017, l'événement référence en analytique qui se déroulera du 27 au 28 mars 2017 au Palais des Congrès de Montréal.
    +
  • Semaine Numérique QC RT @SNQuebec: Plus de 5 jours avant la #SNQuebec17! Planifiez votre semaine dès maintenant: https://t.co/gJEVxYnwV8 https://t.co/7h2C5gf0Ic
  • TechnoMontreal RT @TechnoMontreal: #TM10ANS | Depuis 10 ans TM contribue à bâtir une économie à l'avant-garde de la transformation numérique! À lire. http…

Publications récentes

  • PeopleBot

    +
  • Détection de menaces par classification de paquets de pare-feu

    +