rsd
info dans groupe team
info articles lies mot
Articles
Statistical Model Checking
Monday 30 January 2017
by bozga
Time-Critical Applications on Multicore Platforms
Wednesday 30 April 2014
by Jacques Combaz, Petro Poplavko
Runtime Monitoring
Monday 30 January 2017
by bozga
Parallel Applications on Manycore Platforms
Friday 18 February 2011
by poulhies
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
ACOSE
Sunday 30 November 2014
by bozga
ACROSS
Thursday 31 October 2013
by bozga
ADE
Tuesday 1 June 2021
by bozga
ArrowHead
Tuesday 28 February 2017
by bozga
ASCENS
Wednesday 1 October 2014
by Jacques Combaz
BIP
Monday 15 November 2010
by Jacques Combaz
BIP Compiler
Tuesday 7 February 2012
by Jacques Combaz, poulhies
BIP-SMC : A Statistical Model Checking Engine for the BIP framework
Sunday 31 December 2017
by Ayoub Nouri
BRAIN-IoT
Monday 1 March 2021
by bozga
CERTAINTY
Saturday 31 May 2014
by bozga
CHAPI
Wednesday 31 July 2013
by bozga
CITADEL
Wednesday 31 July 2019
by bozga
COMBEST
Friday 24 December 2010
CPSE-Labs
Saturday 31 December 2016
by bozga
CyPhERS
Saturday 28 February 2015
by bozga
D-MILS
Saturday 31 October 2015
by bozga
DFinder
Thursday 23 December 2010
by poulhies, Benoit Boyer
ERGO
Sunday 30 June 2019
by bozga
ESROCOS
Sunday 30 June 2019
by bozga
FLATA
1999
by Radu Iosif
FLATA-C
Tuesday 6 March 2012
by Florent Garnier
InVeSt
Thursday 17 September 2009
by bozga
L2CA
Monday 8 March 2010
by Radu Iosif
ManycoreLabs
Tuesday 30 June 2015
by bozga
MARAE
Thursday 30 June 2011
by bozga
MIND
Saturday 25 December 2010
by Jacques Combaz
MoSATT-CMP
Monday 29 February 2016
by bozga
Post-Docs: Model-Based Design and Validation of Safety-Critical Systems
Saturday 31 December 2016
by bozga
PRO3D
Monday 31 December 2012
by bozga
RTD-Finder
Friday 6 February 2015
by Jacques Combaz
SAFENAV
Sunday 31 December 2017
by bozga
SARGON
Monday 31 July 2017
by bozga
SMECY
Wednesday 31 July 2013
by bozga
SMI
Friday 18 September 2009
by bozga
SUCCESS
Tuesday 31 December 2019
by bozga
Transatlantic CPS Summit
Monday 1 August 2016
by bozga
