Published in: LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1
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}}, booktitle = {LITES, Volume 6, Issue 1 (2019)}, pages = {02:1--02:28}, journal = {Leibniz Transactions on Embedded Systems}, ISSN = {2199-2002}, year = {2019}, volume = {6}, number = {1}, editor = {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}, 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} }
Published in: LITES, Volume 4, Issue 2 (2017). Leibniz Transactions on Embedded Systems, Volume 4, Issue 2
Florian Kluge, Christine Rochange, and Theo Ungerer. EMSBench: Benchmark and Testbed for Reactive Real-Time Systems. In LITES, Volume 4, Issue 2 (2017). Leibniz Transactions on Embedded Systems, Volume 4, Issue 2, pp. 02:1-02:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
@Article{kluge_et_al:LITES-v004-i002-a002, author = {Kluge, Florian and Rochange, Christine and Ungerer, Theo}, title = {{EMSBench: Benchmark and Testbed for Reactive Real-Time Systems}}, booktitle = {LITES, Volume 4, Issue 2 (2017)}, pages = {02:1--02:23}, journal = {Leibniz Transactions on Embedded Systems}, ISSN = {2199-2002}, year = {2017}, volume = {4}, number = {2}, editor = {Kluge, Florian and Rochange, Christine and Ungerer, Theo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v004-i002-a002}, doi = {10.4230/LITES-v004-i002-a002}, annote = {Keywords: Real-time benchmark, WCET Analysis, Engine Management System} }
Published in: LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1
Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, and Wang Yi. A Survey on Static Cache Analysis for Real-Time Systems. In LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1, pp. 05:1-05:48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
@Article{lv_et_al:LITES-v003-i001-a005, author = {Lv, Mingsong and Guan, Nan and Reineke, Jan and Wilhelm, Reinhard and Yi, Wang}, title = {{A Survey on Static Cache Analysis for Real-Time Systems}}, booktitle = {LITES, Volume 3, Issue 1 (2016)}, pages = {05:1--05:48}, journal = {Leibniz Transactions on Embedded Systems}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, editor = {Lv, Mingsong and Guan, Nan and Reineke, Jan and Wilhelm, Reinhard and Yi, Wang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005}, doi = {10.4230/LITES-v003-i001-a005}, annote = {Keywords: Hard real-time, Cache analysis, Worst-case execution time} }
Published in: OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, and Philippe Cuenot. Identifying Relevant Parameters to Improve WCET Analysis. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 93-102, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)
@InProceedings{zwirchmayr_et_al:OASIcs.WCET.2014.93, author = {Zwirchmayr, Jakob and Sotin, Pascal and Bonenfant, Armelle and Claraz, Denis and Cuenot, Philippe}, title = {{Identifying Relevant Parameters to Improve WCET Analysis}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {93--102}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-69-9}, ISSN = {2190-6807}, year = {2014}, volume = {39}, editor = {Falk, Heiko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.93}, URN = {urn:nbn:de:0030-drops-46085}, doi = {10.4230/OASIcs.WCET.2014.93}, annote = {Keywords: WCET Accuracy, Modes and Configuration, Flow Facts, Scenario Specification} }
Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)
Armin Biere, Jens Knoop, Laura Kovács, and Jakob Zwirchmayr. The Auspicious Couple: Symbolic Execution and WCET Analysis. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 53-63, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)
@InProceedings{biere_et_al:OASIcs.WCET.2013.53, author = {Biere, Armin and Knoop, Jens and Kov\'{a}cs, Laura and Zwirchmayr, Jakob}, title = {{The Auspicious Couple: Symbolic Execution and WCET Analysis}}, booktitle = {13th International Workshop on Worst-Case Execution Time Analysis}, pages = {53--63}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-54-5}, ISSN = {2190-6807}, year = {2013}, volume = {30}, editor = {Maiza, Claire}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.53}, URN = {urn:nbn:de:0030-drops-41225}, doi = {10.4230/OASIcs.WCET.2013.53}, annote = {Keywords: WCET analysis, Symbolic execution, WCET refinement, Flow Facts} }
Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)
Jakob Zwirchmayr. Cutting-Edge Timing Analysis Techniques. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 303-305, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{zwirchmayr:LIPIcs.ICLP.2010.303, author = {Zwirchmayr, Jakob}, title = {{Cutting-Edge Timing Analysis Techniques}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {303--305}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.303}, URN = {urn:nbn:de:0030-drops-26140}, doi = {10.4230/LIPIcs.ICLP.2010.303}, annote = {Keywords: Verification, timing analysis, hard real-time systems, static analysis, worst-case execution time, loop-invariants, nested loop, symbolic computation,} }
Feedback for Dagstuhl Publishing