jahier
Send a private message to this author
Articles by this author
Lines Members
Thursday 23 April 2009
Members
Wednesday 22 April 2009
Members
Tuesday 1 December 2020
Members
Wednesday 16 September 2015
Joseph Sifakis elected member of the National Academy of Sciences
Saturday 31 August 2024
Members
Wednesday 16 September 2015
Members
Thursday 23 April 2009
Members
Friday 18 September 2020
Members
Sunday 12 March 2023
by years
Wednesday 16 September 2015
by years
Wednesday 31 December 2025
by years
Friday 18 September 2020
by kinds
Wednesday 31 December 2025
by kinds
Wednesday 7 October 2009
by kinds
Wednesday 16 September 2015
by kinds
Friday 18 September 2020
by kinds
Tuesday 1 December 2020
Presentation
Tuesday 31 March 2009
Whom to contact
Thursday 15 March 2018
Partners
Wednesday 16 September 2015
Partners
Wednesday 16 September 2015
Partners
Friday 18 September 2020
Partners
Tuesday 1 December 2020
How to reach us
Thursday 15 March 2018
Program
Saturday 29 September 2012
by kinds
Wednesday 7 October 2009
by years
Wednesday 7 October 2009
Partners
Thursday 15 March 2018
Partners
Thursday 27 August 2009
Partners
Thursday 27 August 2009
Verimag Seminars
Thursday 30 April 2009
Verimag Seminars before 2009
Thursday 30 April 2009
Cryptology seminars
Wednesday 20 May 2009
Software Analysis seminars
Thursday 21 November 2013
20 years of Verimag, September 26-28, 2012
Saturday 29 September 2012
A press article on Stimulus/Argosim
Wednesday 10 June 2015
An article on Verimag in Minalogic News
Wednesday 7 March 2012
Best paper award for Jannik Dreier
Wednesday 14 December 2011
Best paper award for P. Lafourcade and J. Dreier
Wednesday 10 December 2014
Best paper award for Radu Iosif at CADE 2013
Tuesday 2 July 2013
Best scientific publication prize for Saddek Bensalem
Monday 27 September 2010
David Monniaux, prize winner of the ERC Starting Grants 2012
Saturday 1 December 2012
News
Tuesday 23 May 2017
Papadimitriou’s talk video
Tuesday 29 December 2015
PhD
Tuesday 23 August 2022
Seminar details
Sunday 11 October 2009
Technical Reports
Friday 17 April 2009
UGA applies to IDEX
Monday 11 May 2015
PERSYVAL-Lab Summer School on Cyber-Physical Systems
Saturday 13 July 2013
News and Highlights (all)
Tuesday 23 January 2018
Sorted by year
Wednesday 7 October 2009
Sorted by kinds
Wednesday 7 October 2009
Joseph Sifakis elected at « l’Académie des sciences »
Monday 17 October 2011
by kinds
Wednesday 7 October 2009
A Lecture at collège de France by Matthieu Moy
Sunday 30 March 2014
PERSYVAL Master 2 Scholarships
Tuesday 26 November 2024
Algorithms against democracy?
Sunday 13 August 2017
Verimag takes part to the "fête de la science"
Friday 13 October 2017
Day in honor of Nicolas Halbwachs
Monday 4 June 2018
Engineer position: High Level Models for Low Power Systems
Tuesday 1 December 2020
Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
Tuesday 1 December 2020
Postdoc position: High Level Models for Low Power Systems
Tuesday 1 December 2020
Verimag moves to PILSI in April 2016
Saturday 15 August 2015
Automation: Flying High?
Monday 27 May 2019
A Post-Doc Position at the Tempo group
Saturday 30 December 2017
aadl2sync
Friday 22 January 2010
aadl4ocaml
Friday 22 January 2010
ACES’2008 September 29th, 2008 Toulouse, France
Monday 29 September 2008
actualités (test)
Tuesday 30 May 2017
ADSL 2018
Friday 13 July 2018
Aina Rasoldier
Wednesday 24 August 2022
Akshay Mambakam
Wednesday 24 August 2022
Argosim
Thursday 17 April 2014
ARTIST2 Summer School 2008 in Europe, Sept 8-12, 2008 (Autrans, France)
Friday 12 September 2008
ArtistDesign
Sunday 18 December 2011
Aspic
Tuesday 9 February 2010
AVM 2014
Thursday 15 May 2014
BEeSy 2015
Thursday 16 April 2015
bibtex
Thursday 17 September 2009
Bob AUBOUIN-PAIRAULT
Tuesday 31 December 2024
CAV 2009 June 26 - July 2, Grenoble, France
Thursday 2 July 2009
CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS
Thursday 23 March 2023
COMON
Sunday 1 April 2012
Coopération Argosim
Tuesday 6 February 2029
CORTOS
Monday 25 May 2009
Daniel DE CARVALHO
Tuesday 31 December 2024
Directeur de l’ensimag
Sunday 11 June 2017
Doctorat Honoris Causa UGA pour Moshe Vardi
Saturday 28 December 2019
EMSOFT 2009 October 12 - 16, Grenoble, France
Sunday 18 October 2009
Etienne BOESPFLUG
Saturday 31 December 2022
Experienced engineer wanted (compiler frontend / GUIs)
Tuesday 1 December 2020
FAC 2014
Friday 11 July 2014
FADEX 2016
Tuesday 5 July 2016
FIMCP 2013, May 2nd, Marrakech
Friday 3 May 2013
FORMATS 2014
Thursday 11 September 2014
FORMATS 2015
Friday 4 September 2015
Hadi DAYEKH
Tuesday 31 December 2024
Hamzah Al-Qadasi
Tuesday 5 August 2025
HSB 2014
Friday 25 July 2014
IF Toolset
Monday 31 December 2029
Ihab ALSHAER
Thursday 30 November 2023
Joseph Sifakis honorary member of AAAS
Wednesday 12 August 2015
Journée thématique Verimag : Many-core Kalray MPPA, implementation et verification
Thursday 4 July 2019
La science taille XX’Elles
Monday 13 December 2021
Lucas BUERI
Tuesday 31 December 2024
Lustre V6
Wednesday 15 July 2009
M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)
Tuesday 1 December 2020
Matheus Schuh
Tuesday 2 August 2022
Minalogic : Argosim à la une
Monday 29 February 2016
P2R Bioinformatique
Thursday 24 December 2009
PACSS (Archive)
Wednesday 3 February 2021
Paul Caspi
Monday 1 October 2012
Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability
Tuesday 1 December 2020
PhD position in Program Verification
Sunday 15 March 2015
Post-Doctoral Position on Software Vulnerabilities Analysis
Friday 2 October 2009
Potential CIFRE PhD: Hardened circuits for critical applications
Tuesday 1 December 2020
Probabilistic Methods for Routing in Wireless Sensor Network
Thursday 17 June 2010
Probabilistic Methods for Routing in Wireless Sensor Network
Tuesday 1 December 2020
RDBG
Wednesday 19 March 2014
Research engineer position on Model transformation for design and validation of embedded systems
Friday 2 October 2009
RSD (Archive)
Wednesday 3 February 2021
SASA
Monday 3 February 2020
Silent Self-Stabilizing Algorithms: Certification Using Coq
Tuesday 1 December 2020
Soline Ducousso
Wednesday 24 August 2022
SpaceEx: the State Space Explorer
Wednesday 1 July 2015
ss2lus
Friday 29 January 2010
Susanne Graf received the 2022 CAV Award
Tuesday 20 December 2022
Synchron 2019
Friday 29 November 2019
Synchrone (Archive)
Wednesday 3 February 2021
Synchronics
Monday 17 September 2012
Tayeb Bouhadiba
Thursday 25 November 2010
Technical Reports
Monday 19 October 2009
TEMPO (Archive)
Wednesday 3 February 2021
The Synchrone Reactive Toolbox
Monday 22 January 2018
The Synchronous Language Lustre
Friday 2 October 2015
Thomas Mari
Wednesday 24 August 2022
Thomas Vigouroux
Tuesday 31 December 2024
Tobias Rosenberger
Wednesday 24 August 2022
Understanding and Changing the World, From Information to Knowledge and Intelligence
Thursday 29 September 2022
Vincent Morice
Wednesday 24 August 2022
WFAC’2008 - October 19th, 2008 - Atlanta, Georgia (USA)
Sunday 19 October 2008
xxx
Monday 21 September 2009
xxx
Tuesday 23 January 2018
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Monday 19 October 2020
xxx
Tuesday 1 December 2020
xxxx un faux article caché
Monday 5 October 2015
Ye Xiang
Wednesday 24 August 2022
[funded PhD] avanced static analysis techniques
Tuesday 1 December 2020
[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs
Tuesday 1 December 2020
[M1 2013-2014] Distributed Simulation for Embedded Systems
Tuesday 1 December 2020
[M1 2013-2014] Parallel programming in modeling of embedded systems
Tuesday 1 December 2020
[M2R 2012-2013] Dedicated compilation techniques for a domain-specific language (SystemC)
Tuesday 1 December 2020
[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations
Tuesday 1 December 2020
[M2R 2012-2013] Analyse modulaire de programmes
Tuesday 1 December 2020
[M2R 2012-2013] Borner le temps maximum d’exécution par analyse statique
Tuesday 1 December 2020
[M2R 2012-2013] Contraintes non linéaires
Tuesday 1 December 2020
[M2R 2012-2013] Décision de formules contenant des flottants
Tuesday 1 December 2020
[M2R 2012-2013] Optimisation de formules SMT
Tuesday 1 December 2020
[M2R 2012-2013] Preuve automatique de programmes
Tuesday 1 December 2020
[M2R 2012-2013] Preuve de programmes avec des structures de données
Tuesday 1 December 2020
[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks
Tuesday 1 December 2020
[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks
Tuesday 1 December 2020
[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods
Tuesday 1 December 2020
[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions
Tuesday 1 December 2020
[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks
Tuesday 1 December 2020
[postdoc] Advanced static analysis
Tuesday 1 December 2020
[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces
Tuesday 1 December 2020
