Home > Research teams > Advanced Software Modeling and Development

Advanced Software Modeling and Development

The Advanced Software Modeling and Development team of CRIM specializes in the development of methods and prototype tools to help system and distributed software designers improve the quality and security of their products while decreasing development time.

Our expertise

We possess a world-class expertise in model engineering. Properly designed models allow for representing the operation of information systems, to predict their behavior, to analyze their deficiencies and automate certain development- and test-related tasks.

Model inference
Automated generation of distributed system code
Tests of parallel and distributed systems
Modeling, testing and validation of web-based applications

See all expertise

MAJOR ACHIEVEMENTS

NECSIS
NECSIS
Tools for the analysis of logs in distributed systems
Tools for the analysis of logs in distributed systems
See all releases

Profile of an expert

Alexandre Petrenko
Alexandre Petrenko
Lead Researcher
Meet our experts

Follow Us

Chat with us

LinkedIn Follow CRIM

Follow our tweets

Flickr See our Flickr albums

YouTube See our videos

Medium Read our Medium articles

Recent news

  • COVID-19 : Suivi de la situation
    25/03/2020

    Notre équipe maintient ses opérations à distance et est toujours là pour vous servir.

    +
See all news

Upcoming event

  • Intelligence d'affaires et analytique 2020 - Québec - Événements Les Affaires
    15 May 2020 8:30
    Hôtel Le Concorde Québec
    Le CRIM est fier d'être partenaire et de participer à la 4e édition de la conférence Intelligence d'affaires et analytique - Québec organisée par les Événements Les Affaires, les 14 et 15 mai 2020 à l'hôtel Concorde, Québec.
    +
See all events

Recent Publications

  • Validating BGP Update Using Blockchain-Based Infrastructure

    +
  • Efficient Inference of Optimal Decision Trees

    +
See all Publications