Job-Shop Scheduling Using Timed Automata. - Yasmina Abdeddaïm; Oded Maler (CAV, 2001)

Preemptive Job-Shop Scheduling Using Stopwatch Automata. - Yasmina Abdeddaïm; Oded Maler (TACAS, 2002)

Task Graph Scheduling Using Timed Automata. - Yasmina Abdeddaïm; Abdelkarim Kerbaa; Oded Maler (IPDPS, 2003)

On Optimal Scheduling under Uncertainty. - Yasmina Abdeddaïm; Eugene Asarin; Oded Maler (TACAS, 2003)

Scheduling with timed automata. - Yasmina Abdeddaïm; Eugene Asarin; Oded Maler (Theor. Comput. Sci., 2006)

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 (ICAPS, 2007)

Simple Algorithm for Simple Timed Games. - Yasmina Abdeddaïm; Eugene Asarin; Mihaela Sighireanu (TIME, 2009)

Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata. - Yasmina Abdeddaïm; Damien Masson (RTCSA, 2012)

The Fixed Priority Scheduling Problem for Energy Harvesting Real-Time Systems. - Younès Chandarli; Yasmina Abdeddaïm; Damien Masson (RTCSA, 2012)

The scheduling problem of self-suspending periodic real-time tasks. - Yasmina Abdeddaïm; Damien Masson (RTNS, 2012)

The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems. - Yasmina Abdeddaïm; Younès Chandarli; Damien Masson (ECRTS, 2013)

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting. - Yasmina Abdeddaïm; Younès Chandarli; Robert I. Davis 001; Damien Masson (RTNS, 2014)

Response time analysis for fixed priority real-time systems with energy-harvesting. - Yasmina Abdeddaïm; Younès Chandarli; Robert I. Davis 001; Damien Masson (Real Time Syst., 2016)

Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems. - Yasmina Abdeddaïm; Dorin Maxim (DATE, 2017)

Accurate Strategy for Mixed Criticality Scheduling. - Yasmina Abdeddaïm (VECoS, 2020)

On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior. - Tadeu Nogueira C. Andrade; George Lima 001; Veronica Maria Cadena Lima; Yasmina Abdeddaïm; Liliana Cucu-Grosjean (SBESC, 2021)

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 (RTAS, 2022)

Work In Progress: A New Task Model for Real-Time DNNs over GPU. - Mourad Dridi; Yasmina Abdeddaïm; Chiara Daini (RTAS, 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)

Impact of Compilation Optimization Levels on Execution Time Variability. - Mohamed Amine Khelassi; Yasmina Abdeddaïm (ETFA, 2024)

Leveraging Mixed Criticality Task Budgets. - Mohamed Amine Khelassi; Yasmina Abdeddaïm (ETFA, 2024)

Execution time budget assignment for mixed criticality systems. - Mohamed Amine Khelassi; Yasmina Abdeddaïm (CoRR, 2024)

Research directions for real-time implementation of AI algorithms. - Yasmina Abdeddaïm; Mourad Dridi; Joshua Dumont (Real Time Syst., 2025)