Team Pop Art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Scientific community

P. Fradet participates in the program committees of RV'09 ( International Workshop on Runtime Verification ) and FOAL'09 ( Foundations of Aspect-Oriented Languages Workshop ).

A. Girault co-chaired the programme committee of SLA++P'08, the workshop on Model-driven High-level Programming of Embedded Systems, co-located with ETAPS'08, and served in the programme committee of the DATE'08 Conference (DATE'08: http://www.date-conference.com ). He was PhD assessor for the jury of Julien Boucaron (University of Nice).

A. Girault and E. Rutten co-chaired SLA++P'08, the workshop on Model-driven High-level Programming of Embedded Systems, co-located with ETAPS'08  [27] . They are co-editors, with F. Maraninchi, M. Mendler, and M. Pouzet, of the special issue of the Journal on Embedded Systems publishing selected papers from SLA++P'07 and SLA++P'08”  [28] .

G. Goessler is a guest editor of a special issue of EURASIP Journal on Embedded Systems on “Formal Techniques for Embedded Systems Design and Validation”. He was also member of the PhD committees of J.-B. Raclet (U. Rennes/IRISA) and R. Sinha (U. Auckland).

E. Rutten is co-editor, with J.-M. Muller and E. Niel, of the special issue of the JUCS Journal on “Interactions of discrete-event automation and computer sciences”  [29] . He participated in the program committee of the Workshop on Adaptive and Reconfigurable Embedded Systems APRES'08 (APRES'08: http://www.artist-embedded.org/artist/APRES08.html ), co-located with IEEE RTAS'08 at CPSWEEK. He is in charge of coordination between INRIA and CEA-DRT on Systems-on-Chip. He was member of the PhD committee of S. Taha (U. Lille 1/CEA-LIST). He is a member of the Commission de spécialistes (recruiting commitee) at the Universities of Brest (UBO) and Lille-1.


previous
next

Logo Inria