Imag - www-verimag.imag.fr - Verimag

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

Related Keywords:

cmp, base de données, truffaut, oar, imag, ljk, personnal, adele wiki, eclipse.ini -vm

Recently parsed news:

Recent searches: