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

  • IGARSS 2018
    27 July 2018 8:30
    Valence, Espagne
    The 2018 IEEE International Geoscience and Remote Sensing Symposium will take place from July 23-27, 2018 in Valencia, Spain.
    +
  • Roger Léger RT @LegerRoger: Infolettre Juillet 2018 - Le virage numérique ne prend pas de vacances! - https://t.co/2lfyAoC1zi
  • Tom Landry RT @Tom_Landry_: Thanks to @ouranos_cc , @giz_gmbh , DKRZ and @NRCan for a highly appreciated contribution and collaboration.

Recent Publications

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

    +
  • État des lieux des technologies web

    +