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
-
Forum Stratégie Innovation 2018
Le CRIM fier partenaire et participant de la 3e édition du Forum Stratégie Innovation qui se tiendra à Laval le 26 avril 2018.
- DEMAIN @ForumStrategie - Le CRIM sera au #foruminnovation2018 à Laval! Jean-Philippe Nantel, directeur de l'équipe… https://t.co/D3WlYEZHIk
- Bravo à tous les finalistes !! Il y a des membres du CRIM parmi eux ???? @JLRimmo @TECHNOCompetenc @MTL_Ville ???? Votez… https://t.co/RGnX5ujfag
Recent Publications
-
Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach
-
État des lieux des technologies web