jahier
Envoyer un message privé à cet auteur
Articles de cet auteur
Les membres de l’axe
jeudi 23 avril 2009
Membres
mercredi 22 avril 2009
Membres
mardi 1er décembre 2020
Membres
mercredi 16 septembre 2015
Joseph Sifakis élu membre de la National Academy of Sciences
samedi 31 août 2024
Membres
mercredi 16 septembre 2015
Membres
jeudi 23 avril 2009
Membres
vendredi 18 septembre 2020
Membres
dimanche 12 mars 2023
par années
mercredi 16 septembre 2015
par années
mercredi 31 décembre 2025
par années
vendredi 18 septembre 2020
par types
mercredi 31 décembre 2025
par types
mercredi 7 octobre 2009
par types
mercredi 16 septembre 2015
par types
vendredi 18 septembre 2020
par types
mardi 1er décembre 2020
Présentation
mardi 31 mars 2009
Qui contacter
jeudi 15 mars 2018
Partenaires
mercredi 16 septembre 2015
Partenaires
mercredi 16 septembre 2015
Partenaires
vendredi 18 septembre 2020
Partenaires
mardi 1er décembre 2020
Venir à Verimag
jeudi 15 mars 2018
Programme
samedi 29 septembre 2012
par types
mercredi 7 octobre 2009
par années
mercredi 7 octobre 2009
Partenaires
jeudi 15 mars 2018
Partenaires
jeudi 27 août 2009
Partenaires
jeudi 27 août 2009
Séminaires Verimag
jeudi 30 avril 2009
Séminaires Verimag avant 2009
jeudi 30 avril 2009
Séminaires Cryptologie
mercredi 20 mai 2009
Séminaires Analyse de logiciel
jeudi 21 novembre 2013
20 ans de Verimag, 26-28 Septembre 2012
samedi 29 septembre 2012
Un article de presse sur Stimulus/Argosim
mercredi 10 juin 2015
Un article sur Verimag dans les actualités Minalogic
mercredi 7 mars 2012
Prix du meilleur article pour Jannik Dreier
mercredi 14 décembre 2011
Prix du meilleur article pour P. Lafourcade et J. Dreier
mercredi 10 décembre 2014
Prix du meilleur article CADE 2013 pour Radu Iosif
mardi 2 juillet 2013
Prix de la meilleure publication scientifique pour Saddek Bensalem
lundi 27 septembre 2010
David Monniaux, lauréat des ERC Starting Grants 2012
samedi 1er décembre 2012
Actualités
mardi 23 mai 2017
video de l’exposé de Papadimitriou
mardi 29 décembre 2015
Thèse
mardi 23 août 2022
Détails sur le séminaire
dimanche 11 octobre 2009
Rapports Techniques
vendredi 17 avril 2009
L’UGA candidate à l’IDEX
lundi 11 mai 2015
École d’été PERSYVAL-Lab sur les systèmes cyber-physiques
samedi 13 juillet 2013
Actualités et faits marquants
mardi 23 janvier 2018
Classées par années
mercredi 7 octobre 2009
Classées par types
mercredi 7 octobre 2009
Joseph Sifakis élu à l’Académie des sciences
lundi 17 octobre 2011
par types
mercredi 7 octobre 2009
Séminaire au collége de France par Matthieu Moy
dimanche 30 mars 2014
Bourses PERSYVAL de M2
mardi 26 novembre 2024
Des algorithmes contre la démocratie ?
dimanche 13 août 2017
Verimag participe à la fête de la science
vendredi 13 octobre 2017
Journée en l’honneur de Nicolas Halbwachs
lundi 4 juin 2018
Poste d’ingénieur : Modèles de haut niveau pour systèmes basse consommation
mardi 1er décembre 2020
Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée
mardi 1er décembre 2020
Offre de post-doctorat : Modèles de haut niveau pour systèmes basse consommation
mardi 1er décembre 2020
Verimag déménage à PILSI en avril 2016
samedi 15 août 2015
Automatisation : y aura-t-il un pilote dans l’avion ?
lundi 27 mai 2019
A Post-Doc Position at the Tempo group
samedi 30 décembre 2017
aadl2sync
vendredi 22 janvier 2010
aadl4ocaml
vendredi 22 janvier 2010
ACES’2008 September 29th, 2008 Toulouse, France
lundi 29 septembre 2008
actualités (test)
mardi 30 mai 2017
ADSL 2018
vendredi 13 juillet 2018
Aina Rasoldier
mercredi 24 août 2022
Akshay Mambakam
mercredi 24 août 2022
Argosim
jeudi 17 avril 2014
ARTIST2 Summer School 2008 in Europe, Sept 8-12, 2008 (Autrans, France)
vendredi 12 septembre 2008
ArtistDesign
dimanche 18 décembre 2011
Aspic
mardi 9 février 2010
AVM 2014
jeudi 15 mai 2014
BEeSy 2015
jeudi 16 avril 2015
bibtex
jeudi 17 septembre 2009
Bob AUBOUIN-PAIRAULT
mardi 31 décembre 2024
CAV 2009 June 26 - July 2, Grenoble, France
jeudi 2 juillet 2009
CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS
jeudi 23 mars 2023
COMON
dimanche 1er avril 2012
Coopération Argosim
mardi 6 février 2029
CORTOS
lundi 25 mai 2009
Daniel DE CARVALHO
mardi 31 décembre 2024
Directeur de l’ensimag
dimanche 11 juin 2017
Doctorat Honoris Causa UGA pour Moshe Vardi
samedi 28 décembre 2019
EMSOFT 2009 October 12 - 16, Grenoble, France
dimanche 18 octobre 2009
Etienne BOESPFLUG
samedi 31 décembre 2022
Experienced engineer wanted (compiler frontend / GUIs)
mardi 1er décembre 2020
FAC 2014
vendredi 11 juillet 2014
FADEX 2016
mardi 5 juillet 2016
FIMCP 2013, May 2nd, Marrakech
vendredi 3 mai 2013
FORMATS 2014
jeudi 11 septembre 2014
FORMATS 2015
vendredi 4 septembre 2015
Hadi DAYEKH
mardi 31 décembre 2024
Hamzah Al-Qadasi
mardi 5 août 2025
HSB 2014
vendredi 25 juillet 2014
IF Toolset
lundi 31 décembre 2029
Ihab ALSHAER
jeudi 30 novembre 2023
Joseph Sifakis membre honoraire de l’AAAS
mercredi 12 août 2015
Journée thématique Verimag : Many-core Kalray MPPA, implementation et verification
jeudi 4 juillet 2019
La science taille XX’Elles
lundi 13 décembre 2021
Lucas BUERI
mardi 31 décembre 2024
Lustre V6
mercredi 15 juillet 2009
M2R : Timing analysis (WCET) of multi-core TDMA bus (2015-2016)
mardi 1er décembre 2020
Matheus Schuh
mardi 2 août 2022
Minalogic : Argosim à la une
lundi 29 février 2016
P2R Bioinformatique
jeudi 24 décembre 2009
PACSS (Archive)
mercredi 3 février 2021
Paul Caspi
lundi 1er octobre 2012
Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability
mardi 1er décembre 2020
PhD position in Program Verification
dimanche 15 mars 2015
Post-Doctoral Position on Software Vulnerabilities Analysis
vendredi 2 octobre 2009
Potential CIFRE PhD : Hardened circuits for critical applications
mardi 1er décembre 2020
Probabilistic Methods for Routing in Wireless Sensor Network
jeudi 17 juin 2010
Probabilistic Methods for Routing in Wireless Sensor Network
mardi 1er décembre 2020
RDBG
mercredi 19 mars 2014
Research engineer position on Model transformation for design and validation of embedded systems
vendredi 2 octobre 2009
RSD (Archive)
mercredi 3 février 2021
SASA
lundi 3 février 2020
Silent Self-Stabilizing Algorithms : Certification Using Coq
mardi 1er décembre 2020
Soline Ducousso
mercredi 24 août 2022
SpaceEx : l’explorateur d’espace d’états
mercredi 1er juillet 2015
ss2lus
vendredi 29 janvier 2010
Susanne Graf a recu le prix CAV 2022
mardi 20 décembre 2022
Synchron 2019
vendredi 29 novembre 2019
Synchrone (Archive)
mercredi 3 février 2021
Synchronics
lundi 17 septembre 2012
Tayeb Bouhadiba
jeudi 25 novembre 2010
Technical Reports
lundi 19 octobre 2009
TEMPO (Archive)
mercredi 3 février 2021
The Synchrone Reactive Toolbox
lundi 22 janvier 2018
The Synchronous Language Lustre
vendredi 2 octobre 2015
Thomas Mari
mercredi 24 août 2022
Thomas Vigouroux
mardi 31 décembre 2024
Tobias Rosenberger
mercredi 24 août 2022
Understanding and Changing the World, From Information to Knowledge and Intelligence
jeudi 29 septembre 2022
Vincent Morice
mercredi 24 août 2022
WFAC’2008 - October 19th, 2008 - Atlanta, Georgia (USA)
dimanche 19 octobre 2008
xxx
lundi 21 septembre 2009
xxx
mardi 23 janvier 2018
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
lundi 19 octobre 2020
xxx
mardi 1er décembre 2020
xxxx un faux article caché
lundi 5 octobre 2015
Ye Xiang
mercredi 24 août 2022
[funded PhD] avanced static analysis techniques
mardi 1er décembre 2020
[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs
mardi 1er décembre 2020
[M1 2013-2014] Distributed Simulation for Embedded Systems
mardi 1er décembre 2020
[M1 2013-2014] Parallel programming in modeling of embedded systems
mardi 1er décembre 2020
[M2R 2012-2013] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)
mardi 1er décembre 2020
[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations
mardi 1er décembre 2020
[M2R 2012-2013] Analyse modulaire de programmes
mardi 1er décembre 2020
[M2R 2012-2013] Borner le temps maximum d’exécution par analyse statique
mardi 1er décembre 2020
[M2R 2012-2013] Contraintes non linéaires
mardi 1er décembre 2020
[M2R 2012-2013] Décision de formules contenant des flottants
mardi 1er décembre 2020
[M2R 2012-2013] Optimisation de formules SMT
mardi 1er décembre 2020
[M2R 2012-2013] Preuve automatique de programmes
mardi 1er décembre 2020
[M2R 2012-2013] Preuve de programmes avec des structures de données
mardi 1er décembre 2020
[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks
mardi 1er décembre 2020
[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks
mardi 1er décembre 2020
[Master 2R 2014-2015] Évaluation de performances pour les systèmes embarqués avec des méthodes formelles
mardi 1er décembre 2020
[MASTER 2] Performance Evaluation for Embedded Systems : Between Computational Simulation and Mathematical Solutions
mardi 1er décembre 2020
[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks
mardi 1er décembre 2020
[postdoc] Advanced static analysis
mardi 1er décembre 2020
[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces
mardi 1er décembre 2020
