Yasmina Abdeddaïm

According to our database, Yasmina Abdeddaïm authored at least 20 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Execution time budget assignment for mixed criticality systems.

Mohamed Amine Khelassi, Yasmina Abdeddaïm

CoRR, 2024

2023

Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems.

Kevin Zagalo, Yasmina Abdeddaïm, Avner Bar-Hen, Liliana Cucu-Grosjean

IEEE Trans. Computers, 2023

Work In Progress: A New Task Model for Real-Time DNNs over GPU.

Mourad Dridi, Yasmina Abdeddaïm, Chiara Daini

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022

Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators.

Marwan Wehaiba el Khazen, Kevin Zagalo, Hadrien Clarke, Mehdi Mezouak, Yasmina Abdeddaïm, Avner Bar-Hen, Slim Ben-Amor, Rihab Bennour, Adriana Gogonel, Kossivi Kougblenou, Yves Sorel, Liliana Cucu-Grosjean

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

2021

On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior.

Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Yasmina Abdeddaïm, Liliana Cucu-Grosjean

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

2020

Accurate Strategy for Mixed Criticality Scheduling.

Yasmina Abdeddaïm

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

2017

Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems.

Yasmina Abdeddaïm, Dorin Maxim

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Response time analysis for fixed priority real-time systems with energy-harvesting.

Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson

Real Time Syst., 2016

2014

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting.

Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

2013

The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems.

Yasmina Abdeddaïm, Younès Chandarli, Damien Masson

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

The scheduling problem of self-suspending periodic real-time tasks.

Yasmina Abdeddaïm, Damien Masson

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

The Fixed Priority Scheduling Problem for Energy Harvesting Real-Time Systems.

Younès Chandarli, Yasmina Abdeddaïm, Damien Masson

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata.

Yasmina Abdeddaïm, Damien Masson

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

2009

Simple Algorithm for Simple Timed Games.

Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu

Proceedings of the TIME 2009, 2009

2007

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.

Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

Scheduling with timed automata.

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler

Theor. Comput. Sci., 2006

2003

On Optimal Scheduling under Uncertainty.

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Task Graph Scheduling Using Timed Automata.

Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Preemptive Job-Shop Scheduling Using Stopwatch Automata.

Yasmina Abdeddaïm, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Job-Shop Scheduling Using Timed Automata.

Yasmina Abdeddaïm, Oded Maler

Proceedings of the Computer Aided Verification, 13th International Conference, 2001