Cité Descartes, BP 99
2, boulevard Descartes
93162 Noisy le Grand CEDEX, France
ESIEE, office 4254
+33 1 45 92 65 91
+33 1 45 92 60 99
yasmina.abdeddaim [at] esiee [dot] fr
Topics: Real-time Systems, Model Checking, Critical Application Developpement, Algorithms.
Head of International Master of Computer Science for Intelligent Systems IMC
Research interests: Real-time Systems, Critical Systems.
Y. Abdeddaïm, D. Maxim, Probabilistic Schedulability Analysis for Fixed
Priority Mixed Criticality Real-Time Systems, the 20th Conference on Design, Automation, and Test in Europe, DATE 2017.
Y. Abdeddaïm, Y. Chandarli, R.I. Davis, D. Masson, Response Time Analysis for Fixed priority Real-Time Systems with Energy-Harvesting, Real-Time Systems Journal, 2016.
Y. Abdeddaïm, Y.Chandarli, R.I. Davis, D.Masson, Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting,
the 22nd International Conference on Real-Time and Network Systems, RTNS 2014.
P. Rodriguez, L. George, Y. Abdeddaïm, J. Goossens,
Multi-Criteria Evaluation of Partitioned EDF-VD for Mixed-Criticality Systems Upon Identical Processors, the 1st International Workshop on Mixed Criticality Systems, WMC 2013.
Y. Abdeddaïm, Y.Chandarli, D. Masson, The Optimality of PFPasap Algorithm for Fixed-Priority
Energy-Harvesting Real-Time Systems,
the 25th Euromicro Conference on Real-Time Systems, ECRTS 2013.
Y. Abdeddaïm, D. Masson, The Scheduling Problem of Self-Suspending Periodic Real-Time Tasks,
the 20th International Conference on Real-Time and Network Systems, RTNS 2012.
Y. Abdeddaïm, D. Masson, Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata, the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2012.
R. Hamouche, Y. Abdeddaïm, R. Kocik,
Improving real-time software design with component and aspect approaches, the 2nd IEEE International Conference on Software Ingineering and Service Science, ICSESS 2011.
R. Hamouche, R. Kocik, Y. Abdeddaïm, Multi-paradigme methodology and tool for real-time embedded control software development, the 22nd IASTED International Symposia on The Modelling and Simulation, MS 2011.
Y. Abdeddaïm, E. Asarin, M. Sighireanu, Simple Algorithm for simple timed games, the 16th International Symposium on Temporal Representation and Reasoning, TIME 2009.
Y. Abdeddaïm, E. Asarin, M. Gallien, F. Ingrand, C. Lesire and M. Sighireanu, Planning Robust Temporal Plans: a Comparison Between CBTP and TGA Approaches, the 17th International Conference on Automated Planning and Scheduling, ICAPS 2007.
Y. Abdeddaïm, E. Asarin, O. Maler, Scheduling with Timed Automata, Journal Theoretical Computer Science, 354(2), 272-300, 2006.
Y. Abdeddaïm, P. Niebert, On the use of Partial Order Methods in Scheduling, the 9th International Conference On Project Management and Scheduling, PMS 2004.
Y. Abdeddaïm, E. Asarin, O. Maler, On Optimal Scheduling under Uncertainty, the 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2003.
Y. Abdeddaïm, A. Kerbaa, O. Maler, Task Graph Scheduling using Timed Automata, the 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, TA 2003.
Y. Abdeddaïm, O. Maler, Preemptive Job-Shop Scheduling using Stopwatch Automata, the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2002.
Y. Abdeddaïm, O. Maler, Job-shop Scheduling using Timed Automata, the 13th Computer-Aided Verification conference, CAV 2001.