About CRIM

Model inference

Model checking and model-based testing require the availability of a formal executable model of a system being developed. When such a model does not exist for one reason or another, at least a partial model could still be inferred based on an implemented version of the system. The team has developed an essential expertise in model inference. The considered approaches can be applied offline, by analyzing traces (logfiles) of the system’s executions, and online, by analyzing the system while it executes.

Learn more about model-based testing (VIDEO)

Teams

Releases

Date limite pour déposer sa candidature : 2 février 2018

Upcoming event

  • Expo Entrepreneurs
    25 January 2018 9:00
    Place Bonaventure (Montréal)
    CRIM will be at this event to be held January 24 and 25, 2018 at Place Bonaventure, Montréal.
    +
  • 2 de 2 - Ce projet est réalisé en collaboration avec le Centre Jeunesse de Montréal - Institut universitaire (avec… https://t.co/AogQga0AkC
  • 1 de 2 - Sylvie Ratté, professeure du LiNCS de @etsmtl, présentera au sommet "Intelligence artificielle en mission… https://t.co/WYgNI2W5B6

Recent Publications

  • PATR-TESD - État des lieux des technologies web

    +
  • Détection et désambiguïsation des entités nommées

    +