EN FR
EN FR


previous Previous | up Home | Next next


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Licence: Julien Deantoni, Computer Environnement, 30 h, L2 level, Polytech engineering school of University Nice/Sophia-Antipolis (UNS EPU) France.

  • Master:Julien Deantoni, Model Driven Engineering, 22 h, M2, UNS EPU.

  • Master : Julien Deantoni, C++ and Object Oriented Programming, 54 h, M1, UNS EPU.

  • Master: Julien Deantoni, Embedded Software and systems, 7 h, M2, UNS EPU.

  • Master: Julien Deantoni, VHDL, 40 h, M1, UNS EPU.

  • Licence: Sid-Ahmed-Ali Touati, Assembleurs et jeux d'instructions, 52h, L3, UNS Licence info.

  • Licence: Sid-Ahmed-Ali Touati, Systèmes informatiques, 30h, L1, UNS Licence info.

  • Master: Sid-Ahmed-Ali Touati, Programmation efficaces pour programmes embarqués et hautes performances, 16h, M1 Master ISI.

  • Master: Sid-Ahmed-Ali Touati, Systèmes d'exploitation avancés, 39h, M1, UNS Master ISI.

  • Master: Sid-Ahmed-Ali Touati, Programmation efficace et Optimisation de code, 16h, M1, UNS Master ISI.

  • Master: Sid-Ahmed-Ali Touati, Architecture des Processeurs, 15h, M1, UNS EPU.

  • Licence : Frédéric Mallet, Introduction à la Programmation Objet, 45h, L1, UNS.

  • Licence: Frédéric Mallet, Architecture des ordinateurs, 45h, L3, UNS.

  • Master: Frédéric Mallet, Programmation Avancée et Design Patterns, 93h, M1, UNS.

  • Master: Frédéric Mallet, Java pour l'Informatique Industrielle, 24h, M1, UNS.

  • Master: Frédéric Mallet, Architectures des ordinateurs, 12h, M1, UNS.

  • Master: Frédéric Mallet, Formal Models for Network-On-Chips, 3h, M2, UNS.

  • Licence : Marie-Agnes Peraldi-Frati, Algorithms and programming 60h,L1, UNS Institute of technology.

  • Licence : Marie-Agnes Peraldi-Frati, System and Networks administration 80h, L2, UNS Institute of technology .

  • Licence :Marie-Agnes Peraldi-Frati, Web Programming 50 h , L2, UNS Institute of technology.

  • Master : Robert de Simone, Formal Models for Networks-on-Chip, 24h , M2, UNS.

  • Master : Robert de Simone, Semantics of Embedded and Distributed Systems, 24 h, M1, UNS.

  • Master: Yves Sorel, Optimization of distributed real-time embedded systems, 24H, M2, University Paris Sud.

  • Master: Yves Sorel, Distributed real-time systems, 26H, M2, University Paris Est

  • Master: Yves Sorel, Specification and formal models for embedded systems, 28H, M2, ENSTA Engineering School Paris

  • Master: Yves Sorel, Correct by construction design of reactive systems, 18H, M2, ESIEE Engineering School Noisy-Le-Grand

  • Master: Dumitru Potop and Thomas Carle, Programmation synchrone des systèmes temps-réel, 8h, M1, EPITA Engineering School Paris

  • Licence: Laurent George, Java and Shell programming 48h, L1, IUT RT UPEC

  • Master: Laurent George, Distributed Real-Time Systems, 24h, M2, UPEC

Supervision

  • PhD: Carlos Ernesto Gomez-Cardenas,Environnement multi-vues pour la métamodélisation sémantique formelle de systèmes embarqués, UNS, defended Dec 20th 2013, supervised by Frédéric Mallet, co-supervised by Julien deAntoni.

  • PhD in progress: Matias Vara-Larsen, Toward a formal and hierarchical timed model for concurrent heterogeneous model, ANR/CNRS, started November 2012, supervised by Frédéric Mallet, co-supervised by Julien Deantoni.

  • PhD in progress: Ameni Khecharem, High-Level modeling of hierarchical power management policies in SoCs, UNS, started October 2012, supervised by Robert de Simone.

  • PhD in progress: Ying Lin, Formal Analysis of polychronous models with MARTE/CCSL, East China Normal University, started September 2011, supervised by Jing Liu (ECNU), co-supervised by Frédéric Mallet.

  • PhD in progress: Emilien Kofman, Conception Haut Niveau Low Power d'objets mobiles communicants, UNS, started Oct 2013, supervised by Robert de Simone, co-supervised by François Verdier (UMR CNRS/UNS LEAT).

  • PhD in progress: Amin Oueslati, Modélisation conjointe d'applications et d'architectures parallèles embarqués en pratique, UNS, started Jan 2014, supervised by Robert de Simone.

  • PhD in progress: Falou Ndoye, Multiprocessor real-time scheduling taking into account preemption cost, started January 2011, supervised by Yves Sorel.

  • PhD in progress: Manel Djemal, Distributed real-time scheduling onto NoC architectures, EDITE/UPMC, started Nov. 2010, co-supervised by Alix Munier (UPMC/Lip6) and D. Potop-Butucaru.

  • PhD in progress: Thomas Carle, Real-time implementation of embedded control applications with conditional control onto time-triggered architectures, EDITE/UPMC, started Sep. 2011, supervised by D. Potop-Butucaru.

  • PhD : Dorin Maxim, Probabilistic Real-Time Systems, University of Lorraine, December 10th, 2013, co-supervised by Liliana Cucu-Grosjean and Françoise Simonot-Lion

Juries

  • Robert de Simone

  • PhD reviewer: Adnan Bouakaz (U. Rennes 1), Jagadish Suryadevara (Malardalen U., Sweden)

  • HDR reviewer: Sébastien Gérard (U. Paris 11 Orsay).

  • Frédéric Mallet

  • PhD reviewer: Xin An (U. Grenoble 1), Clément Guy (U. Rennes 1)

  • PhD examiner: João Claudio Rodrigues Américo (U. Grenoble 1), Jair Gonzalez (Mines-Telecom)

  • Laurent George

  • PhD reviewer: Xiaoting Li (ENSEEIHT), Ahmed Daghsen (UTC Compiègne)

  • Yves Sorel

  • PhD reviewer: Yassine Ouhammou (ENSMA Poitiers)

  • PhD examiner: Pierre Courbin (U. Paris Est)

  • Dumitru Potop Butucaru

  • PhD reviewer: Léonard Gérard (U. Paris Sud)



previous Previous | up Home | Next next