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

Upcoming event

  • Canadian Research Software Conference
    29 May 2018 8:30
    Pavillon Desmarais, Université d'Ottawa
    CRIM will participate at the Canadian Research Software Conference in Ottawa on May 29-30, 2018.
    +
  • IVADO RT @IVADO_Qc: Montréal, cerveau de l'intelligence artificielle https://t.co/XZqjKerXZL via @LesEchos
  • Montréal Intl RT @MTLINTL: Indeed! #Montréal has so much to offer when it comes to #AI! Great video of .@business highlighting #Canada's rise of #Artific…

Recent Publications

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

    +
  • État des lieux des technologies web

    +