VResearch facility · founded 1999VerimagGières, France · www-verimag.imag.frPart of Institut polytechnique de GrenobleFollowManage this pageCitations, last 5 years714Works, last 5 years295h-index151Scientists listed0Grants since 20162OverviewPeople 0Grants 2Departments 0Strongest research topicsFormal Methods in Verification1,420Computer ScienceLogic, programming, and type systems888Computer ScienceEmbedded Systems Design Techniques416Computer ScienceReal-Time Systems Scheduling362Computer SciencePetri Nets in System Modeling332Computer ScienceSoftware Testing and Debugging Techniques300Computer Science