PostDoc Researcher
  • University Grenoble-Alpes, France
  • VERIMAG Lab. Office 218
  • Bâtiment IMAG, 700 Avenue Centrale
  • 38400 Saint-Martin-d’Hères



University of Grenoble Alpes
2018 - Present

Grant agreement ID: 780089


BRAIN-IoT aims at establishing a framework and methodology that supports smart autonomous and cooperative behaviors of heterogeneous IoT platforms that are interacting with Cyber-Physical systems (CPS).


  • BIP Language support for Eclipse
  • Transformation tool from BIP to JAVA
  • Wrapping Java code in OSGi enRoute bundles
  • Statistical model checking of BIP models

Technologies used:

  • Java
  • OSGi enRoute
  • XText
  • Maven
  • Eclipse Plug-in
  • BIP language

SysML Acivity and State Machine Diagram into PRISM language

Concordia University
2012 - 2016


  • PRISM Language support for Eclipse
  • Transformation tool from SysML Acivity and state machine diagram into PRISM language
  • Verification applied over the generated PRISM code

Technologies used:

  • Java
  • PRISM language
  • XText
  • SysML Papyrus
  • Eclipse Plug-in