Expertise and technologies

CRIM master a unique range of cutting-edge expertise. Many of these are now internationally recognized expertise.

Artificial intelligence

Teams Vision and Imaging, Speech and Text, Emerging Technologies and Data Science, Advanced Software Modeling and Development
Keywords :

Automated generation of distributed system code

Teams Advanced Software Modeling and Development
Keywords :

Data science

Teams Vision and Imaging, Speech and Text, Emerging Technologies and Data Science, Advanced Software Modeling and Development
Keywords :

Dynamic and static analysis of multithreaded java programs

Teams Advanced Software Modeling and Development
Keywords :

Model inference

Teams Advanced Software Modeling and Development
Keywords :

Modeling, testing and validation of web-based applications

Teams Advanced Software Modeling and Development
Keywords :

Tests of parallel and distributed systems

Teams Advanced Software Modeling and Development
Keywords :

Recent news

  • 2017-2018 Annual report
    06/07/2018

    Our annual report is available. You will find the highlights of the year.

    +

Upcoming event

  • FM 2018
    17 July 2018 8:00
    Oxford, Royaume-Uni
    CRIM will be participate at the 22nd International Symposium on Formal Methods (FM 2018). July 15th to 17th 2018 in Oxford, UK.
    +

Recent Publications

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

    +
  • État des lieux des technologies web

    +