Imag - www-verimag.imag.fr - Verimag
General Information:
Latest News:
PhD position 2013-2016 available: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of hardwa... 15 Jul 2013 | 06:51 pm
An Open Phd Position (2013-2016) at the Synchrone group at VERIMAG, Grenoble Keywords: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of ha...
Master Scholarships for the academic year 2013-2014 31 May 2013 | 02:22 pm
[fr] L'Université de Grenoble, à travers son laboratoire d'excellence (labex) Persyval-lab, lance un programme de bourses de Master pour attirer les excellents candidats pour la deuxième année de ses ...
[Funded PhD] Safe Contract-Based Design of Cyber-Physical Systems 24 May 2013 | 05:47 pm
VERIMAG and INRIA, Grenoble, France - Jobs and Internships
Post-Doc Position at VERIMAG 4 Dec 2012 | 10:07 pm
The timed and hybrid systems group at VERIMAG is looking for a post-doc/engineer. Mission: Develop and implement monitoring algorithms for temporal logic defined over continuous signals, inspired by t...
[M2R 2012-2013] Borner le temps maximum d'exécution par analyse statique 10 Oct 2012 | 05:02 pm
Laboratoire: Verimag () Équipe: SYNCHRONE () Encadrants: David Monniaux David.Monniaux imag.fr]>, Claire Maïza Claire.Maiza imag.fr]>. Contexte Scientifique Dans les parties critiques des avions et de...
Karine Altisen 9 Jul 2012 | 05:56 pm
Karine Altisen Subjects for Master Internship (M2R, M1) Performance Evaluation for Embedded Systems using Formal Methods Publications Research Activities Probabilistic Methods for Routing Algorithms i...
COMON 1 Apr 2012 | 08:31 pm
An engineering chain for nuclear control-command. - Projects / sync, projet, Atos Origin, Corys TESS, Rolls-Royce Civil Nuclear, menu, Minalogic, La Métro, Ville de Grenoble, Fonds Unique Interminis...
FLATA-C 6 Mar 2012 | 09:48 pm
FLATA-C is static-analysis front-end, implemented as a FRAMA-C plugin, that aims at extracting Numerical Transition System models from C programs with low-level pointer updates such as e.g.: allocatio...
A Statistical Model Checker for BIP framework 21 Apr 2011 | 06:59 pm
A first statistical Model checker prototype for BIP framework. - BIP Tools / dcs, These
Real-Time Engine 18 Mar 2010 | 12:02 pm
This activity focuses on providing methodologies for implementing real-time applications using BIP. - Activities
