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

  • R-D Seminar - Towards coherent, fluent and context-appropriate Natural Language Generation systems
    24 April 2018 11:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    A presentation by Jad Kabbara, scholarship student within the Speech and Text team at CRIM, and Ph.D. candidate at the School of Computer Science at McGill University.
    +
  • Sherbrooke Innopole RT @SherbInnopole: 8 tendances technos à surveiller en 2018 selon @DeloitteInsight #TechTrends2018 https://t.co/O0ev0DeEI8 via @economie_qu…
  • Univalor RT @univalor: Vite! Inscrivez-vous au Symposium en IA pour 120 $. Après le 20 avril : 240 $ https://t.co/myO0M7nqgA @HEC_Montreal @IVADO_Qc…

Recent Publications

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

    +
  • État des lieux des technologies web

    +