Scheduling with timed automata Y Abdeddaı, E Asarin, O Maler Theoretical Computer Science 354 (2), 272-300, 2006 | 261 | 2006 |
Job-shop scheduling using timed automata? Y Abdeddaim, O Maler Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 148 | 2001 |
Preemptive job-shop scheduling using stopwatch automata Y Abdeddaim, O Maler International Conference on Tools and Algorithms for the Construction and …, 2002 | 115 | 2002 |
Task graph scheduling using timed automata Y Abdeddaïm, A Kerbaa, O Maler Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 83 | 2003 |
The optimality of PFPasap algorithm for fixed-priority energy-harvesting real-time systems Y Abdeddaïm, Y Chandarli, D Masson 2013 25th Euromicro Conference on Real-Time Systems, 47-56, 2013 | 41 | 2013 |
Multicriteria evaluation of partitioned edf-vd for mixed-criticality systems upon identical processors P Rodriguez, L George, Y Abdeddaïm, J Goossens Workshop on Mixed Criticality Systems, 2013 | 36 | 2013 |
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. Y Abdeddaim, E Asarin, M Gallien, F Ingrand, C Lesire, M Sighireanu ICAPS 7, 2-10, 2007 | 34 | 2007 |
On optimal scheduling under uncertainty Y Abdeddaïm, E Asarin, O Maler Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 31 | 2003 |
Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems Y Abdeddaïm, D Maxim Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017 | 25 | 2017 |
Real-time scheduling of energy harvesting embedded systems with timed automata Y Abdeddaïm, D Masson 2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012 | 21 | 2012 |
Approximate response time for fixed priority real-time systems with energy-harvesting Y Abdeddaïm, Y Chandarli, RI Davis, D Masson | 19* | 2014 |
Response time analysis for fixed priority real-time systems with energy-harvesting Y Abdeddaïm, Y Chandarli, RI Davis, D Masson Real-Time Systems 52, 125-160, 2016 | 13 | 2016 |
The fixed priority scheduling problem for energy harvesting real-time systems Y Chandarli, Y Abdeddaïm, D Masson 2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012 | 13 | 2012 |
Toward an optimal fixed-priority algorithm for energy-harvesting real-time systems Y Abdeddaïm, Y Chandarli, D Masson RTAS 2013 WiP, 45--48, 2013 | 9 | 2013 |
Scheduling self-suspending periodic real-time tasks using model checking Y Abdeddaïm, D Masson RTSS 2011 WiP, 37--40, 2011 | 9 | 2011 |
Work in progress: Kdbench-towards open source benchmarks for measurement-based multicore WCET estimators MW El Khazen, K Zagalo, H Clarke, M Mezouak, Y Abdeddaïm, ... 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium …, 2022 | 6 | 2022 |
Accurate strategy for mixed criticality scheduling Y Abdeddaïm Verification and Evaluation of Computer and Communication Systems: 14th …, 2020 | 6 | 2020 |
On the use of partial order methods in scheduling Y Abdeddaım, P Niebert Ninth International Conference on Project Management and Scheduling (PMS 04), 2004 | 6 | 2004 |
Response time stochastic analysis for fixed-priority stable real-time systems K Zagalo, Y Abdeddaïm, A Bar-Hen, L Cucu-Grosjean IEEE Transactions on Computers 72 (1), 3-14, 2022 | 5 | 2022 |
The scheduling problem of self-suspending periodic real-time tasks Y Abdeddaïm, D Masson Proceedings of the 20th International Conference on Real-Time and Network …, 2012 | 5 | 2012 |