Abdeldjalil Boudjadar

17 papers A 1B 2C 2Misc 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2016 J jnl
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.
IEEE Trans. Ind. Informatics
Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar
2016 — conf
Connectivity-optimal shortest paths using crowdsourced data.
PerCom Workshops
Tim Hultman, Abdeldjalil Boudjadar, Mikael Asplund
2016 J jnl
Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Rev.
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016 J jnl
Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 J jnl
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program.
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015 — conf
Compositional Predictability Analysis of Mixed Critical Real Time Systems.
FTSCS
Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
2015 C conf
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
ISORC
Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 — conf
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
CBSE
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2014 — conf
Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
ICAASE
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman
2014 Misc conf
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
TASE
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 B conf
Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
ECRTS
Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman
2014 — conf
Widening the Schedulability of Hierarchical Scheduling Systems.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013 — conf
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.
FSEN
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
2013 — conf
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
FACS
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2012 C conf
Compositional Refinement for Real-Time Systems with Priorities.
TIME
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
2012 A conf
Revising and Extending the Uppaal Communication Mechanism.
SC
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
2011 B conf
An Alternative Definition for Timed Automata Composition.
ATVA
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali