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
-
Intelligence d'affaires et analytique 3e édition - Événement les Affaires
Le CRIM est fier d'être partenaire et de participer à la 3e édition de la conférence Intelligence d'affaires et analytique organisée par les Événements Les Affaires, le 14 novembre 2018.
- Le CRIM est fier d'être partenaire et de participer à la 3e édition de la conférence Intelligence d'affaires et ana… https://t.co/YZ3xoPoNPt
- #Demain Pas un, mais DEUX de nos experts participeront à la Journée de la #géomatique à l'@USherbrooke ! J-François… https://t.co/NNrYYIsvjy
Recent Publications
-
Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach
-
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving
