Sites Inria

There are 2 Results with the keyword : "Séminaire Aoste"

© INRIA Sophie Auvin - A comme Algorithme

Séminaire des équipes de recherche

Séminaire AOSTE

8/12/2014

Sebastian Altmeyer is a post-doctoral researcher in the Computer Systems Architecture Group at the University of Amsterdam, Netherlands since 2013. He has received his PhD in Computer Science in 2012 from Saarland University in Saarbruecken, Germany with a thesis on the analysis of pre-emptively scheduled hard real-time systems.  His research interests are the analysis and verification of hard real-time systems in general, with a particular focus on worst-case timing analysis and real-time scheduling.

Place : Inria Paris-Rocquencourt, building 9

Guest(s) : Sebastian Altmeyer (University of Amsterdam)

Keywords:

Home > Centre > Paris > Calendar > Séminaire AOSTE

lire la suite

Séminaire des équipes de recherche

Séminaire Aoste

10/03/2017

Yasmina Abdeddaïm is  associate professor at ESIEE-Paris, University Paris-Est. She is member of Laboratoire d'Informatique Gaspard-Monge- LIGM in the Software, Network and Real-Time team. In 2002, she obtained a Ph.D. degree, from  INP Grenoble prepared in VERIMAG laboratory.  From 2002 to 2005, she was a postdoc at Laboratoire d'Infomatique Fondamentale de Marseille.  Her research concerns mainly  real-time  scheduling and formal methods for real-time systems.

Place : Inria Paris - Bâtiment C, salle C234 à 10h00

Guest(s) : Yasmina Abdeddaïm

Keywords:

Home > Centre > Paris > Calendar > Séminaire Aoste

lire la suite

Top