Expertise and technologies

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

Automated generation of distributed system code

Teams Advanced Software Modeling and Development
Keywords :

Cybersecurity - data security

Teams Emerging Technologies and Data Science
Keywords :

Dynamic and static analysis of multithreaded java programs

Teams Advanced Software Modeling and Development
Keywords :

HTML5, CSS3 and advanced Javascript

Teams Emerging Technologies and Data Science
Keywords : HTML5, CSS3, Javascript

Model inference

Teams Advanced Software Modeling and Development
Keywords :

Modeling, testing and validation of web-based applications

Teams Advanced Software Modeling and Development
Keywords :

Parallel processing

Teams Speech and Text
Keywords :

Technological evaluations

Teams Emerging Technologies and Data Science
Keywords :

Tests of parallel and distributed systems

Teams Advanced Software Modeling and Development
Keywords :

Web Architectures

Teams Emerging Technologies and Data Science
Keywords : Web2.0, HTML5, BIG DATA, Java, Javascript client, Javascript serveur, NoSQL, NodeJS, CAS, SSO

Recent news

  • Best wishes for the holidays!
    14/12/2018

    Happy Holidays from all of us at CRIM!

    +

Upcoming event

  • HASE 2019
    3 January 2019 2019:00
    Hangzhou, China
    CRIM will presente two accepted paper at the 19th IEEE International Symposium on High Assurance Systems Engineering in Hangzhou, China, from January 3rd to 5th, 2019.
    +

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

    +