Section: Dissemination

Teaching - Supervision - Juries

• Master: Robert de Simone, Models of Computation for Networks-on-Chips (MoCs for NoCs), 36h, M2 Internationbal, UNS.

• Master: Robert de Simone, Functional and Temporal Correctness, 36h, M1 Internationbal, UNS.

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

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

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

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

• Master : Julien Deantoni, Systèmes embarqués et Ambient, 10h, M2, Polytech'Nice, France.

• Master : Julien Deantoni, Langage C++, 88h, M1,Polytech'Nice, France.

• Master : Julien Deantoni, Ingénierie Dirigée par les modèles par la pratique, 24h, M2,Polytech'Nice, France.

• Master: Dumitru Potop Butucaru, Une approche synchrone des systèmes embarqués temps réel,12h, M1, EPITA Paris

• Master: Dumitru Potop Butucaru and Thomas Carle, L'approche synchrone de la construction des systèmes embarqués temps réel, 12h, M2, Polytech Paris UPMC.

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

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

• 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.

• Licence: Frédéric Mallet, Conception Orientée Objet, 45h, L3, UNS.

• Licence: Frédéric Mallet, Programmation Orientée Objet, 45h, L3, UNS.

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

• Master: Frédéric Mallet, Vérification temporelle et fonctionnelle, 24h, M1, UNS.

• Master: Frédéric Mallet, Model-Driven Engineering, 24h, M1, UNS.

• Master: Liliana Cucu, Distributed Databases, 56h, U. Dunarea de Jos, Romania

• Master: Dumitru Potop Butucaru, Une approche synchrone des systèmes embarqués temps réel,12h, M1, EPITA Paris

• PhD: Mohamed Bergach, Adaptation of the Fast Fourier Transform processing on hybrid integrated CPU/GPU architecture, UNS, defended October 2015.

• PhD in progress: Matias Vara-Larsen, Toward a formal and hierarchical timed model for concurrent heterogeneous model, UNS, 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: 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: Yuanrui Zhang, ECNU-SEI/China, started Sep 2015, co-supervised by Frederic Mallet (joint supervision with Pr. Chen Yixiang(ECNU).

• PhD in progress: Cristian Maxim, End to end constraints using probabilistic approaches, UPMC, started on March 2014, supervised by Liliana Cucu

• PhD in progress: Walid Talaboulma, Probabilistic timing analysis in presence of dependences, UPMC, started on November 2015, co-supervised by Liliana Cucu and Adriana Gogonel

• PhD in progress: Salah Edinne Saidi, Distributed real-time scheduling for the co-simulation of several control models, University of UMPC-Paris-Sorbonne, started December 2014, co-supervised by Nicolas Pernet (IFPEN) and Yves Sorel.

• PhD in progress: Keryan Didier, Formal certification of real-time implementations, Université Pierre et Marie Curie/EDITE, started November 2015, supervised by Dumitru Potop Butucaru.

• Robert de Simone: reviewer of Adrien Guatto (ENS Ulm), examiner of Andrea Enrici (Mines-Telecom Paris).

• Frederic Mallet: reviewer of Judith Peters (U. Bremen, Germany), examiner (president) of Damian Vicino (Carleton University/U. Nice Sophia Antipolis).

• Julien Deantoni: reviewer of Erwan Bousse (IRISA, University of Rennes)

• Liliana Cucu: reviewer of Antoine Bertout (LIFL, November 2015)

• Dumitru Potop Butucaru: examiner of José Echeveste (Université Pierre et Marie Curie/EDITE).