default search action
Yasmina Abdeddaïm
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j3]Kevin Zagalo, Yasmina Abdeddaïm, Avner Bar-Hen, Liliana Cucu-Grosjean:
Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems. IEEE Trans. Computers 72(1): 3-14 (2023) - 2016
- [j2]Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson:
Response time analysis for fixed priority real-time systems with energy-harvesting. Real Time Syst. 52(2): 125-160 (2016) - 2006
- [j1]Yasmina Abdeddaïm, Eugene Asarin, Oded Maler:
Scheduling with timed automata. Theor. Comput. Sci. 354(2): 272-300 (2006)
Conference and Workshop Papers
- 2024
- [c18]Mohamed Amine Khelassi, Yasmina Abdeddaïm:
Impact of Compilation Optimization Levels on Execution Time Variability. ETFA 2024: 1-4 - [c17]Mohamed Amine Khelassi, Yasmina Abdeddaïm:
Leveraging Mixed Criticality Task Budgets. ETFA 2024: 1-8 - 2023
- [c16]Mourad Dridi, Yasmina Abdeddaïm, Chiara Daini:
Work In Progress: A New Task Model for Real-Time DNNs over GPU. RTAS 2023: 337-340 - 2022
- [c15]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:
Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators. RTAS 2022: 309-312 - 2021
- [c14]Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Yasmina Abdeddaïm, Liliana Cucu-Grosjean:
On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior. SBESC 2021: 1-8 - 2020
- [c13]Yasmina Abdeddaïm:
Accurate Strategy for Mixed Criticality Scheduling. VECoS 2020: 131-146 - 2017
- [c12]Yasmina Abdeddaïm, Dorin Maxim:
Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems. DATE 2017: 596-601 - 2014
- [c11]Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson:
Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting. RTNS 2014: 311 - 2013
- [c10]Yasmina Abdeddaïm, Younès Chandarli, Damien Masson:
The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems. ECRTS 2013: 47-56 - 2012
- [c9]Yasmina Abdeddaïm, Damien Masson:
Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata. RTCSA 2012: 31-40 - [c8]Younès Chandarli, Yasmina Abdeddaïm, Damien Masson:
The Fixed Priority Scheduling Problem for Energy Harvesting Real-Time Systems. RTCSA 2012: 415-418 - [c7]Yasmina Abdeddaïm, Damien Masson:
The scheduling problem of self-suspending periodic real-time tasks. RTNS 2012: 211-220 - 2009
- [c6]Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu:
Simple Algorithm for Simple Timed Games. TIME 2009: 99-106 - 2007
- [c5]Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu:
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9 - 2003
- [c4]Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler:
Task Graph Scheduling Using Timed Automata. IPDPS 2003: 237 - [c3]Yasmina Abdeddaïm, Eugene Asarin, Oded Maler:
On Optimal Scheduling under Uncertainty. TACAS 2003: 240-253 - 2002
- [c2]Yasmina Abdeddaïm, Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata. TACAS 2002: 113-126 - 2001
- [c1]Yasmina Abdeddaïm, Oded Maler:
Job-Shop Scheduling Using Timed Automata. CAV 2001: 478-492
Editorship
- 2022
- [e1]Yasmina Abdeddaïm, Liliana Cucu-Grosjean, Geoffrey Nelissen, Laurent Pautet:
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022. ACM 2022, ISBN 978-1-4503-9650-9 [contents]
Informal and Other Publications
- 2024
- [i1]Mohamed Amine Khelassi, Yasmina Abdeddaïm:
Execution time budget assignment for mixed criticality systems. CoRR abs/2401.02431 (2024)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint