Abdeldjalil Boudjadar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | PERCOM | Connectivity-optimal shortest paths using crowdsourced data. | Tim Hultman, Abdeldjalil Boudjadar, Mikael Asplund |
| 2015 | ISORC | Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan |
| 2014 | ECRTS | Model Checking Process Algebra of Communicating Resources for Real-Time Systems. | Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman |
| 2014 | TASE | Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
| 2012 | TIME | Compositional Refinement for Real-Time Systems with Priorities. | Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali |
| 2011 | ATVA | An Alternative Definition for Timed Automata Composition. | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |