Rachida Dssouli, Concordia University

Research

Formal model Modeling Real-time verification Runtime composition of services Runtime testing Runtime trace analysis Runtime verification Service composition rollback

Latest funding

Service composition testing and verification
NSERC · 2018 · Principal investigator
$168,000
Specification and verification of design models for certifiable avionics software
NSERC · 2014 · Principal investigator
$179,000
Dynamic composition of systems and services
NSERC · 2011 · Principal investigator
$100,000

All 8 grants and awards

Service composition testing and verification

Principal investigatorNSERC2018Discovery Grants Program - Individual

Principal investigators: Dssouli, Rachida

Keywords: Formal model; Modeling; Real-time verification; Runtime composition of services; Runtime testing; Runtime trace analysis; Runtime verification; Service composition rollback; Service testability; Test specification

$168,000

Specification and verification of design models for certifiable avionics software

Principal investigatorNSERC2014Collaborative Research and Development Grants

Principal investigators: Dssouli, Rachida

$179,000

Dynamic composition of systems and services

Principal investigatorNSERC2011Discovery Grants Program - Individual

Principal investigators: Dssouli, Rachida

$100,000

Integrating the capabilities of wireless sensor and actuator networks in the IP Multimedia Subsystem

Co-investigatorNSERC2008Collaborative Research and Development Grants

Principal investigators: Khendek, Ferhat

$261,000

Modeling and automatic generation of information and upgrade campaigns for service availability

Co-investigatorNSERC2006Collaborative Research and Development Grants

Principal investigators: Khendek, Ferhat

$240,000

Communication software engineering based on formal methods

Principal investigatorNSERC2006Discovery Grants Program - Individual

Principal investigators: Dssouli, Rachida

$167,000

Service engineering for next generation networks

Co-investigatorNSERC2003Collaborative Research and Development Grants

Principal investigators: Khendek, Ferhat

$268,230

Systematic creation and testing of communication services: quality driven methods

Principal investigatorNSERC2000Discovery Grants Program - Individual

Principal investigators: Dssouli, Rachida

$168,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Subject: Prospective PhD student: Formal model Dear Professor Dssouli, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on formal model connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]