LITES, Volume 6, Issue 1, pp. 1-188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{LITES-v006-i001, title = {{LITES, Volume 6, Issue 1}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {1--188}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001}, doi = {10.4230/LITES-v006-i001}, annote = {Keywords: LITES, Volume 6, Issue 1} }
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, and Marius Bozga. Local Planning Semantics: A Semantics for Distributed Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 01:1-01:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{dellabani_et_al:LITES-v006-i001-a001, author = {Dellabani, Mahieddine and Combaz, Jacques and Bensalem, Saddek and Bozga, Marius}, title = {{Local Planning Semantics: A Semantics for Distributed Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {01:1--01:27}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a001}, doi = {10.4230/LITES-v006-i001-a001}, annote = {Keywords: Distributed Real-Time Systems, Timed Automata, Formal Verification} }
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, and Rémy Boutonnet. Improving WCET Evaluation using Linear Relation Analysis. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{raymond_et_al:LITES-v006-i001-a002, author = {Raymond, Pascal and Maiza, Claire and Parent-Vigouroux, Catherine and Jahier, Erwan and Halbwachs, Nicolas and Carrier, Fabienne and Asavoae, Mihail and Boutonnet, R\'{e}my}, title = {{Improving WCET Evaluation using Linear Relation Analysis}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {02:1--02:28}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a002}, doi = {10.4230/LITES-v006-i001-a002}, annote = {Keywords: Worst Case Execution Time estimation, Infeasible Execution Paths, Abstract Interpretation} }
Robert I. Davis and Liliana Cucu-Grosjean. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 03:1-03:60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{davis_et_al:LITES-v006-i001-a003, author = {Davis, Robert I. and Cucu-Grosjean, Liliana}, title = {{A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {03:1--03:60}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a003}, doi = {10.4230/LITES-v006-i001-a003}, annote = {Keywords: Probabilistic, real-time, timing analysis} }
Robert I. Davis and Liliana Cucu-Grosjean. A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 04:1-04:53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{davis_et_al:LITES-v006-i001-a004, author = {Davis, Robert I. and Cucu-Grosjean, Liliana}, title = {{A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {04:1--04:53}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a004}, doi = {10.4230/LITES-v006-i001-a004}, annote = {Keywords: Probabilistic, real-time, schedulability analysis, scheduling, } }
James Orr, Chris Gill, Kunal Agrawal, Jing Li, and Sanjoy Baruah. Elastic Scheduling for Parallel Real-Time Systems. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 05:1-05:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{orr_et_al:LITES-v006-i001-a005, author = {Orr, James and Gill, Chris and Agrawal, Kunal and Li, Jing and Baruah, Sanjoy}, title = {{Elastic Scheduling for Parallel Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {05:1--05:14}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a005}, doi = {10.4230/LITES-v006-i001-a005}, annote = {Keywords: Parallel real-time tasks, multiprocessor federated scheduling, elasticity coefficient} }
Feedback for Dagstuhl Publishing