Service & Responsibilities


 Program Committees memberships:

RUME 2018, VORTEX’18, 4PAD’18, RV’18, TASE’18, DATE’18, CRI’17, MSR’17, RV-CuBES, RV’17, RW-BRMS’17, TASE 2017, iFM 2017, PDP 2017, DATE 2017 – Topic E3, CARI 2016, SSS’16, RV’16 (PC chair), Pre-Post’16, SAC-SVT’16, CRI’15, MSR’15, IPAC’15, PCODA’15, RV’15, SAC-SVT’15, SecTest’14, CSRV’14, FORTE’14, RV’14 (main track), RV’14 (tool track), RV’13, MSR’13, SecTest’13, Isola’12, RV’12, SecTest’12, SERP’11, RV’09.

Review for international journals and conferences:

  • Journals: I have been involved in reviewing for the following journals:
    Journal of Logical and Algebraic Methods in Programming, Distributed ComputingACM Transactions on Software Engineering and Methodology (TOSEM)Formal Aspects of Computing, ACM Transactions on Automatic and Control, Acta Informatica, Formal Methods in System Design, International Journal of Information and Computer Security, Science of Computer Programming, Software Tools for Technology Transfer, Journal of Systems and Software, ACM Transaction on Aspect-Oriented Development, The Computer Journal, ACM Transactions on Information and System Security, Elsevier Computer Review, Software Testing, Verification and Reliability.
  • Conferences (in addition to PC memberships):
    TACAS 2017, NFM 2016ASE 2015, OOPSLA 2015, FM 2015, CAV 2015DAC 2015, DATE 2015, CAV 2014, MBT 2014, SAC-SVT 2014, DATE 2014, SSS 2013, SecTest 2013, FM 2012, ICST 2012, DATE 2012, ICFEM 2011, HSCC 2011, FASE 2011, WoDES 2010, VECoS 2010, TASE 2010, CAV 2009, RV 2008.

Review for projects:

  • American University of Beirut projects (2015),
  • Icelandic Center for Research projects (2014),
  • American University of Beirut projects (2014),
  • ANRT Ph.D. Grant (2013),
  • ANR (French NSF) Grants (2013).


Reviewing and examining thesis:

  • University of Malta, Master thesis of Ian Cassar (2015) — reviewer,
  • Université du Quebec à Chicoutimi (UQAC), Ph.D. thesis of Eric Lupaud Ngoupé (2015) — reviewer,
  • University of Illinois at Chicago, Ph.D. thesis of Modhy Alsobeihy (2015) — examiner,
  • University of Malta, Master thesis of Gabriel Dimech (2014) — reviewer,
  • Université du Quebec à Chicoutimi (UQAC), Master thesis of Simon Varvaressos (2014) — reviewer.

Contributions to the organisation of scientific events:

  • SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software (Publicity Chair) – link.
  • IsoLA 2016 (co-organization with Lenore E. Bartocci) for the track on “Runtime Verification and Enforcement: the Application Perspective” – link,
  • RV 2016, the 16th international conference on Runtime Verification (PC Chair)link.
  • CRV 2016, the 3rd international Competition on Runtime Verification (Chair)link.
  • CRV 2015, the 2nd international Competition on Runtime Verification (Chair) – link.
  • Summer School on Cyber-Physical Systems 2014 (Chair) – link,
  • RV 2014 (chair of the publicity committee) – link,
  • CSRV 2014, the 1st International Competition on Software for Runtime Verification (co-Chair) – link,
  • ETAPS 2014 (Publicity chair and assisting the general Organization chair) – link,
  • MAROC 2013 (organization committee and PC co-chair) – link,
  • Summer School on Cyber-Physical Systems 2013 – link,
  • IsoLA 2012 (co-organization with Lenore D. Zuck) for the track on “Runtime Verification: the Application Perspective” – link,
  • AFADL’12 (Organization committee) – link,
  • RV’10 (Publicity Chair),
  • CAV’09 (Organization committee) – link,
  • VVPS’09 (Web).

International relations:

  • Managing the relation with ENSA Tétouan, Morocco: organized a Memorandum of Understanding, leader of a common project for professor exchanges funded by the French and Moroccan governments.
  • 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: TACAS 2014, CPS Summer School 2013, ISoLA 2012, AFADL 2012, HOWARD’60.

Administrative duties:

  • Elected member of the Laboratory council (2016 – ongoing)
  • Co-responsible of the first year of the International Master in Computer Science – MoSIG (2014 – ongoing).
  • Mission Valorisation for LIG (2014 – ongoing).
  • Member of the educational board of Persyval-lab (2012 – 2014).
  • Verimag Lab Council: representative of PhD students (2008 – 2009).
  • Verimag DCS Website (2007-2008).
 Posted by at 8:56 AM

Sorry, the comment form is closed at this time.