Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Alain Girault is member of the steering committee of the International Federated Conference on Distributed Computing Techniques (DISCOTEC) and of the ACM International Conference on Embedded Software (EMSOFT).

• Gregor Gössler is member of the steering committee of the International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST).

Member of the Organizing Committees

• Sophie Quinton was part of the organization committee of the 25th International Conference on Real-Time Networks and Systems (RTNS'17).

• Sophie Quinton was co-chair of the 2nd Tutorial on Tools for Real-Time Systems (TuToR'17), held as a satellite event of RTSS'17. http://tutor2017.inria.fr/

• Sophie Quinton was co-organizer of a tutorial entitled “Multicore Architectures in the Automotive Industry: Existing Solutions, Current Problems and Future Challenges” at ESWeek'17. http://2017.rtss.org/industrial-panel/

• Sophie Quinton was the organizer of a industry panel entitled “Beyond the Deadline: New Interfaces Between Control and Scheduling for the Design and Analysis of Critical Embedded Systems” at ESWeek'17. https://team.inria.fr/spades/beyond-the-deadline/

Scientific Events Selection

Chair of Conference Program Committees

• Alain Girault was co-chair of the track “Model-based Design and Verification for Embedded Systems” of the Design Automation and Test in Europe Conference (DATE'17, track E3).

• Sophie Quinton was co-chair of the 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'17), held as a satellite event of ECRTS'17. http://waters2017.inria.fr

Member of the Conference Program Committees

• Alain Girault served in the program committees of the Symposium on Industrial Embedded Systems (SIES'17) and the Forum on specification and Design Languages (FDL'17).

• Gregor Gössler served in the program committees of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'17) and the 2nd international Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST'17).

• Sophie Quinton served in the program committees of the 29th Euromicro Conference on Real-Time Systems (ECRTS'17) and the ACM SIGBED International Conference on Embedded Software (EMSOFT'17).

Journal

Member of the Editorial Boards

• Alain Girault is a member of the editorial board of the Journal on Embedded Systems.

Reviewer – Reviewing Activities

• Alain Girault reviewed articles for IEEE Embedded Systems Letters (ESL), Microprocessors and Microsystems, IEEE Trans. on Industrial Informatics (TII), and ACM Trans. on Embedded Computing Systems (TECS).

• Gregor Gössler reviewed articles for Formal Methods in System Design (FMSD) and Engineering Applications of Artificial Intelligence (EAAI).

Research Administration

• Pascal Fradet is head of the committee for doctoral studies (“Responsable du comité des études doctorales”) of the Inria Grenoble – Rhône-Alpes research center and local correspondent for the young researchers Inria mission (“Mission jeunes chercheurs”).

• Alain Girault is vice-chair of the Inria Evaluation Committee.