Service

 PC membership:

RV’13, MSR 2013, SecTest’13, Isola’12, RV’12, SecTest’12, SERP’11, RV’09.

Review:

• Journals: ACM Transaction on Aspect-Oriented Development, The Computer Journal, ACM Transaction on Information and System Security, Elsevier Computer Review.
• Conferences: RV’13, MSR 2013, SecTest’13, Isola’12, RV’12, FM’12, ICST’12, DATE’12, ICFEM’11, HSCC’11, FASE’11, SERP’11, WoDES’10, VECoS’2010, TASE’10, CAV’09, RV’09, RV’08.
• Misc.: ANR (French NSF) Grants 2013.

Organizing:

• ETAPS 2014 (Publicity chair and assisting the general Organization chair),
• IsoLA’12 (co-organization with Lenore D. Zuck) for the track on “Runtime Verification: the Application Perspective”,
• AFADL’12 (Organization comittee),
• RV’10 (Publicity chair),
• CAV’09 (Organization comittee),
• VVPS’09 (Web).

International relations:

• Representing University of Grenoble I (UJF) at Pontificia Universidad Javeriana (July 2012),
• Representing University of Grenoble I (UJF) at the Galatasaray consortium, Istanbul, Turkey (Nov. 2011),
• Establishing research collaborations between University of Grenoble 1 (UJF) and Galatasaray University (Istanbul, Turkey).

Session chairing: IsoLA 2012, AFADL 2012, HOWARD’60.

Administrative duties:

• Member of the educational board of Persyval-lab.
• Verimag Lab Council: representative of PhD students (2008-2009).
• Verimag DCS Website (2007-2008).