Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• H. Garavel is a member of the model board (http://mcc.lip6.fr/models.php) of MCC (Model Checking Contest). In 2019, he helped preparing new models (especially those in the NUPN format) and verified, using the CÆSAR.BDD tool of CADP, the forms describing all benchmark models submitted by the contest participants; this revealed a number of inconsistencies. The results of MCC'2019 have been published online [44].

• Together with Peter Höfner (Data61, CSIRO, Sydney, Australia), H. Garavel set up a model repository (hosted on the Gforge of Inria) to collect and archive formal models of real systems; this infrastructure is used by the series of MARS workshops (http://www.mars-workshop.org/). This repository currently contains 21 models, among which 5 were deposited by CONVECS.

• G. Salaün is member of the steering committee of the ACM SAC-SVT (Symposium of Applied Computing – Software Verification and Testing Track) conference series since 2018.

• G. Salaün is member of the steering committee of the SEFM (International Conference on Software Engineering and Formal Methods) conference series since 2014.

• G. Salaün is member of the steering committee of the FOCLASA (International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems) workshop series since 2011.

Member of the Organizing Committees

• L. Marsso and A. Muroor Nadumane were publicity chairs (also in charge of the conference Web site and social media feeds) for SEFM'2019 (17th International Conference on Software Engineering and Formal Methods), Oslo, Norway, September 16–20, 2019.

Scientific Events: Selection

Chair of Conference Program Committees

• G. Salaün was co-chair of SEFM'2019.

Member of the Conference Program Committees

• H. Garavel was program committee member of FMICS'2019 (24rd International Conference on Formal Methods for Industrial Critical Systems), Amsterdam, The Netherlands, August 30–31, 2019.

• R. Mateescu was program committee member of IFIP-ICTSS'2019 (31st IFIP International Conference on Testing Software and Systems), Paris, France, October 15–17, 2019.

• G. Salaün was program committee member of SAC-SVT'2019 (34th ACM Symposium on Applied Computing - Software Verification and Testing Track), Limassol, Cyprus, April 8–12, 2019.

• G. Salaün was program committee member of FSEN'2019 (8th IPM International Conference on Fundamentals of Software Engineering), Tehran, Iran, May 1–3, 2019.

• G. Salaün was program committee member of COORDINATION'2019 (21st International Conference on Coordination Models and Languages), Lyngby, Denmark, June 18–21, 2019.

• G. Salaün was program committee member of Microservices'2019, Dortmund, Germany, February 19–21, 2019.

• G. Salaün was program committee member of COMPSAC-ITIP'2019 and COMPSAC-SETA'2019 (IEEE International Conference on Computers, Software, and Applications – IT in Practice, and Software Engineering Technologies and Applications), Wisconsin, USA, July 15–19, 2019.

• G. Salaün was program committee member of HPCS-4PAD'2019 and HPCS-SERCO'2019 (6th International Symposium on Formal Approaches to Parallel and Distributed Systems, and 3rd Special Session on High Performance Services Computing and Internet Technologies), Dublin, Ireland, July 15–19, 2019.

• G. Salaün was program committee member of FACS'2019 (16th International Conference on Formal Aspects of Component Software), Amsterdam, The Netherlands, October 23–25, 2019.

• G. Salaün was program committee member of FOCLASA'2019 (17th International Workshop on Coordination and Self-Adaptativeness of Software Applications), Oslo, Norway, September 17, 2019.

• G. Salaün was program committee member of DATAMOD'2019 (8th International Symposium “From Data to Models and Back”), Porto, Portugal, October 7–8, 2019.

Reviewer

• R. Mateescu was a reviewer for the Festschrift in honor of Stefania Gnesi.

• A. Muroor Nadumane was a reviewer for SAC-SVT'2020, FACS'2019, SEFM'2019, COMPSAC-SETA'2019.

Journal

Member of the Editorial Boards

• H. Garavel is an editorial board member of STTT (Springer International Journal on Software Tools for Technology Transfer).

Reviewer - Reviewing Activities

• F. Lang and A. Muroor Nadumane were reviewers for STTT.

• R. Mateescu was a reviewer for ISSE (Innovations in Systems and Software Engineering), IST (Information and Software Technology), LMCS (Logical Methods in Computer Science), and SCP (Science of Computer Programming).

• G. Salaün was a reviewer for JISA (Journal of Internet Services and Applications), JLAMP (Journal of Logical and Algebraic Methods in Programming), JSME (Journal of Software: Evolution and Process), LMCS, and SCP.

Software Dissemination and Internet Visibility

The CONVECS project-team distributes several software tools, among which the CADP toolbox.

In 2019, the main facts are the following:

• We prepared and distributed twelve successive versions (2019-a to 2019-l) of CADP.

• We were requested to grant CADP licenses for 340 different computers in the world.

The CONVECS Web site (http://convecs.inria.fr) was updated with scientific contents, announcements, publications, etc.

By the end of December 2019, the CADP forum (http://cadp.inria.fr/forum.html), opened in 2007 for discussions regarding the CADP toolbox, had over 435 registered users and over 1940 messages had been exchanged.

Also, for the 2019 edition of the Model Checking Contest, one family of models generated using CADP (totalling 16 Nested-Unit Petri Nets) was provided.

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:

• The OCARINA Tool and its Extension AADL2LNT for Analysing AADL Descriptions  [49]

• The LFD-MPI Tool for Lightweight Formal Development of MPI Applications [52], [53]

• The FTRES Tool for Rare Event Simulation in Dynamic Fault Trees [54]

• Formal Analysis of Security Guidelines for Program Certification [55]

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

• Applying Automata Learning to Embedded Control Software [50]

• Model Checking Based Approach for Compliance Checking [46]

• Finding Conservative Schema Evolutions by Analysing API Changes [51]

• Selection of Model Checking Strategies using Machine Learning [42]

• Verifying Complex Software Control Systems from Test Objectives [29]

• Designing Safe Synchronous Reactive Systems [30]

Invited Talks

• H. Garavel participated in the workshop “Advancing Verification Competitions as a Scientific Method” organized by the Lorentz Center (Leiden, The Netherlands) on February 18–22, 2019. He gave a lecture entitled “Managing Large Collections of Benchmarks: An Experiment Report”.

• H. Garavel presented a retrospective of the Rewrite Engines Competitions at the TOOLympics event at ETAPS 2019, Prague, Czech Republic, April 6–7, 2019.

• H. Garavel was one of the six invited speakers at the panel discussion “Moore's Law, and More?” organized at the occasion of the 25th Anniversary of the TACAS conference, Prague, Czech Republic, April 7, 2019.

• H. Garavel gave a highlight talk entitled “From Safe Petri Nets to NUPNs” at the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory, Amsterdam, The Netherlands, August 31, 2019.

• H. Garavel gave a seminar entitled “Converting Safe Petri Nets to NUPNs” at Saarland University, Germany, on September 26, 2019.

• R. Mateescu gave a talk entitled “The MCL Language for Temporal and Probabilistic Analysis of Concurrent Systems” at the Languages, Semantics, and Compilation seminar of the LIP laboratory, Lyon, September 19, 2019.

• R. Mateescu visited the Gran Sasso Science Institute (L'Aquila, Italy) on November 4–7, 2019. He gave a talk entitled “An Action-based Model Checking Language for Concurrent Systems”.

• A. Muroor Nadumane gave a talk entitled “Advanced Rule-based Composition and Deployment for Web of Things” at the Inria-Nokia Bell Labs meeting held at Inria Rennes on June 11, 2019.

Research Administration

• H. Garavel was appointed to the Executive Commission in charge of International Relations at COMUE Université Grenoble Alpes.

• F. Lang is chair of the “Commission du développement technologique”, which is in charge of selecting R&D projects for Inria Grenoble – Rhône-Alpes, and giving an advice on the recruitment of temporary engineers.

• R. Mateescu is the scientific correspondent of the European and International Partnerships for Inria Grenoble – Rhône-Alpes.

• R. Mateescu is a member of the Comité d'orientation scientifique for Inria Grenoble – Rhône-Alpes.

• R. Mateescu is a member of the “Bureau” of the LIG laboratory.

• G. Salaün is a member of the Scientific Committee of the PCS (Pervasive Computing Systems) action of the PERSYVAL Labex.

• W. Serwe is (together with Laurent Lefèvre from the AVALON Inria project-team) correspondent in charge of the 2019 Inria activity reports at Inria Grenoble – Rhône-Alpes.

• W. Serwe is a member of the “Comité de Centre” at Inria Grenoble – Rhone-Alpes.

• W. Serwe is “chargé de mission” for the scientific axis Formal Methods, Models, and Languages of the LIG laboratory.