Published in: LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Michele Castrovilli and Enrico Bini. SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 2:1-2:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{castrovilli_et_al:LIPIcs.ECRTS.2024.2, author = {Castrovilli, Michele and Bini, Enrico}, title = {{SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule}}, booktitle = {36th Euromicro Conference on Real-Time Systems (ECRTS 2024)}, pages = {2:1--2:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-324-9}, ISSN = {1868-8969}, year = {2024}, volume = {298}, editor = {Pellizzoni, Rodolfo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.2}, URN = {urn:nbn:de:0030-drops-203054}, doi = {10.4230/LIPIcs.ECRTS.2024.2}, annote = {Keywords: Linux scheduler, Runtime verification, bounded-delay resource partition, supply function, service curve, real-time calculus, network calculus} }
Published in: LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Daniel Oliveira, Weifan Chen, Sandro Pinto, and Renato Mancuso. Shared Resource Contention in MCUs: A Reality Check and the Quest for Timeliness. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 5:1-5:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{oliveira_et_al:LIPIcs.ECRTS.2024.5, author = {Oliveira, Daniel and Chen, Weifan and Pinto, Sandro and Mancuso, Renato}, title = {{Shared Resource Contention in MCUs: A Reality Check and the Quest for Timeliness}}, booktitle = {36th Euromicro Conference on Real-Time Systems (ECRTS 2024)}, pages = {5:1--5:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-324-9}, ISSN = {1868-8969}, year = {2024}, volume = {298}, editor = {Pellizzoni, Rodolfo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.5}, URN = {urn:nbn:de:0030-drops-203088}, doi = {10.4230/LIPIcs.ECRTS.2024.5}, annote = {Keywords: multi-core microcontrollers, shared resources contention, progress-aware regulation} }
Published in: LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1
LITES, Volume 7, Issue 1: Special Issue on Embedded System Security, p. 0:i, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{burns_et_al:LITES.7.1.0, author = {Burns, Alan and Goddard, Steve}, title = {{Foreword}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {00:1--00:1}, ISSN = {2199-2002}, year = {2021}, volume = {7}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.7.1.0}, doi = {10.4230/LITES.7.1.0}, annote = {Keywords: Foreword, Embedded System Security} }
Published in: LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1
Philipp Miedl, Rehan Ahmed, and Lothar Thiele. We know what you're doing! Application detection using thermal data. In LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{miedl_et_al:LITES.7.1.2, author = {Miedl, Philipp and Ahmed, Rehan and Thiele, Lothar}, title = {{We know what you're doing! Application detection using thermal data}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {02:1--02:28}, ISSN = {2199-2002}, year = {2021}, volume = {7}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.7.1.2}, doi = {10.4230/LITES.7.1.2}, annote = {Keywords: Thermal Monitoring, Side Channel, Data Leak, Sequence Labelling} }
Published in: LIPIcs, Volume 165, 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, and Lothar Thiele. The Time-Triggered Wireless Architecture. In 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 165, pp. 19:1-19:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{jacob_et_al:LIPIcs.ECRTS.2020.19, author = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar}, title = {{The Time-Triggered Wireless Architecture}}, booktitle = {32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}, pages = {19:1--19:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-152-8}, ISSN = {1868-8969}, year = {2020}, volume = {165}, editor = {V\"{o}lp, Marcus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2020.19}, URN = {urn:nbn:de:0030-drops-123826}, doi = {10.4230/LIPIcs.ECRTS.2020.19}, annote = {Keywords: Time-triggered architecture, wireless bus, synchronous transmissions} }
Published in: DARTS, Volume 6, Issue 1, Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, and Lothar Thiele. The Time-Triggered Wireless Architecture (Artifact). In Special Issue of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 1, pp. 5:1-5:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{jacob_et_al:DARTS.6.1.5, author = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar}, title = {{The Time-Triggered Wireless Architecture (Artifact)}}, pages = {5:1--5:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2020}, volume = {6}, number = {1}, editor = {Jacob, Romain and Zhang, Licong and Zimmerling, Marco and Beutel, Jan and Chakraborty, Samarjit and Thiele, Lothar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.1.5}, URN = {urn:nbn:de:0030-drops-123952}, doi = {10.4230/DARTS.6.1.5}, annote = {Keywords: Time-triggered architecture, wireless bus, synchronous transmissions} }
Published in: Dagstuhl Reports, Volume 7, Issue 5 (2018)
Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao. Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191). In Dagstuhl Reports, Volume 7, Issue 5, pp. 22-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{doerr_et_al:DagRep.7.5.22, author = {Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin}, title = {{Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)}}, pages = {22--55}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {5}, editor = {Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.22}, URN = {urn:nbn:de:0030-drops-82797}, doi = {10.4230/DagRep.7.5.22}, annote = {Keywords: algorithms and complexity, evolutionary algorithms, machine learning, optimization, soft computing} }
Published in: Dagstuhl Reports, Volume 6, Issue 10 (2017)
Tulika Mitra, Jürgen Teich, and Lothar Thiele. Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441). In Dagstuhl Reports, Volume 6, Issue 10, pp. 120-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{mitra_et_al:DagRep.6.10.120, author = {Mitra, Tulika and Teich, J\"{u}rgen and Thiele, Lothar}, title = {{Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)}}, pages = {120--153}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {10}, editor = {Mitra, Tulika and Teich, J\"{u}rgen and Thiele, Lothar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.10.120}, URN = {urn:nbn:de:0030-drops-69539}, doi = {10.4230/DagRep.6.10.120}, annote = {Keywords: Adaptive isolation, Embedded systems, Real-Time systems, Predictability, Security, MPSoC, Parallel computing, Programming models, Timing analysis, Virtualization} }
Published in: Dagstuhl Reports, Volume 5, Issue 5 (2016)
Benajmin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele. Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). In Dagstuhl Reports, Volume 5, Issue 5, pp. 57-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{doerr_et_al:DagRep.5.5.57, author = {Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar}, title = {{Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}}, pages = {57--91}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {5}, editor = {Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.57}, URN = {urn:nbn:de:0030-drops-54022}, doi = {10.4230/DagRep.5.5.57}, annote = {Keywords: evolutionary algorithms, black-box optimization, randomized search heuristics, algorithms, artificial intelligence} }
Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)
Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{lucas_et_al:OASIcs.PPES.2011, title = {{OASIcs, Volume 18, PPES'11, Complete Volume}}, booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded Systems}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-28-6}, ISSN = {2190-6807}, year = {2012}, volume = {18}, editor = {Lucas, Philipp and Wilhelm, Reinhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011}, URN = {urn:nbn:de:0030-drops-35804}, doi = {10.4230/OASIcs.PPES.2011}, annote = {Keywords: Special-purpose and application-based systems\rbrack: Real-time and embedded systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 9041, Hybrid and Robust Approaches to Multiobjective Optimization (2009)
Fonseca Carlos, Xavier Gandibleux, Pekka Korhonen, Luis Marti, Boris Naujoks, Lothar Thiele, Wallenius Jyrki, and Eckart Zitzler. 09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round). In Hybrid and Robust Approaches to Multiobjective Optimization. Dagstuhl Seminar Proceedings, Volume 9041, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{fonsecacarlos_et_al:DagSemProc.09041.4, author = {Fonseca Carlos and Gandibleux, Xavier and Korhonen, Pekka and Marti, Luis and Naujoks, Boris and Thiele, Lothar and Wallenius Jyrki and Zitzler, Eckart}, title = {{09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round)}}, booktitle = {Hybrid and Robust Approaches to Multiobjective Optimization}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9041}, editor = {Kalyanmoy Deb and Salvatore Greco and Kaisa Miettinen and Eckart Zitzler}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09041.4}, URN = {urn:nbn:de:0030-drops-20041}, doi = {10.4230/DagSemProc.09041.4}, annote = {Keywords: Interactive multiobjective optimization} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Abstracts Collection – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{haverkort_et_al:DagSemProc.07101.1, author = {Haverkort, Boudewijn and Katoen, Joost-Pieter and Thiele, Lothar}, title = {{07101 Abstracts Collection – Quantitative Aspects of Embedded Systems}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.1}, URN = {urn:nbn:de:0030-drops-11402}, doi = {10.4230/DagSemProc.07101.1}, annote = {Keywords: Embedded systems, quantitative analysis, model checking, real-time calculus, validation, verification, model-based and model-driven design} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Executive Summary – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{haverkort_et_al:DagSemProc.07101.2, author = {Haverkort, Boudewijn and Katoen, Joost-Pieter and Thiele, Lothar}, title = {{07101 Executive Summary – Quantitative Aspects of Embedded Systems}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.2}, URN = {urn:nbn:de:0030-drops-11378}, doi = {10.4230/DagSemProc.07101.2}, annote = {Keywords: Embedded systems, quantitative analysis, model checking, real-time calculus, validation, verification, model-based and model-driven design. Embedded s} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, and Lijun Zhang. 07101 Working Group Report – Performance Measures Other Than Time. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{cloth_et_al:DagSemProc.07101.3, author = {Cloth, Lucia and Crouzen, Pepijn and Fruth, Matthias and Han, Tingting and Jansen, David N. and Kattenbelt, Mark and Smit, Gerard J. M. and Zhang, Lijun}, title = {{07101 Working Group Report – Performance Measures Other Than Time}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.3}, URN = {urn:nbn:de:0030-drops-11396}, doi = {10.4230/DagSemProc.07101.3}, annote = {Keywords: } }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, and Johann Hurink. Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{holzenspies_et_al:DagSemProc.07101.4, author = {H\"{o}lzenspies, Philip K. F. and Kuper, Jan and Smit, Gerard J. M. and Hurink, Johann}, title = {{Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.4}, URN = {urn:nbn:de:0030-drops-11382}, doi = {10.4230/DagSemProc.07101.4}, annote = {Keywords: Run-time spatial mapping, streaming applications, MPSoC} }
Feedback for Dagstuhl Publishing