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.
Teams
Releases
Upcoming event
-
SQIL 2018 - Semaine québécoise de l'informatique libre
Le CRIM est heureux d'être partenaire diffuseur de la 10e édition de la Semaine Québécoise de l'Informatique Libre (SQIL) 2018 qui se déroulera du 15 au 23 septembre 2018.
- #ÉvénementMembre Venez célébrer 30 ans d'innovation avec @inocanada ?le 8 novembre! Billets en vente dès maintenant… https://t.co/QjTRofz5g9
- #EnCours André Lapointe, directeur #RetD du CRIM, participe à la #conférence #IA @ MTL organisée par Défi Montréal… https://t.co/SeSYvrN1sd
Recent Publications
-
Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach
-
État des lieux des technologies web
