sync
info dans groupe team
info articles lies mot
Articles
5 postes d’ATER à temps plein
Wednesday 16 May 2018
by Florence Maraninchi
9 avril 2020 Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
Friday 10 April 2020
by Florence Maraninchi
Engineer position: High Level Models for Low Power Systems
Tuesday 15 March 2011
by moy
Engineer position: High Level Models for Low Power Systems
Tuesday 1 December 2020
by jahier
Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
Friday 30 September 2016
by moy
Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
Tuesday 1 December 2020
by jahier
Postdoc position: High Level Models for Low Power Systems
Tuesday 15 March 2011
by Florence Maraninchi
Postdoc position: High Level Models for Low Power Systems
Tuesday 1 December 2020
by jahier
aadl2sync
Friday 22 January 2010
by jahier, invite
aadl4ocaml
Friday 22 January 2010
by jahier
Airbus Helicopters
Wednesday 31 October 2018
by Florence Maraninchi
ALIDECS
Sunday 23 December 2007
by Florence Maraninchi
APRON
Monday 24 December 2007
ARESA
Wednesday 30 September 2009
ARESA2
Tuesday 13 August 2013
by Florence Maraninchi
Argos and Larissa
Wednesday 31 December 2008
by Florence Maraninchi
ArtistDesign
Sunday 18 December 2011
by jahier
ASOPT
Monday 24 December 2012
Aspic
Tuesday 9 February 2010
by jahier
ASSERT
Thursday 24 January 2008
BDDC v2
Wednesday 31 December 2008
Best Student Paper Award in SSS’2013
Sunday 19 January 2014
by stef
CAPACITES
Wednesday 31 May 2017
by moy
CASERM
Tuesday 31 December 2019
by graf
CESyMPA
Wednesday 31 December 2014
by Florence Maraninchi
COMON
Sunday 1 April 2012
by jahier
Coopération Argosim
Tuesday 6 February 2029
by jahier
CORTOS
Monday 25 May 2009
by jahier
CRISYS
Monday 24 December 2001
CTRC
Wednesday 28 December 2016
by graf
DACRAW
Saturday 27 February 2016
by karine, devismes
Decision Procedure for Equivalence Relations
Sunday 30 August 2020
by karine
Experienced engineer wanted (compiler frontend / GUIs)
Thursday 8 August 2013
by monniaux
Experienced engineer wanted (compiler frontend / GUIs)
Tuesday 1 December 2020
by jahier
FoToVP
Thursday 24 December 2009
Full MDE
Friday 22 June 2012
by graf
Funded PhD position 2013-2016 available: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of hardware/software systems
Wednesday 17 July 2013
by Florence Maraninchi
HELP
Sunday 30 June 2013
by Florence Maraninchi
IoIT
Monday 31 December 2018
by stef
Kalray
Friday 30 November 2018
by moy
Karine Altisen
Saturday 9 July 2016
by karine
LIBTLMPWT
Tuesday 17 December 2013
by moy
Lurette
Wednesday 31 December 2008
Lustre V6
Wednesday 15 July 2009
by jahier
Lutin
Wednesday 31 December 2008
M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)
Monday 1 February 2016
by moy
M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)
Tuesday 1 December 2020
by jahier
Models of Distributed Algorithms
Friday 16 October 2020
by karine, Devismes, Pierre Corbineau
Multi-core interference Analysis
Tuesday 30 January 2018
by Claire Maiza
New Book: Introduction to Distributed Self-Stabilizing Algorithms
Wednesday 16 October 2019
by stef
NextTTA
Friday 24 December 2004
OMEGA
Friday 16 December 2005
by graf
OpenEmBeDD
Saturday 16 May 2009
by graf
OpenES
Friday 30 September 2016
by Florence Maraninchi
openTLM
Friday 24 December 2010
Orange Labs
Monday 31 October 2016
by Florence Maraninchi
PADEC
Friday 1 January 2016
by Devismes, karine
Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability
Thursday 17 June 2010
by karine
Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability
Tuesday 1 December 2020
by jahier
PerSiForm
Wednesday 16 April 2008
by graf
Pinapa
Friday 3 July 2009
by Florence Maraninchi
PinaVM
Wednesday 25 March 2015
by moy
Potential CIFRE PhD: Hardened circuits for critical applications
Tuesday 1 December 2020
by jahier
Probabilistic Methods for Routing in Wireless Sensor Network
Thursday 17 June 2010
by jahier
Probabilistic Methods for Routing in Wireless Sensor Network
Tuesday 1 December 2020
by jahier
Proofer
Thursday 24 January 2008
RDBG
Wednesday 19 March 2014
by jahier
Reglo
Wednesday 31 December 2008
by Florence Maraninchi
RISE
Friday 24 December 2004
SafeAir II
Friday 24 December 2004
SASA
Monday 3 February 2020
by jahier
sc-during
Tuesday 17 December 2013
by moy
SCRV
Friday 3 July 2009
by Florence Maraninchi
Self-Stabilization in TVG
Thursday 10 September 2020
by karine, stef
SPEEDS
Thursday 15 December 2011
by graf
SR3 : Secure Resilient and Reputation-based Routing
Wednesday 23 September 2015
by moy
ss2lus
Friday 29 January 2010
by jahier
STMicroelectronics
Tuesday 31 October 2017
by moy
STMicroelectronics
Monday 31 January 2022
by Florence Maraninchi
Synchronics
Monday 17 September 2012
by jahier
SYRF
Monday 24 January 2000
Terra
Sunday 10 December 2023
by gerbaud
The Lustre V4 Toolbox
Tuesday 23 December 2008
The Synchrone Reactive Toolbox
Monday 22 January 2018
by jahier
W-SEPT
Saturday 31 December 2016
by raymond, Claire Maiza
[funded PhD] avanced static analysis techniques
Friday 1 November 2013
by monniaux
[funded PhD] avanced static analysis techniques
Tuesday 1 December 2020
by jahier
[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs
Monday 1 April 2013
by moy
[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs
Tuesday 1 December 2020
by jahier
[M1 2013-2014] Distributed Simulation for Embedded Systems
Tuesday 1 April 2014
by moy
[M1 2013-2014] Distributed Simulation for Embedded Systems
Tuesday 1 December 2020
by jahier
[M1 2013-2014] Parallel programming in modeling of embedded systems
Tuesday 1 April 2014
by moy
[M1 2013-2014] Parallel programming in modeling of embedded systems
Tuesday 1 December 2020
by jahier
[M1 internship] Modeling of Graph Topologies Using Coq
Sunday 16 September 2018
by karine, Devismes, Pierre Corbineau
[M2R 2012-2013] Dedicated compilation techniques for a domain-specific language (SystemC)
Tuesday 1 April 2014
by moy
[M2R 2012-2013] Dedicated compilation techniques for a domain-specific language (SystemC)
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations
Tuesday 1 January 2013
by monniaux
[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Analyse modulaire de programmes
Tuesday 1 January 2013
by monniaux
[M2R 2012-2013] Analyse modulaire de programmes
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Annotation automatique de préconditions, application à la compilation optimisante
Friday 1 February 2013
by monniaux
[M2R 2012-2013] Calcul de pire temps d’exécution en présence de caches
Friday 1 February 2013
by monniaux
[M2R 2012-2013] Contraintes non linéaires
Friday 1 February 2013
by monniaux
[M2R 2012-2013] Contraintes non linéaires
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Décision de formules contenant des flottants
Friday 1 February 2013
by monniaux
[M2R 2012-2013] Décision de formules contenant des flottants
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Optimisation de formules SMT
Friday 1 February 2013
by monniaux
[M2R 2012-2013] Optimisation de formules SMT
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Preuve automatique de programmes
Friday 1 February 2013
by moy
[M2R 2012-2013] Preuve automatique de programmes
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Preuve de programmes avec des structures de données
Wednesday 13 February 2013
by monniaux
[M2R 2012-2013] Preuve de programmes avec des structures de données
Tuesday 1 December 2020
by jahier
[M2R 2012-2013] Programmation linéaire modulo disjonctions
Friday 1 February 2013
by monniaux
[M2R-2013-2014] Semantic analysis of programs for evaluating their worst-case execution time
Tuesday 24 June 2014
by Claire Maiza
[Magistère M1/M2, M2R] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networs
Saturday 30 September 2017
by karine, devismes
[Master (M2R) 2014-2015] Timing analysis of multi-core TDMA bus
Tuesday 16 June 2015
by Claire Maiza
[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks
Saturday 15 October 2011
by Florence Maraninchi
[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks
Tuesday 1 December 2020
by jahier
[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks
Thursday 16 February 2012
by karine, stef
[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks
Tuesday 1 December 2020
by jahier
[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
Tuesday 30 April 2013
by karine, Devismes
[Master 2R 2012-2013] Semantic analysis for worst-case execution time analysis
Friday 1 March 2013
by raymond, Claire Maiza
[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems
Wednesday 8 October 2014
by karine, Devismes
[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods
Tuesday 15 July 2014
by karine, moy
[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods
Tuesday 1 December 2020
by jahier
[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions
Friday 15 July 2011
by karine
[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions
Tuesday 1 December 2020
by jahier
[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks
Friday 15 July 2011
by karine
[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks
Tuesday 1 December 2020
by jahier
[Master] Multi-core Interference analysis and Global Scheduling
Wednesday 31 August 2022
by Lionel Rieg, Claire Maiza
[Post Doc] Early simulation of System-on-a-Chip : SystemC/TLM and more
Monday 12 January 2015
by moy
[Post doc] Parallel implementations of discrete-event simulators
Sunday 1 February 2015
by moy
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
by karine, stef, boulme, monniaux, Pierre Corbineau
[postdoc] Advanced static analysis
Tuesday 6 August 2013
by monniaux
[postdoc] Advanced static analysis
Tuesday 1 December 2020
by jahier
[PostDoc] Enhancing WCET Estimation by Exploiting Program Semantics
Friday 1 March 2013
by raymond, Claire Maiza
[PostDoc] Exploiting High-Level Design Information in WCET Estimation
Friday 1 March 2013
by raymond, Claire Maiza
[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces
Wednesday 1 May 2013
by moy
[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces
Tuesday 1 December 2020
by jahier
