Head of the Master in Artificial Intelligence and Cybersecurity AIC
Research
Research interests: Real-time Systems, Critical Systems.
News: ECRTS 2024 Submission deadline: February 29, 2024
Publications:
M. A. Khelassi, Y. Abdeddaïm, Execution time budget assignment for mixed-criticality systems, 10th International Workshop on Mixed Criticality Systemsn, WMC 2023.
M. Dridi, Y. Abdeddaïm, C. Daini, Work In Progress: A New Task Model for Real-Time DNNs over GPU, 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023.
K. Zagalo, Y. Abdeddaïm, A. Bar-Hen, L. Cucu-Grosjean, Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems, IEEE Transactions on Computers (2023).
T. C. Andrade, G. Lima, V. M. C. Lima, Y. Abdeddaïm, L. Cucu-Grosjean,
On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior, the 11th Brazilian Symposium on Computing Systems Engineering, SBESC 2021.
Y. Abdeddaïm, Accurate Strategy for Mixed Criticality Scheduling, the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020.
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.