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}}, 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-dev.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: OASIcs, Volume 57, 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne de Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, and Wei-Tsun Sun. The W-SEPT Project: Towards Semantic-Aware WCET Estimation. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{maiza_et_al:OASIcs.WCET.2017.9, author = {Maiza, Claire and Raymond, Pascal and Parent-Vigouroux, Catherine and Bonenfant, Armelle and Carrier, Fabienne and Cass\'{e}, Hugues and Cuenot, Philippe and Claraz, Denis and Halbwachs, Nicolas and Jahier, Erwan and Li, Hanbing and de Michiel, Marianne and Mussot, Vincent and Puaut, Isabelle and Rochange, Christine and Rohou, Erven and Ruiz, Jordy and Sotin, Pascal and Sun, Wei-Tsun}, title = {{The W-SEPT Project: Towards Semantic-Aware WCET Estimation}}, booktitle = {17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)}, pages = {9:1--9:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-057-6}, ISSN = {2190-6807}, year = {2017}, volume = {57}, editor = {Reineke, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.9}, URN = {urn:nbn:de:0030-drops-73097}, doi = {10.4230/OASIcs.WCET.2017.9}, annote = {Keywords: Worst-case execution time analysis, Static analysis, Program analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{edwards_et_al:DagSemProc.04491.1, author = {Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas}, title = {{04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.1}, URN = {urn:nbn:de:0030-drops-1961}, doi = {10.4230/DagSemProc.04491.1}, annote = {Keywords: Synchronous languages , executive summary , Esterel , Lustre , Signal , semantics , programming languages , real-time systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Executive Summary – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{edwards_et_al:DagSemProc.04491.2, author = {Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas}, title = {{04491 Executive Summary – Synchronous Programming - SYNCHRON'04}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.2}, URN = {urn:nbn:de:0030-drops-1959}, doi = {10.4230/DagSemProc.04491.2}, annote = {Keywords: Synchronous languages , executive summary , Esterel , Lustre , signal , semantics , programming languages , real-time systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
David White and Gerald Luettgen. Accessing Databases within Esterel. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{white_et_al:DagSemProc.04491.3, author = {White, David and Luettgen, Gerald}, title = {{Accessing Databases within Esterel}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.3}, URN = {urn:nbn:de:0030-drops-1619}, doi = {10.4230/DagSemProc.04491.3}, annote = {Keywords: database esterel lego mindstorms} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{lukoschus_et_al:DagSemProc.04491.4, author = {Lukoschus, Jan and von Hanxleden, Reinhard}, title = {{Removing Cycles in Esterel Programs}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--27}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.4}, URN = {urn:nbn:de:0030-drops-1606}, doi = {10.4230/DagSemProc.04491.4}, annote = {Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Stephen A. Edwards. SHIM: A Language for Hardware/Software Integration. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{edwards:DagSemProc.04491.5, author = {Edwards, Stephen A.}, title = {{SHIM: A Language for Hardware/Software Integration}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.5}, URN = {urn:nbn:de:0030-drops-1580}, doi = {10.4230/DagSemProc.04491.5}, annote = {Keywords: Hardware/software codesign , synchronous , asynchronous , language design , integration} }
Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)
Xin Li and Reinhard von Hanxleden. The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{li_et_al:DagSemProc.04491.6, author = {Li, Xin and von Hanxleden, Reinhard}, title = {{The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.6}, URN = {urn:nbn:de:0030-drops-1597}, doi = {10.4230/DagSemProc.04491.6}, annote = {Keywords: Esterel , synchronous languages , reactive programming , ASIPs} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 01491). Dagstuhl Seminar Report 328, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)
@TechReport{deroever_et_al:DagSemRep.328, author = {de Roever, Willem-Paul and Halbwachs, Nicolas and Berry, G\'{e}rard and Winkelmann, Klaus}, title = {{Synchronous Languages (Dagstuhl Seminar 01491)}}, pages = {1--30}, ISSN = {1619-0203}, year = {2002}, type = {Dagstuhl Seminar Report}, number = {328}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.328}, URN = {urn:nbn:de:0030-drops-152119}, doi = {10.4230/DagSemRep.328}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 9650). Dagstuhl Seminar Report 162, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)
@TechReport{deroever_et_al:DagSemRep.162, author = {de Roever, Willem-Paul and Halbwachs, Nicolas and Winkelmann, Klaus}, title = {{Synchronous Languages (Dagstuhl Seminar 9650)}}, pages = {1--25}, ISSN = {1619-0203}, year = {1997}, type = {Dagstuhl Seminar Report}, number = {162}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.162}, URN = {urn:nbn:de:0030-drops-150490}, doi = {10.4230/DagSemRep.162}, }
Feedback for Dagstuhl Publishing