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

  • Assemblée générale des membres du CRIM - 18 juin 2020
    18 June 2020 0:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Les membres du CRIM sont convoqués à l'Assemblée générale annuelle qui se tiendra le 18 juin 2020. Ne manquez pas cette importante réunion et l'occasion de vous tenir au fait de plusieurs dossiers qui vous concernent.
    +
  • ????Une série de formations TI par les événements Les Affaires @la_lesaffaires Transformation numérique, Gestion des T… https://t.co/lkcsZ9BvXs
  • AIxSPACE RT @AIxSPACE_ca: ???? [IMPORTANT] In order to guarantee the safety of all, we have decided to postpone #AIxSPACE until January 18, 2021 // [IM…

Recent Publications

  • On The Performance of Time-Pooling Strategies for End-to-End Spoken Language Identification

    +
  • An ensemble Based Approach for Generalized Detection of Spoofing Attacks to Automatic Speaker Recognizers

    +