Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

23 résultats
Page :
triés par
Image document

The Scheduling Problem of Self-Suspending Periodic Real-Time Tasks

 Yasmina Abdeddaïm , Damien Masson
RTNS 2012, Nov 2012, Pont-à-Mousson, France. pp.211--220
Communication dans un congrès hal-00733754v1
Image document

Approximate Response Time for Fixed Priority Real-Time Systems with Energy-Harvesting

 Yasmina Abdeddaïm , Younès Chandarli , Robert I. Davis , Damien Masson
2014
Rapport hal-00986340v3
Image document

Scheduling Self-Suspending Periodic Real-Time Tasks Using Model Checking

 Yasmina Abdeddaïm , Damien Masson
RTSS 2011 WiP, Nov 2011, Vienne, Austria. pp.37--40
Communication dans un congrès hal-00636122v1
Image document

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

 Yasmina Abdeddaïm , Younès Chandarli , Damien Masson
ECRTS 2013, Jul 2013, France. pp.47--56
Communication dans un congrès hal-00783607v2

Multi-paradigm methodology and tool for real-time embedded control software development

 Rédha Hamouche , Rémy Kocik , Yasmina Abdeddaïm
MS 2011, International Conference on Modelling and Simulation, Jul 2011, Calgary, Canada. ⟨10.2316/P.2011.735-102⟩
Communication dans un congrès hal-02445209v1
Image document

Execution time budget assignment for mixed criticality systems

 Mohamed Amine Khelassi , Yasmina Abdeddaïm
10th International Workshop on Mixed Criticality Systems at the Real Time Systems Symposium (RTSS 2023), IEEE, Dec 2023, Taipei, Taiwan
Communication dans un congrès hal-04283379v2
Image document

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

 Yasmina Abdeddaïm , Damien Masson
RTCSA 2012, Aug 2012, Seoul, South Korea. pp.31-40, ⟨10.1109/RTCSA.2012.21⟩
Communication dans un congrès hal-00688069v2

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

 Yasmina Abdeddaïm , Younès Chandarli , Robert I. Davis , Damien Masson
RTNS 2014, 2014, Versailles, France. pp.311:311--311:320, ⟨10.1145/2659787.2659821⟩
Communication dans un congrès hal-01294394v1
Image document

A Generic Task Model Using Timed Automata to Design and Analyze Real-Time Applications

 Yasmina Abdeddaïm , Damien Masson
2011
Rapport hal-00598870v1
Image document

Optimal Real-Time Scheduling Algorithm for Fixed-Priority Energy-Harvesting Systems

 Younès Chandarli , Yasmina Abdeddaïm , Damien Masson
[Research Report] ESIEE Paris; Université Paris-Est; LIGM. 2014
Rapport hal-01076021v1

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 Systems, 2016, 52 (2), pp.125--160. ⟨10.1007/s11241-015-9239-7⟩
Article dans une revue hal-01217197v1
Image document

Toward an Optimal Fixed-Priority Algorithm for Energy-Harvesting Real-Time Systems

 Yasmina Abdeddaïm , Younès Chandarli , Damien Masson
RTAS 2013 WiP, Apr 2013, United States. pp.45--48
Communication dans un congrès hal-00796646v1

Scheduling with Timed Automata

 Yasmina Abdeddaïm , Eugene Asarin , Oded Maler
Theoretical Computer Science, 2006, 354 (2), pp.272-300. ⟨10.1016/j.tcs.2005.11.018⟩
Article dans une revue hal-00157338v1
Image document

Accurate Strategy for Mixed Criticality Scheduling

 Yasmina Abdeddaïm
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Oct 2020, Xi'an, China. pp.131-146
Communication dans un congrès hal-03094736v1
Image document

Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches

 Yasmina Abdeddaim , Eugene Asarin , Matthieu Gallien , Félix Ingrand , Charles Lesire , et al.
International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9
Communication dans un congrès hal-00157935v1
Image document

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

 Kevin Zagalo , Yasmina Abdeddaïm , Avner Bar-Hen , Liliana Cucu-Grosjean
IEEE Transactions on Computers, 2023, pp.1-12. ⟨10.1109/TC.2022.3211421⟩
Article dans une revue hal-03797980v2
Image document

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

 Younès Chandarli , Yasmina Abdeddaïm , Damien Masson
RTCSA 2012 WiP, Aug 2012, South Korea. pp.415--418
Communication dans un congrès hal-00724622v1
Image document

Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems

 Yasmina Abdeddaïm , Maxim Dorin
Design, Automation and Test in Europe - DATE 2017, Mar 2017, Lausanne, Switzerland
Communication dans un congrès hal-01583159v1
Image document

Simple Algorithm for Simple Timed Games

 Yasmina Abdeddaim , Eugene Asarin , Mihaela Sighireanu
2008
Pré-publication, Document de travail hal-00374700v2

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 , et al.
RTAS 2022 - IEEE 28th Real-Time and Embedded Technology and Applications Symposium, May 2022, Milano, Italy. IEEE, pp.309-312, ⟨10.1109/RTAS54340.2022.00035⟩
Poster de conférence hal-03951194v1

RTNS 2022: The 30th International Conference on Real-Time Networks and Systems

 Yasmina Abdeddaïm , Liliana Cucu-Grosjean , Geoffrey Nelissen , Laurent Pautet
ACM, 2022, ⟨10.1145/3534879⟩
Proceedings/Recueil des communications hal-03951192v1

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

 Tadeu Nogueira C. Andrade , George Lima , Veronica Maria Cadena Lima , Yasmina Abdeddaim , Liliana Cucu-Grosjean
SBESC 2021 - XI Brazilian Symposium on Computing Systems Engineering, Nov 2021, Florianopolis, Brazil. pp.1-8, ⟨10.1109/SBESC53686.2021.9628374⟩
Communication dans un congrès hal-03537584v1

Improving real-time software design with component and aspect approches

 Rédha Hamouche , Yasmina Abdeddaïm , Rémy Kocik
ICSESS, International Conference on Software Engineering and Service Sciences, Jul 2011, Beijing, China. ⟨10.1109/ICSESS.2011.5982396⟩
Communication dans un congrès hal-02445171v1
Page :