Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Scientific Animation

Software Dissemination and Internet Visibility

The CONVECS project-team distributes several software tools: the CADP toolbox (see §  5.1 ), the TRAIAN compiler (see §  5.2 ), the PIC2LNT translator (see §  5.3 ), and the PMC model checker (see §  5.4 ). In 2013, the main facts are the following:

The CONVECS Web site ( ) was updated with scientific contents, announcements, publications, etc.

By the end of December 2013, the CADP forum ( ), opened in 2007 for discussions regarding the CADP toolbox, had over 270 registered users and over 1400 messages had been exchanged.

Other research teams took advantage of the software components provided by CADP (e.g., the BCG and OPEN/CAESAR environments) to build their own research software. We can mention the following developments:

Other teams also used the CADP toolbox for various case studies:

Program Committees

In 2013, the members of CONVECS took on the following responsibilities:

Awards and Distinctions

H. Garavel is an invited professor at Saarland University (Germany) as a holder of the Gay-Lussac Humboldt Prize.

Lectures and Invited Conferences