default search action
BibTeX records: Peter P. Puschner
@inproceedings{DBLP:conf/isorc/MarounSP25,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Optimized Constant Execution Time Code},
booktitle = {27th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2024, Tunis, Tunisia, May 22-25, 2024},
pages = {274--279},
year = {2025},
crossref = {DBLP:conf/isorc/2024},
url = {https://doi.org/10.1109/ISORC65339.2025.00061},
doi = {10.1109/ISORC65339.2025.00061},
timestamp = {Sat, 15 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/MarounSP25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MarounSP24,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Predictable and optimized single-path code for predicated processors},
journal = {J. Syst. Archit.},
volume = {154},
pages = {103214},
year = {2024},
url = {https://doi.org/10.1016/j.sysarc.2024.103214},
doi = {10.1016/J.SYSARC.2024.103214},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/MarounSP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/MarounSP24,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Two-Step Register Allocation for Implementing Single-Path Code},
booktitle = {27th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2024, Tunis, Tunisia, May 22-25, 2024},
pages = {1--12},
year = {2024},
crossref = {DBLP:conf/isorc/2024},
url = {https://doi.org/10.1109/ISORC61049.2024.10551362},
doi = {10.1109/ISORC61049.2024.10551362},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/MarounSP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MarounD0HHHKWPR24,
author = {Emad Jacob Maroun and
Eva Dengler and
Christian Dietrich and
Stefan Hepp and
Henriette Herzog and
Benedikt Huber and
Jens Knoop and
Daniel Wiltsche{-}Prokesch and
Peter P. Puschner and
Phillip Raffeck and
Martin Schoeberl and
Simon Schuster and
Peter W{\"{a}}gemann},
title = {The Platin Multi-Target Worst-Case Analysis Tool},
booktitle = {22nd International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2024, July 9, 2024, Lille, France},
pages = {2:1--2:14},
year = {2024},
crossref = {DBLP:conf/wcet/2024},
url = {https://doi.org/10.4230/OASIcs.WCET.2024.2},
doi = {10.4230/OASICS.WCET.2024.2},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/MarounD0HHHKWPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/KirnerP23,
author = {Raimund Kirner and
Peter P. Puschner},
title = {A qualitative cybersecurity analysis of time-triggered communication
networks in automotive systems},
journal = {J. Syst. Archit.},
volume = {136},
pages = {102835},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.102835},
doi = {10.1016/J.SYSARC.2023.102835},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/KirnerP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/MarounSP23,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Compiler-Directed Constant Execution Time on Flat Memory Systems},
booktitle = {26th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2023, Nashville, TN, USA, May 23-25, 2023},
pages = {64--75},
year = {2023},
crossref = {DBLP:conf/isorc/2023},
url = {https://doi.org/10.1109/ISORC58943.2023.00019},
doi = {10.1109/ISORC58943.2023.00019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/MarounSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MarounSP23,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Constant-Loop Dominators for Single-Path Code Optimization},
booktitle = {21th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2023, July 11, 2023, Vienna, Austria},
pages = {7:1--7:13},
year = {2023},
crossref = {DBLP:conf/wcet/2023},
url = {https://doi.org/10.4230/OASIcs.WCET.2023.7},
doi = {10.4230/OASICS.WCET.2023.7},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/MarounSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MarounSP21,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Compiling for time-predictability with dual-issue single-path code},
journal = {J. Syst. Archit.},
volume = {118},
pages = {102230},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2021.102230},
doi = {10.1016/J.SYSARC.2021.102230},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/MarounSP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/KirnerP21,
author = {Raimund Kirner and
Peter P. Puschner},
title = {A Quantitative Analysis of Interfaces to Time-Triggered Communication
Buses},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {29},
number = {4},
pages = {1786--1797},
year = {2021},
url = {https://doi.org/10.1109/TNET.2021.3073460},
doi = {10.1109/TNET.2021.3073460},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ton/KirnerP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PlatzerP21,
author = {Michael Platzer and
Peter P. Puschner},
title = {Vicuna: {A} Timing-Predictable {RISC-V} Vector Coprocessor for Scalable
Parallel Computation},
booktitle = {33rd Euromicro Conference on Real-Time Systems, {ECRTS} 2021, July
5-9, 2021, Virtual Conference},
pages = {1:1--1:18},
year = {2021},
crossref = {DBLP:conf/ecrts/2021},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2021.1},
doi = {10.4230/LIPICS.ECRTS.2021.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/PlatzerP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KyriakakisSPS21,
author = {Eleftherios Kyriakakis and
Jens Spars{\o} and
Peter P. Puschner and
Martin Schoeberl},
title = {Synchronizing Real-Time Tasks in Time-Triggered Networks},
booktitle = {24th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2021, Daegu, South Korea, June 1-3, 2021},
pages = {11--19},
year = {2021},
crossref = {DBLP:conf/isorc/2021},
url = {https://doi.org/10.1109/ISORC52013.2021.00013},
doi = {10.1109/ISORC52013.2021.00013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/KyriakakisSPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PlatzerP21,
author = {Michael Platzer and
Peter P. Puschner},
title = {A Processor Extension for Time-Predictable Code Execution},
booktitle = {24th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2021, Daegu, South Korea, June 1-3, 2021},
pages = {34--42},
year = {2021},
crossref = {DBLP:conf/isorc/2021},
url = {https://doi.org/10.1109/ISORC52013.2021.00016},
doi = {10.1109/ISORC52013.2021.00016},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/PlatzerP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pearl/KirnerP21,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten},
booktitle = {Echtzeit 2021 - Echtzeitkommunikation, Fachtagung des gemeinsamen
Fachausschusses Echtzeitsysteme von Gesellschaft f{\"{u}}r Informatik
e.V. (GI), VDI/VDE-Gesellschaft f{\"{u}}r Mess- und Automatisierungstechnik
{(GMA)} und Informationstechnischer Gesellschaft im {VDE} (ITG), Boppard,
21. und 22. November 2021},
pages = {93--102},
year = {2021},
crossref = {DBLP:conf/pearl/2021},
url = {https://doi.org/10.1007/978-3-658-37751-9\_11},
doi = {10.1007/978-3-658-37751-9\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pearl/KirnerP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/PuschnerK20,
author = {Peter P. Puschner and
Raimund Kirner},
title = {Asynchronous vs. synchronous interfacing to time-triggered communication
systems},
journal = {J. Syst. Archit.},
volume = {103},
pages = {101690},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2019.101690},
doi = {10.1016/J.SYSARC.2019.101690},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/PuschnerK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KyriakakisSPS20,
author = {Eleftherios Kyriakakis and
Jens Spars{\o} and
Peter P. Puschner and
Martin Schoeberl},
title = {Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress},
booktitle = {20th International Conference on Embedded Software, {EMSOFT} 2020,
Singapore, September 20-25, 2020},
pages = {15--17},
year = {2020},
crossref = {DBLP:conf/emsoft/2020},
url = {https://doi.org/10.1109/EMSOFT51651.2020.9244029},
doi = {10.1109/EMSOFT51651.2020.9244029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/KyriakakisSPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PlatzerP20,
author = {Michael Platzer and
Peter P. Puschner},
title = {A Real-Time Application with Fully Predictable Task Timing},
booktitle = {23rd {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2020, Nashville, TN, USA, May 19-21, 2020},
pages = {43--46},
year = {2020},
crossref = {DBLP:conf/isorc/2020},
url = {https://doi.org/10.1109/ISORC49007.2020.00016},
doi = {10.1109/ISORC49007.2020.00016},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/PlatzerP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/MarounSP20,
author = {Emad Jacob Maroun and
Martin Schoeberl and
Peter P. Puschner},
title = {Towards Dual-Issue Single-Path Code},
booktitle = {23rd {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2020, Nashville, TN, USA, May 19-21, 2020},
pages = {176--183},
year = {2020},
crossref = {DBLP:conf/isorc/2020},
url = {https://doi.org/10.1109/ISORC49007.2020.00039},
doi = {10.1109/ISORC49007.2020.00039},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/MarounSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PlatzerP20,
author = {Michael Platzer and
Peter P. Puschner},
title = {An Instruction Filter for Time-Predictable Code Execution on Standard
Processors},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2020 Workshops
- DECSoS 2020, DepDevOps 2020, {USDAI} 2020, and {WAISE} 2020, Lisbon,
Portugal, September 15, 2020, Proceedings},
pages = {111--122},
year = {2020},
crossref = {DBLP:conf/safecomp/2020w},
url = {https://doi.org/10.1007/978-3-030-55583-2\_8},
doi = {10.1007/978-3-030-55583-2\_8},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PlatzerP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PuschnerK19,
author = {Peter P. Puschner and
Raimund Kirner},
title = {Interfacing to Time-Triggered Communication Systems},
booktitle = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
pages = {201--208},
year = {2019},
crossref = {DBLP:conf/isorc/2019},
url = {https://doi.org/10.1109/ISORC.2019.00044},
doi = {10.1109/ISORC.2019.00044},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/PuschnerK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/PuschnerF19,
author = {Peter P. Puschner and
Bernhard Fr{\"{o}}mel},
title = {Composable Component Interfaces for Time-Triggered Systems},
booktitle = {8th Mediterranean Conference on Embedded Computing, {MECO} 2019, Budva,
Montenegro, June 10-14, 2019},
pages = {1--4},
year = {2019},
crossref = {DBLP:conf/meco/2019},
url = {https://doi.org/10.1109/MECO.2019.8760059},
doi = {10.1109/MECO.2019.8760059},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/PuschnerF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/VermaGSP19,
author = {Siddhartha Verma and
Thomas Gruber and
Christoph Schmittner and
Peter P. Puschner},
title = {Combined Approach for Safety and Security},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
10, 2019, Proceedings},
pages = {87--101},
year = {2019},
crossref = {DBLP:conf/safecomp/2019w},
url = {https://doi.org/10.1007/978-3-030-26250-1\_7},
doi = {10.1007/978-3-030-26250-1\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/VermaGSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/VermaGPSS18,
author = {Siddhartha Verma and
Thomas Gruber and
Peter P. Puschner and
Christoph Schmittner and
Erwin Schoitsch},
title = {A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s,
Sweden, September 18, 2018, Proceedings},
pages = {177--189},
year = {2018},
crossref = {DBLP:conf/safecomp/2018w},
url = {https://doi.org/10.1007/978-3-319-99229-7\_16},
doi = {10.1007/978-3-319-99229-7\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/VermaGPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/CilkuPPSP17,
author = {Bekim Cilku and
Wolfgang Puffitsch and
Daniel Prokesch and
Martin Schoeberl and
Peter P. Puschner},
title = {Improving Performance of Single-Path Code through a Time-Predictable
Memory Hierarchy},
booktitle = {20th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2017, Toronto, ON, Canada, May 16-18, 2017},
pages = {76--83},
year = {2017},
crossref = {DBLP:conf/isorc/2017},
url = {https://doi.org/10.1109/ISORC.2017.17},
doi = {10.1109/ISORC.2017.17},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/CilkuPPSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/SteinerP17,
author = {Dieter Steiner and
Peter P. Puschner},
title = {Error detection based on execution-time monitoring},
booktitle = {6th Mediterranean Conference on Embedded Computing, {MECO} 2017, Bar,
Montenegro, June 11-15, 2017},
pages = {1--5},
year = {2017},
crossref = {DBLP:conf/meco/2017},
url = {https://doi.org/10.1109/MECO.2017.7977166},
doi = {10.1109/MECO.2017.7977166},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/SteinerP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchoeberlCPP17,
author = {Martin Schoeberl and
Bekim Cilku and
Daniel Prokesch and
Peter P. Puschner},
title = {Best Practice for Caching of Single-Path Code},
booktitle = {17th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
pages = {2:1--2:12},
year = {2017},
crossref = {DBLP:conf/wcet/2017},
url = {https://doi.org/10.4230/OASIcs.WCET.2017.2},
doi = {10.4230/OASICS.WCET.2017.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/SchoeberlCPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/PuschnerCP16,
author = {Peter P. Puschner and
Bekim Cilku and
Daniel Prokesch},
title = {Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal
Control},
booktitle = {10th {IEEE} International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, {MCSOC} 2016, Lyon, France, September 21-23, 2016},
pages = {321--328},
year = {2016},
crossref = {DBLP:conf/mcsoc/2016},
url = {https://doi.org/10.1109/MCSoC.2016.55},
doi = {10.1109/MCSOC.2016.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/PuschnerCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchmittnerMRDP16,
author = {Christoph Schmittner and
Zhendong Ma and
Carolina Reyes and
Oliver Dillinger and
Peter P. Puschner},
title = {Using {SAE} {J3061} for Automotive Security Requirement Engineering},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2016 Workshops,
ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20,
2016, Proceedings},
pages = {157--170},
year = {2016},
crossref = {DBLP:conf/safecomp/2016w},
url = {https://doi.org/10.1007/978-3-319-45480-1\_13},
doi = {10.1007/978-3-319-45480-1\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchmittnerMRDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchmittnerMP16,
author = {Christoph Schmittner and
Zhendong Ma and
Peter P. Puschner},
title = {Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2016 Workshops,
ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20,
2016, Proceedings},
pages = {195--209},
year = {2016},
crossref = {DBLP:conf/safecomp/2016w},
url = {https://doi.org/10.1007/978-3-319-45480-1\_16},
doi = {10.1007/978-3-319-45480-1\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchmittnerMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SchoeberlAAACGG15,
author = {Martin Schoeberl and
Sahar Abbaspour and
Benny Akesson and
Neil C. Audsley and
Raffaele Capasso and
Jamie Garside and
Kees Goossens and
Sven Goossens and
Scott Hansen and
Reinhold Heckmann and
Stefan Hepp and
Benedikt Huber and
Alexander Jordan and
Evangelia Kasapaki and
Jens Knoop and
Yonghui Li and
Daniel Prokesch and
Wolfgang Puffitsch and
Peter P. Puschner and
Andr{\'{e}} Rocha and
Cl{\'{a}}udio Silva and
Jens Spars{\o} and
Alessandro Tocchi},
title = {{T-CREST:} Time-predictable multi-core architecture for embedded systems},
journal = {J. Syst. Archit.},
volume = {61},
number = {9},
pages = {449--471},
year = {2015},
url = {https://doi.org/10.1016/j.sysarc.2015.04.002},
doi = {10.1016/J.SYSARC.2015.04.002},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/SchoeberlAAACGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/CilkuKP15,
author = {Bekim Cilku and
Roland Kammerer and
Peter P. Puschner},
title = {Aligning single path loops to reduce the number of capacity cache
misses},
journal = {{SIGBED} Rev.},
volume = {12},
number = {1},
pages = {13--18},
year = {2015},
url = {https://doi.org/10.1145/2752801.2752803},
doi = {10.1145/2752801.2752803},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigbed/CilkuKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/CilkuP15,
author = {Bekim Cilku and
Peter P. Puschner},
title = {Designing a time predictable memory hierarchy for single-path code},
journal = {{SIGBED} Rev.},
volume = {12},
number = {2},
pages = {16--21},
year = {2015},
url = {https://doi.org/10.1145/2782753.2782755},
doi = {10.1145/2782753.2782755},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/CilkuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ebccsp/CilkuCPCP15,
author = {Bekim Cilku and
Alfons Crespo and
Peter P. Puschner and
Javier Coronel and
Salvador Peir{\'{o}}},
title = {A TDMA-Based arbitration scheme for mixed-criticality multicore platforms},
booktitle = {International Conference on Event-based Control, Communication, and
Signal Processing, {EBCCSP} 2015, Krakow, Poland, June 17-19, 2015},
pages = {1--6},
year = {2015},
crossref = {DBLP:conf/ebccsp/2015},
url = {https://doi.org/10.1109/EBCCSP.2015.7300671},
doi = {10.1109/EBCCSP.2015.7300671},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ebccsp/CilkuCPCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ProkeschHP15,
author = {Daniel Prokesch and
Stefan Hepp and
Peter P. Puschner},
title = {A Generator for Time-Predictable Code},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {27--34},
year = {2015},
crossref = {DBLP:conf/isorc/2015},
url = {https://doi.org/10.1109/ISORC.2015.40},
doi = {10.1109/ISORC.2015.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/ProkeschHP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/CilkuPP15,
author = {Bekim Cilku and
Daniel Prokesch and
Peter P. Puschner},
title = {A Time-Predictable Instruction-Cache Architecture that Uses Prefetching
and Cache Locking},
booktitle = {2015 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2015,
Auckland, New Zealand, April 13-17, 2015},
pages = {74--79},
year = {2015},
crossref = {DBLP:conf/isorc/2015w},
url = {https://doi.org/10.1109/ISORCW.2015.58},
doi = {10.1109/ISORCW.2015.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/CilkuPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AyestaranNPLP14,
author = {Iban Ayestaran and
Carlos Fernando Nicol{\'{a}}s and
Jon P{\'{e}}rez and
Asier Larrucea and
Peter P. Puschner},
title = {A novel modeling framework for time-triggered safety-critical embedded
systems},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages,
{FDL} 2014, Munich, Germany, October 14-16, 2014},
pages = {1--8},
year = {2014},
crossref = {DBLP:conf/fdl/2014},
url = {https://doi.org/10.1109/FDL.2014.7119343},
doi = {10.1109/FDL.2014.7119343},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/AyestaranNPLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MusatHBPKP14,
author = {Liana Musat and
Markus Hubl and
Andi Buzo and
Georg Pelz and
Susanne Kandl and
Peter P. Puschner},
title = {Semi-formal representation of requirements for automotive solutions
using sysML},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages,
{FDL} 2014, Munich, Germany, October 14-16, 2014},
pages = {1--8},
year = {2014},
crossref = {DBLP:conf/fdl/2014},
url = {https://doi.org/10.1109/FDL.2014.7119357},
doi = {10.1109/FDL.2014.7119357},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/MusatHBPKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/CilkuFP14,
author = {Bekim Cilku and
Bernhard Fr{\"{o}}mel and
Peter P. Puschner},
title = {A dual-layer bus arbiter for mixed-criticality systems with hypervisors},
booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN}
2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
pages = {147--151},
year = {2014},
crossref = {DBLP:conf/indin/2014},
url = {https://doi.org/10.1109/INDIN.2014.6945499},
doi = {10.1109/INDIN.2014.6945499},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/CilkuFP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/AyestaranNPLP14,
author = {Iban Ayestaran and
Carlos Fernando Nicol{\'{a}}s and
Jon P{\'{e}}rez and
Asier Larrucea and
Peter P. Puschner},
title = {Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical
Embedded Systems},
booktitle = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
10-12, 2014},
pages = {180--187},
year = {2014},
crossref = {DBLP:conf/isorc/2014},
url = {https://doi.org/10.1109/ISORC.2014.9},
doi = {10.1109/ISORC.2014.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/AyestaranNPLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/AyestaranNPP14,
author = {Iban Ayestaran and
Carlos F. Nicol{\'{a}}s and
Jon P{\'{e}}rez and
Peter P. Puschner},
title = {Modeling logical execution time based safety-critical embedded systems
in SystemC},
booktitle = {3rd Mediterranean Conference on Embedded Computing, {MECO} 2014, Budva,
Montenegro, June 15-19, 2014},
pages = {77--80},
year = {2014},
crossref = {DBLP:conf/meco/2014},
url = {https://doi.org/10.1109/MECO.2014.6862662},
doi = {10.1109/MECO.2014.6862662},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/AyestaranNPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AyestaranNPLP14,
author = {Iban Ayestaran and
Carlos Fernando Nicol{\'{a}}s and
Jon P{\'{e}}rez and
Asier Larrucea and
Peter P. Puschner},
title = {A Simulated Fault Injection Framework for Time-Triggered Safety-Critical
Embedded Systems},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
pages = {1--16},
year = {2014},
crossref = {DBLP:conf/safecomp/2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_1},
doi = {10.1007/978-3-319-10506-2\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AyestaranNPLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchmittnerGPS14,
author = {Christoph Schmittner and
Thomas Gruber and
Peter P. Puschner and
Erwin Schoitsch},
title = {Security Application of Failure Mode and Effect Analysis {(FMEA)}},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
pages = {310--325},
year = {2014},
crossref = {DBLP:conf/safecomp/2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_21},
doi = {10.1007/978-3-319-10506-2\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchmittnerGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/ProkeschHP14,
author = {Daniel Prokesch and
Benedikt Huber and
Peter P. Puschner},
title = {Towards Automated Generation of Time-Predictable Code},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2014, July 8, 2014, Ulm, Germany},
pages = {103--112},
year = {2014},
crossref = {DBLP:conf/wcet/2014},
url = {https://doi.org/10.4230/OASIcs.WCET.2014.103},
doi = {10.4230/OASICS.WCET.2014.103},
timestamp = {Tue, 19 Aug 2025 16:16:35 +0200},
biburl = {https://dblp.org/rec/conf/wcet/ProkeschHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsfma/ElshuberKP13,
author = {Martin Elshuber and
Susanne Kandl and
Peter P. Puschner},
title = {Improving System-Level Verification of SystemC Models with {SPIN}},
booktitle = {1st French Singaporean Workshop on Formal Methods and Applications,
{FSFMA} 2013, July 15-16, 2013, Singapore},
pages = {74--79},
year = {2013},
crossref = {DBLP:conf/fsfma/2013},
url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.74},
doi = {10.4230/OASICS.FSFMA.2013.74},
timestamp = {Tue, 19 Aug 2025 16:16:35 +0200},
biburl = {https://dblp.org/rec/conf/fsfma/ElshuberKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GeyerHPP13,
author = {Clemens B. Geyer and
Benedikt Huber and
Daniel Prokesch and
Peter P. Puschner},
title = {Time-predictable code execution - Instruction-set support for the
single-path approach},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
pages = {1--8},
year = {2013},
crossref = {DBLP:conf/isorc/2013},
url = {https://doi.org/10.1109/ISORC.2013.6913195},
doi = {10.1109/ISORC.2013.6913195},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/GeyerHPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PuschnerPHKHG13,
author = {Peter P. Puschner and
Daniel Prokesch and
Benedikt Huber and
Jens Knoop and
Stefan Hepp and
Gernot Gebhard},
title = {The {T-CREST} approach of compiler and WCET-analysis integration},
booktitle = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
pages = {1--8},
year = {2013},
crossref = {DBLP:conf/isorc/2013},
url = {https://doi.org/10.1109/ISORC.2013.6913220},
doi = {10.1109/ISORC.2013.6913220},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PuschnerPHKHG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/HuberPP13,
author = {Benedikt Huber and
Daniel Prokesch and
Peter P. Puschner},
title = {Combined {WCET} analysis of bitcode and machine code using control-flow
relation graphs},
booktitle = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
Embedded Systems 2013, {LCTES} '13, Seattle, WA, USA, June 20-21,
2013},
pages = {163--172},
year = {2013},
crossref = {DBLP:conf/lctrts/2013},
url = {https://doi.org/10.1145/2491899.2465567},
doi = {10.1145/2491899.2465567},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/HuberPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/Puschner13,
author = {Peter P. Puschner},
title = {Embedded systems for safety-critical and mixed-criticality applications},
booktitle = {2nd Mediterranean Conference on Embedded Computing, {MECO} 2013, Budva,
Montenegro, June 15-20, 2013},
pages = {1--2},
year = {2013},
crossref = {DBLP:conf/meco/2013},
url = {https://doi.org/10.1109/MECO.2013.6601390},
doi = {10.1109/MECO.2013.6601390},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/meco/Puschner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/Puschner13a,
author = {Peter P. Puschner},
title = {Constructing time-critical embedded systems: Decide before runtime},
booktitle = {2nd Mediterranean Conference on Embedded Computing, {MECO} 2013, Budva,
Montenegro, June 15-20, 2013},
pages = {1},
year = {2013},
crossref = {DBLP:conf/meco/2013},
url = {https://doi.org/10.1109/MECO.2013.6601383},
doi = {10.1109/MECO.2013.6601383},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/Puschner13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PuschnerKHP12,
author = {Peter P. Puschner and
Raimund Kirner and
Benedikt Huber and
Daniel Prokesch},
title = {Compiling for Time Predictability},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2012 Workshops:
Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany,
September 25-28, 2012. Proceedings},
pages = {382--391},
year = {2012},
crossref = {DBLP:conf/safecomp/2012w},
url = {https://doi.org/10.1007/978-3-642-33675-1\_35},
doi = {10.1007/978-3-642-33675-1\_35},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PuschnerKHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuberPP12,
author = {Benedikt Huber and
Daniel Prokesch and
Peter P. Puschner},
title = {A Formal Framework for Precise Parametric {WCET} Formulas},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2012, July 10, 2012, Pisa, Italy},
pages = {91--102},
year = {2012},
crossref = {DBLP:conf/wcet/2012},
url = {https://doi.org/10.4230/OASIcs.WCET.2012.91},
doi = {10.4230/OASICS.WCET.2012.91},
timestamp = {Tue, 19 Aug 2025 16:16:35 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HuberPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/KadlecKP11,
author = {Albrecht Kadlec and
Raimund Kirner and
Peter P. Puschner},
title = {Code transformations to prevent timing anomalies},
journal = {Comput. Syst. Sci. Eng.},
volume = {26},
number = {6},
year = {2011},
timestamp = {Thu, 23 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/KadlecKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ErmedahlP11,
author = {Andreas Ermedahl and
Peter P. Puschner},
title = {Preface to the special issue on worst-case execution-time analysis},
journal = {J. Syst. Archit.},
volume = {57},
number = {7},
pages = {675--676},
year = {2011},
url = {https://doi.org/10.1016/j.sysarc.2011.06.001},
doi = {10.1016/J.SYSARC.2011.06.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/ErmedahlP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/CilkuP11,
author = {Bekim Cilku and
Peter P. Puschner},
title = {Using a Local Prefetch Strategy to Obtain Temporal Time Predictability},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {227--233},
year = {2011},
crossref = {DBLP:conf/isorc/2011w},
url = {https://doi.org/10.1109/ISORCW.2011.41},
doi = {10.1109/ISORCW.2011.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/CilkuP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KirnerPP10,
author = {Raimund Kirner and
Peter P. Puschner and
Adrian Prantl},
title = {Transforming flow information during code optimization for timing
analysis},
journal = {Real Time Syst.},
volume = {45},
number = {1-2},
pages = {72--105},
year = {2010},
url = {https://doi.org/10.1007/s11241-010-9091-8},
doi = {10.1007/S11241-010-9091-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KirnerPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KadlecKP10,
author = {Albrecht Kadlec and
Raimund Kirner and
Peter P. Puschner},
title = {Avoiding Timing Anomalies Using Code Transformations},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {123--132},
year = {2010},
crossref = {DBLP:conf/isorc/2010},
url = {https://doi.org/10.1109/ISORC.2010.27},
doi = {10.1109/ISORC.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KadlecKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/CilkuP10,
author = {Bekim Cilku and
Peter P. Puschner},
title = {Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching
Options to be Explored},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2010,
Carmona, Sevilla, Spain, May 4-7, 2010},
pages = {219--225},
year = {2010},
crossref = {DBLP:conf/isorc/2010w},
url = {https://doi.org/10.1109/ISORCW.2010.22},
doi = {10.1109/ISORCW.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/CilkuP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/KirnerP10,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Time-Predictable Computing},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
pages = {23--34},
year = {2010},
crossref = {DBLP:conf/seus/2010},
url = {https://doi.org/10.1007/978-3-642-16256-5\_5},
doi = {10.1007/978-3-642-16256-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seus/KirnerP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HuberP10,
author = {Benedikt Huber and
Peter P. Puschner},
title = {A Code Policy Guaranteeing Fully Automated Path Analysis},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2010, July 6, 2010, Brussels, Belgium},
pages = {77--88},
year = {2010},
crossref = {DBLP:conf/wcet/2010},
url = {https://doi.org/10.4230/OASIcs.WCET.2010.77},
doi = {10.4230/OASICS.WCET.2010.77},
timestamp = {Tue, 19 Aug 2025 16:16:35 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HuberP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2010,
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
title = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6399},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16256-5},
doi = {10.1007/978-3-642-16256-5},
isbn = {978-3-642-16255-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seus/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KirnerKP09,
author = {Raimund Kirner and
Albrecht Kadlec and
Peter P. Puschner},
title = {Precise Worst-Case Execution Time Analysis for Processors with Timing
Anomalies},
booktitle = {21st Euromicro Conference on Real-Time Systems, {ECRTS} 2009, Dublin,
Ireland, July 1-3, 2009},
pages = {119--128},
year = {2009},
crossref = {DBLP:conf/ecrts/2009},
url = {https://doi.org/10.1109/ECRTS.2009.8},
doi = {10.1109/ECRTS.2009.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/KirnerKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PuschnerK09,
author = {Peter P. Puschner and
Raimund Kirner},
title = {Model-Driven Design and Organic Computing -- Combinable Strategies?},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {101},
year = {2009},
crossref = {DBLP:conf/isorc/2009},
url = {https://doi.org/10.1109/ISORC.2009.22},
doi = {10.1109/ISORC.2009.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PuschnerK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/SchoeberlPK09,
author = {Martin Schoeberl and
Peter P. Puschner and
Raimund Kirner},
title = {A Single-Path Chip-Multiprocessor System},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 7th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2009, Newport Beach, CA,
USA, November 16-18, 2009, Proceedings},
pages = {47--57},
year = {2009},
crossref = {DBLP:conf/seus/2009},
url = {https://doi.org/10.1007/978-3-642-10265-3\_5},
doi = {10.1007/978-3-642-10265-3\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seus/SchoeberlPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HolstiBFPW09,
author = {Niklas Holsti and
Guillem Bernat and
Christian Ferdinand and
Peter P. Puschner and
Reinhard Wilhelm},
title = {Teaching {WCET} Analysis in Academia and Industry: {A} Panel Discussion},
booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
year = {2009},
crossref = {DBLP:conf/wcet/2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2278},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HolstiBFPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/SchoeberlP09,
author = {Martin Schoeberl and
Peter P. Puschner},
title = {Is Chip-Multiprocessing the End of Real-Time Scheduling?},
booktitle = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
year = {2009},
crossref = {DBLP:conf/wcet/2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2288},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/SchoeberlP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/WilhelmEEHTWBFHMMPPSS08,
author = {Reinhard Wilhelm and
Jakob Engblom and
Andreas Ermedahl and
Niklas Holsti and
Stephan Thesing and
David B. Whalley and
Guillem Bernat and
Christian Ferdinand and
Reinhold Heckmann and
Tulika Mitra and
Frank Mueller and
Isabelle Puaut and
Peter P. Puschner and
Jan Staschulat and
Per Stenstr{\"{o}}m},
title = {The worst-case execution-time problem - overview of methods and survey
of tools},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {7},
number = {3},
pages = {36:1--36:53},
year = {2008},
url = {https://doi.org/10.1145/1347375.1347389},
doi = {10.1145/1347375.1347389},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/WilhelmEEHTWBFHMMPPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WenzelKRP08,
author = {Ingomar Wenzel and
Raimund Kirner and
Bernhard Rieder and
Peter P. Puschner},
title = {Measurement-Based Timing Analysis},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
pages = {430--444},
year = {2008},
crossref = {DBLP:conf/isola/2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_30},
doi = {10.1007/978-3-540-88479-8\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WenzelKRP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KirnerP08,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Obstacles in Worst-Case Execution Time Analysis},
booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {333--339},
year = {2008},
crossref = {DBLP:conf/isorc/2008},
url = {https://doi.org/10.1109/ISORC.2008.65},
doi = {10.1109/ISORC.2008.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KirnerP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/KhyoPD08,
author = {Guenter Khyo and
Peter P. Puschner and
Martin Delvai},
title = {An Operating System for a Time-Predictable Computing Node},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 6th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2008, Anacarpi, Capri Island,
Italy, October 1-3, 2008, Proceedings},
pages = {150--161},
year = {2008},
crossref = {DBLP:conf/seus/2008},
url = {https://doi.org/10.1007/978-3-540-87785-1\_14},
doi = {10.1007/978-3-540-87785-1\_14},
timestamp = {Wed, 22 Mar 2023 16:53:33 +0100},
biburl = {https://dblp.org/rec/conf/seus/KhyoPD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/PuschnerS08,
author = {Peter P. Puschner and
Martin Schoeberl},
title = {On Composable System Timing, Task Timing, and {WCET} Analysis},
booktitle = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
year = {2008},
crossref = {DBLP:conf/wcet/2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1662},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/PuschnerS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wises/RiederPW08,
author = {Bernhard Rieder and
Peter P. Puschner and
Ingomar Wenzel},
title = {Using model checking to derive loop bounds of general loops within
{ANSI-C} applications for measurement based {WCET} analysis},
booktitle = {International Workshop on Intelligent Solutions in Embedded Systems,
{WISES} 2008, Regensburg, Germany, July 10-11, 2008},
pages = {1--7},
year = {2008},
crossref = {DBLP:conf/wises/2008},
url = {https://doi.org/10.1109/WISES.2008.4623310},
doi = {10.1109/WISES.2008.4623310},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wises/RiederPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/RiederWSP07,
author = {Bernhard Rieder and
Ingomar Wenzel and
Klaus Steinhammer and
Peter P. Puschner},
title = {Using a Runtime Measurement Device with Measurement-Based {WCET} Analysis},
booktitle = {Embedded System Design: Topics, Techniques and Trends, {IFIP} {TC10}
Working Conference: International Embedded Systems Symposium (IESS),
May 30 - June 1, 2007, Irvine, CA, {USA}},
pages = {15--26},
year = {2007},
crossref = {DBLP:conf/iess/2007},
url = {https://doi.org/10.1007/978-0-387-72258-0\_2},
doi = {10.1007/978-0-387-72258-0\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/RiederWSP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KirnerP07,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped
Instruction Cache},
booktitle = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
pages = {87--93},
year = {2007},
crossref = {DBLP:conf/isorc/2007},
url = {https://doi.org/10.1109/ISORC.2007.56},
doi = {10.1109/ISORC.2007.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KirnerP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KandlKP07,
author = {Susanne Kandl and
Raimund Kirner and
Peter P. Puschner},
title = {Automated Formal Verification and Testing of {C} Programs for Embedded
Systems},
booktitle = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
pages = {373--381},
year = {2007},
crossref = {DBLP:conf/isorc/2007},
url = {https://doi.org/10.1109/ISORC.2007.22},
doi = {10.1109/ISORC.2007.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KandlKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/WenzelKRP07,
author = {Ingomar Wenzel and
Raimund Kirner and
Bernhard Rieder and
Peter P. Puschner},
title = {Cross-Platform Verification Framework for Embedded Systems},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 5th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2007, Santorini Island, Greece,
May 2007. Revised Papers},
pages = {137--148},
year = {2007},
crossref = {DBLP:conf/seus/2007},
url = {https://doi.org/10.1007/978-3-540-75664-4\_14},
doi = {10.1007/978-3-540-75664-4\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seus/WenzelKRP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2007,
editor = {Roman Obermaisser and
Yunmook Nah and
Peter P. Puschner and
Franz{-}Josef Rammig},
title = {Software Technologies for Embedded and Ubiquitous Systems, 5th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2007, Santorini Island, Greece,
May 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4761},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75664-4},
doi = {10.1007/978-3-540-75664-4},
isbn = {978-3-540-75663-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seus/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KimP06,
author = {Moon Hae Kim and
Peter P. Puschner},
title = {Guest Editorial: Introduction to the Special Issue},
journal = {Real Time Syst.},
volume = {32},
number = {3},
pages = {171--173},
year = {2006},
url = {https://doi.org/10.1007/s11241-005-4678-1},
doi = {10.1007/S11241-005-4678-1},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KimP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/GustafssonLKP06,
author = {Jan Gustafsson and
Bj{\"{o}}rn Lisper and
Raimund Kirner and
Peter P. Puschner},
title = {Code Analysis for Temporal Predictability},
journal = {Real Time Syst.},
volume = {32},
number = {3},
pages = {253--277},
year = {2006},
url = {https://doi.org/10.1007/s11241-005-4683-4},
doi = {10.1007/S11241-005-4683-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/GustafssonLKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/PuschnerK06,
author = {Peter P. Puschner and
Raimund Kirner},
title = {From Time-Triggered to Time-Deterministic Real-Time Systems},
booktitle = {From Model-Driven Design to Resource Management for Distributed Embedded
Systems, {IFIP} {TC} 10 Working Conference on Distributed and Parallel
Embedded Systems {(DIPES} 2006), October 11-13, 2006, Braga, Portugal},
pages = {115--124},
year = {2006},
crossref = {DBLP:conf/ifip10-3/2006dipes},
url = {https://doi.org/10.1007/978-0-387-39362-9\_13},
doi = {10.1007/978-0-387-39362-9\_13},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/PuschnerK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KirnerPWR06,
author = {Raimund Kirner and
Peter P. Puschner and
Ingomar Wenzel and
Bernhard Rieder},
title = {Portable Data Exchange for Remote-Testing Frameworks},
booktitle = {Ninth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2006), 24-26 April 2006, Gyeongju,
Korea},
pages = {476--484},
year = {2006},
crossref = {DBLP:conf/isorc/2006},
url = {https://doi.org/10.1109/ISORC.2006.63},
doi = {10.1109/ISORC.2006.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KirnerPWR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerGP06,
author = {Raimund Kirner and
Markus Gr{\"{o}}ssing and
Peter P. Puschner},
title = {Comparing {WCET} and Resource Demands of Trigonometric Functions Implemented
as Iterative Calculations vs. Table-Lookup},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 4, 2006, Dresden, Germany},
year = {2006},
crossref = {DBLP:conf/wcet/2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/669},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/KirnerGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wises/KandlKP06,
author = {Susanne Kandl and
Raimund Kirner and
Peter P. Puschner},
title = {Development of a Framework for Automated Systematic Testing of Safety-Critical
Embedded Systems},
booktitle = {4th International Workshop on Intelligent Solutions in Embedded Systems,
{WISES} 2006, Vienna, Austria, June 30, 2006},
pages = {65--77},
year = {2006},
crossref = {DBLP:conf/wises/2006},
url = {https://doi.org/10.1109/WISES.2006.329116},
doi = {10.1109/WISES.2006.329116},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wises/KandlKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Puschner05,
author = {Peter P. Puschner},
title = {Guest Editorial},
journal = {Real Time Syst.},
volume = {30},
number = {1-2},
pages = {5--6},
year = {2005},
url = {https://doi.org/10.1007/s11241-005-0501-2},
doi = {10.1007/S11241-005-0501-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Puschner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WenzelRKP05,
author = {Ingomar Wenzel and
Bernhard Rieder and
Raimund Kirner and
Peter P. Puschner},
title = {Automatic Timing Model Generation by {CFG} Partitioning and Model
Checking},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {606--611},
year = {2005},
crossref = {DBLP:conf/date/2005},
url = {https://doi.org/10.1109/DATE.2005.76},
doi = {10.1109/DATE.2005.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/WenzelRKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KirnerP05,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Classification of {WCET} Analysis Techniques},
booktitle = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA,
{USA}},
pages = {190--199},
year = {2005},
crossref = {DBLP:conf/isorc/2005},
url = {https://doi.org/10.1109/ISORC.2005.19},
doi = {10.1109/ISORC.2005.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KirnerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/WenzelKPR05,
author = {Ingomar Wenzel and
Raimund Kirner and
Peter P. Puschner and
Bernhard Rieder},
title = {Principles of Timing Anomalies in Superscalar Processors},
booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
pages = {295--306},
year = {2005},
crossref = {DBLP:conf/qsic/2005},
url = {https://doi.org/10.1109/QSIC.2005.49},
doi = {10.1109/QSIC.2005.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/WenzelKPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/WenzelKRP05,
author = {Ingomar Wenzel and
Raimund Kirner and
Bernhard Rieder and
Peter P. Puschner},
title = {Measurement-Based Worst-Case Execution Time Analysis},
booktitle = {Third {IEEE} Workshop on Software Technologies for Future Embedded
and Ubiquitous Systems, {SEUS} 2005, Seattle, WA, USA, May 16-17,
2005},
pages = {7--10},
year = {2005},
crossref = {DBLP:conf/seus/2005},
url = {https://doi.org/10.1109/SEUS.2005.12},
doi = {10.1109/SEUS.2005.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seus/WenzelKRP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerP05,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Classification of Code Annotations and Discussion of Compiler-Support
for Worst-Case Execution Time Analysis},
booktitle = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 5, 2005, Palma de Mallorca, Spain},
year = {2005},
crossref = {DBLP:conf/wcet/2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/815},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/KirnerP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/Puschner05,
author = {Peter P. Puschner},
title = {Experiments with WCET-Oriented Programming and the Single-Path Architecture},
booktitle = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
pages = {205--210},
year = {2005},
crossref = {DBLP:conf/words/2005},
url = {https://doi.org/10.1109/WORDS.2005.36},
doi = {10.1109/WORDS.2005.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/Puschner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PitzekP04,
author = {Stefan Pitzek and
Peter P. Puschner},
title = {Function Test Environment for Embedded Driver Components},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {237--244},
year = {2004},
crossref = {DBLP:conf/isorc/2004},
url = {https://doi.org/10.1109/ISORC.2004.1300357},
doi = {10.1109/ISORC.2004.1300357},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PitzekP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/WellingsP03,
author = {Andy J. Wellings and
Peter P. Puschner},
title = {Evaluating the Expressive Power of the Real-Time Specification for
Java},
journal = {Real Time Syst.},
volume = {24},
number = {3},
pages = {319--359},
year = {2003},
url = {https://doi.org/10.1023/A:1022816701710},
doi = {10.1023/A:1022816701710},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/WellingsP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/DelvaiHPS03,
author = {Martin Delvai and
Wolfgang Huber and
Peter P. Puschner and
Andreas Steininger},
title = {Processor Support for Temporal Predictability - The {SPEAR} Design
Example},
booktitle = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
July 2003, Porto, Portugal, Proceedings},
pages = {169--176},
year = {2003},
crossref = {DBLP:conf/ecrts/2003},
url = {https://doi.org/10.1109/EMRTS.2003.1212740},
doi = {10.1109/EMRTS.2003.1212740},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/DelvaiHPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FausterKP03,
author = {Janosch Fauster and
Raimund Kirner and
Peter P. Puschner},
title = {Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented
Programs},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
pages = {190--205},
year = {2003},
crossref = {DBLP:conf/emsoft/2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_13},
doi = {10.1007/978-3-540-45212-6\_13},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/FausterKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Puschner03,
author = {Peter P. Puschner},
title = {Hard Real-Time Programming is Different},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {116},
year = {2003},
crossref = {DBLP:conf/ipps/2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213230},
doi = {10.1109/IPDPS.2003.1213230},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Puschner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/KirnerP03,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Transformation of Meta-Information by Abstract Co-interpretation},
booktitle = {Software and Compilers for Embedded Systems, 7th International Workshop,
{SCOPES} 2003, Vienna, Austria, September 24-26, 2003, Proceedings},
pages = {298--312},
year = {2003},
crossref = {DBLP:conf/scopes/2003},
url = {https://doi.org/10.1007/978-3-540-39920-9\_21},
doi = {10.1007/978-3-540-39920-9\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scopes/KirnerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/KirnerP03,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Discussion of Misconceptions about {WCET} Analysis},
booktitle = {Proceedings of the 3rd International Workshop on Worst-Case Execution
Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
Institute of Porto, Portugal, July 1, 2003},
pages = {61--64},
year = {2003},
crossref = {DBLP:conf/wcet/2003},
timestamp = {Tue, 19 Apr 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/KirnerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wises/KirnerP03,
author = {Raimund Kirner and
Peter P. Puschner},
title = {A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis
for Model-Based Application Development},
booktitle = {Proceedings of the First Workshop on Intelligent Solutions in Embedded
Systems, {WISES} 2003, Vienna University of Technology, Vienna, Austria,
2003, June 27},
pages = {15--24},
year = {2003},
crossref = {DBLP:conf/wises/2003},
timestamp = {Tue, 31 Jan 2006 13:50:53 +0100},
biburl = {https://dblp.org/rec/conf/wises/KirnerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wises/PitzekP03,
author = {Stefan Pitzek and
Peter P. Puschner},
title = {Function Test Framework for Testing IO-Blocks in a Model-Based Rapid
Prototyping Development Environment for Embedded Control Applications},
booktitle = {Proceedings of the First Workshop on Intelligent Solutions in Embedded
Systems, {WISES} 2003, Vienna University of Technology, Vienna, Austria,
2003, June 27},
pages = {85--96},
year = {2003},
crossref = {DBLP:conf/wises/2003},
timestamp = {Tue, 31 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wises/PitzekP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/Puschner03,
author = {Peter P. Puschner},
title = {Algorithms for Dependable Hard Real-Time Systems},
booktitle = {8th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2003), 15-17 January 2003, Guadalajara, Mexico},
pages = {26--31},
year = {2003},
crossref = {DBLP:conf/words/2003},
url = {https://doi.org/10.1109/WORDS.2003.1218062},
doi = {10.1109/WORDS.2003.1218062},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/Puschner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/GustafssonLKP03,
author = {Jan Gustafsson and
Bj{\"{o}}rn Lisper and
Raimund Kirner and
Peter P. Puschner},
title = {Input-Dependency Analysis for Hard Real-Time Software},
booktitle = {9th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} Fall 2003), 1-3 October 2003, Anacapri (Capri Island),
Italy},
pages = {53--60},
year = {2003},
crossref = {DBLP:conf/words/2003f},
url = {https://doi.org/10.1109/WORDS.2003.1267490},
doi = {10.1109/WORDS.2003.1267490},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/GustafssonLKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/KirnerP03,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Timing Analysis of Optimised Code},
booktitle = {8th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2003), 15-17 January 2003, Guadalajara, Mexico},
pages = {100--105},
year = {2003},
crossref = {DBLP:conf/words/2003},
url = {https://doi.org/10.1109/WORDS.2003.1218071},
doi = {10.1109/WORDS.2003.1218071},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/KirnerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wstfeus/PuschnerK03,
author = {Peter P. Puschner and
Raimund Kirner},
title = {Avoiding Timing Problems in Real-Time Software},
booktitle = {1st {IEEE} Workshop on Software Technologies for Future Embedded Systems,
{WSTFES} 2003, Hakodate, Hokkaido, Japan, May 15-16, 2003},
pages = {75--78},
year = {2003},
crossref = {DBLP:conf/wstfeus/2003},
url = {https://doi.org/10.1109/WSTFES.2003.1201365},
doi = {10.1109/WSTFES.2003.1201365},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wstfeus/PuschnerK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KirnerLFP02,
author = {Raimund Kirner and
Roland Lang and
Gerald Freiberger and
Peter P. Puschner},
title = {Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink
Models},
booktitle = {14th Euromicro Conference on Real-Time Systems {(ECRTS} 2002), 19-21
June 2002, Vienna, Austria, Proceedings},
pages = {31--40},
year = {2002},
crossref = {DBLP:conf/ecrts/2002},
url = {https://doi.org/10.1109/EMRTS.2002.1019183},
doi = {10.1109/EMRTS.2002.1019183},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/KirnerLFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/Puschner02,
author = {Peter P. Puschner},
title = {Transforming Execution-Time Boundable Code into Temporally Predictable
Code},
booktitle = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\)
World Computer Congress - {TC10} Stream on Distributed and Parallel
Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada},
pages = {163--172},
year = {2002},
crossref = {DBLP:conf/ifip10-3/2002dipes},
timestamp = {Mon, 26 Aug 2002 08:29:48 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/Puschner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BateBP02,
author = {Iain Bate and
Guillem Bernat and
Peter P. Puschner},
title = {Java Virtual-Machine Support for Portable Worst-Case Execution-Time
Analysis},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {83--90},
year = {2002},
crossref = {DBLP:conf/isorc/2002},
url = {https://doi.org/10.1109/ISORC.2002.1003664},
doi = {10.1109/ISORC.2002.1003664},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BateBP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/PuschnerB02,
author = {Peter P. Puschner and
Alan Burns},
title = {Writing Temporally Predictable Code},
booktitle = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
pages = {85--94},
year = {2002},
crossref = {DBLP:conf/words/2002},
url = {https://doi.org/10.1109/WORDS.2002.1000040},
doi = {10.1109/WORDS.2002.1000040},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/PuschnerB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KirnerP01,
author = {Raimund Kirner and
Peter P. Puschner},
title = {Transformation of Path Information for {WCET} Analysis during Compilation},
booktitle = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
June 2001, Delft, The Netherlands, Proceedings},
pages = {29--36},
year = {2001},
crossref = {DBLP:conf/ecrts/2001},
url = {https://doi.org/10.1109/EMRTS.2001.933993},
doi = {10.1109/EMRTS.2001.933993},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/KirnerP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PuschnerB01,
author = {Peter P. Puschner and
Guillem Bernat},
title = {{WCET} Analysis of Reusable Portable Code},
booktitle = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
June 2001, Delft, The Netherlands, Proceedings},
pages = {45},
year = {2001},
crossref = {DBLP:conf/ecrts/2001},
url = {https://doi.org/10.1109/EMRTS.2001.933998},
doi = {10.1109/EMRTS.2001.933998},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/PuschnerB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BauerKP01,
author = {G{\"{u}}nther Bauer and
Hermann Kopetz and
Peter P. Puschner},
title = {Assumption coverage under different failure modes in the time-triggered
architecture},
booktitle = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan
les Pins, France - Volume 1},
pages = {333--341},
year = {2001},
crossref = {DBLP:conf/etfa/2001-1},
url = {https://doi.org/10.1109/ETFA.2001.996386},
doi = {10.1109/ETFA.2001.996386},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/BauerKP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PuschnerW01,
author = {Peter P. Puschner and
Andy J. Wellings},
title = {A Profile for High-Integrity Real-Time Java Programs},
booktitle = {4th International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2001), 2-4 May 2001, Magdeburg, Germany},
pages = {15--22},
year = {2001},
crossref = {DBLP:conf/isorc/2001},
url = {https://doi.org/10.1109/ISORC.2001.922813},
doi = {10.1109/ISORC.2001.922813},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PuschnerW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/DobrinFP01,
author = {Radu Dobrin and
Gerhard Fohler and
Peter P. Puschner},
title = {Translating Off-Line Schedules into Task Attributes for Fixed Priority
Scheduling},
booktitle = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
2001), London, UK, 2-6 December 2001},
pages = {225--234},
year = {2001},
crossref = {DBLP:conf/rtss/2001},
url = {https://doi.org/10.1109/REAL.2001.990615},
doi = {10.1109/REAL.2001.990615},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/DobrinFP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PuschnerB00,
author = {Peter P. Puschner and
Alan Burns},
title = {Guest Editorial: {A} Review of Worst-Case Execution-Time Analysis},
journal = {Real Time Syst.},
volume = {18},
number = {2/3},
pages = {115--128},
year = {2000},
url = {https://doi.org/10.1023/A:1008119029962},
doi = {10.1023/A:1008119029962},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/PuschnerB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BateBMP00,
author = {Iain Bate and
Guillem Bernat and
G. Murphy and
Peter P. Puschner},
title = {Low-level analysis of a portable Java byte code {WCET} analysis framework},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {39},
year = {2000},
crossref = {DBLP:conf/rtcsa/2000},
url = {https://doi.org/10.1109/RTCSA.2000.896369},
doi = {10.1109/RTCSA.2000.896369},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BateBMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Puschner99,
author = {Peter P. Puschner},
title = {Real-Time Performance of Sorting Algorithms},
journal = {Real Time Syst.},
volume = {16},
number = {1},
pages = {63--79},
year = {1999},
url = {https://doi.org/10.1023/A:1008055919262},
doi = {10.1023/A:1008055919262},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Puschner99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PuschnerB99,
author = {Peter P. Puschner and
Alan Burns},
title = {Time-constrained sorting-a comparison of different algorithms},
booktitle = {11th Euromicro Conference on Real-Time Systems {(ECRTS} 1999), 9-11
June 1999, York, England, UK, Proceedings},
pages = {78--85},
year = {1999},
crossref = {DBLP:conf/ecrts/1999},
url = {https://doi.org/10.1109/EMRTS.1999.777453},
doi = {10.1109/EMRTS.1999.777453},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/PuschnerB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Puschner98,
author = {Peter P. Puschner},
title = {A tool for high-level language analysis of worst-case execution times},
booktitle = {10th Euromicro Conference on Real-Time Systems {(ECRTS} 1998), 17-19
June 1998, berlin, Germany, Proceedings},
pages = {130--137},
year = {1998},
crossref = {DBLP:conf/ecrts/1998},
url = {https://doi.org/10.1109/EMWRTS.1998.685077},
doi = {10.1109/EMWRTS.1998.685077},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Puschner98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PuschnerN98,
author = {Peter P. Puschner and
Roman Nossal},
title = {Testing the Results of Static Worst-Case Execution-Time Analysis},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {134--143},
year = {1998},
crossref = {DBLP:conf/rtss/1998},
url = {https://doi.org/10.1109/REAL.1998.739738},
doi = {10.1109/REAL.1998.739738},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PuschnerN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PuschnerS97,
author = {Peter P. Puschner and
Anton V. Schedl},
title = {Computing Maximum Task Execution Times - {A} Graph-Based Approach},
journal = {Real Time Syst.},
volume = {13},
number = {1},
pages = {67--91},
year = {1997},
url = {https://doi.org/10.1023/A:1007905003094},
doi = {10.1023/A:1007905003094},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/PuschnerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MittermairP97,
author = {Dietmar Mittermair and
Peter P. Puschner},
title = {Which sorting algorithms to choose for hard real-time applications},
booktitle = {Proceedings of the Ninth Euromicro Workshop on Real-Time Systems,
{RTS} 1997, 11-13 June, 1997, Toledo, Spain},
pages = {250--257},
year = {1997},
crossref = {DBLP:conf/ecrts/1997},
url = {https://doi.org/10.1109/EMWRTS.1997.613792},
doi = {10.1109/EMWRTS.1997.613792},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/MittermairP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/PuschnerV97,
author = {Peter P. Puschner and
Alexander Vrchoticky},
title = {Problems in Static Worst-Case Execution Time Analysis},
booktitle = {{MMB} '97, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
9. ITG/GI-Fachtagung, 17.-19. September 1997, Freiberg, Germany, Kurzbeitr{\"{a}}ge
und Toolbeschreibungen},
pages = {18--25},
year = {1997},
crossref = {DBLP:conf/mmb/1997k},
timestamp = {Wed, 13 Oct 2004 16:03:41 +0200},
biburl = {https://dblp.org/rec/conf/mmb/PuschnerV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PuschnerS93,
author = {Peter P. Puschner and
Anton V. Schedl},
title = {A Tool for the Computation of Worst Case Task Execution Times},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {224--229},
year = {1993},
crossref = {DBLP:conf/ecrts/1993},
url = {https://doi.org/10.1109/EMWRT.1993.639099},
doi = {10.1109/EMWRT.1993.639099},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/PuschnerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/KopetzFGKPPRSSV93,
author = {Hermann Kopetz and
Gerhard Fohler and
G{\"{u}}nter Gr{\"{u}}nsteidl and
Heinz Kantz and
Gustav Pospischil and
Peter P. Puschner and
Johannes Reisinger and
Ralf Schlatterbeck and
Werner Sch{\"{u}}tz and
Alexander Vrchoticky and
Ralph Zainlinger},
title = {Real-time system development: The programming model of {MARS}},
booktitle = {International Symposium on Autonomous Decentralized Systems, {ISADS}
1993, Kawasaki, Japan, March 30 - April 1, 1993},
pages = {290--299},
year = {1993},
crossref = {DBLP:conf/isads/1993},
url = {https://doi.org/10.1109/ISADS.1993.262691},
doi = {10.1109/ISADS.1993.262691},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/KopetzFGKPPRSSV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/PospischilPVZ92,
author = {Gustav Pospischil and
Peter P. Puschner and
Alexander Vrchoticky and
Ralph Zainlinger},
title = {Developing Real-Time Tasks With Predictable Timing},
journal = {{IEEE} Softw.},
volume = {9},
number = {5},
pages = {35--44},
year = {1992},
url = {https://doi.org/10.1109/52.156895},
doi = {10.1109/52.156895},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/PospischilPVZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/KopetzFGKPPRSSVZ92,
author = {Hermann Kopetz and
Gerhard Fohler and
G{\"{u}}nter Gr{\"{u}}nsteidl and
Heinz Kantz and
Gustav Pospischil and
Peter P. Puschner and
Johannes Reisinger and
Ralf Schlatterbeck and
Werner Sch{\"{u}}tz and
Alexander Vrchoticky and
Ralph Zainlinger},
title = {The programmer's view of {MARS}},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {223--226},
year = {1992},
crossref = {DBLP:conf/rtss/1992},
url = {https://doi.org/10.1109/REAL.1992.242660},
doi = {10.1109/REAL.1992.242660},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/KopetzFGKPPRSSVZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KopetzZFKPS91,
author = {Hermann Kopetz and
Ralph Zainlinger and
Gerhard Fohler and
Heinz Kantz and
Peter P. Puschner and
Werner Sch{\"{u}}tz},
title = {The design of real-time systems: from specification to implementation
and verification},
journal = {Softw. Eng. J.},
volume = {6},
number = {3},
pages = {72--82},
year = {1991},
url = {https://doi.org/10.1049/sej.1991.0011},
doi = {10.1049/SEJ.1991.0011},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/KopetzZFKPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/KopetzZFKPS91,
author = {Hermann Kopetz and
Ralph Zainlinger and
Gerhard Fohler and
Heinz Kantz and
Peter P. Puschner and
Werner Sch{\"{u}}tz},
title = {An Engineering Approach to Hard Real-Time System Design},
booktitle = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
October 21-24, 1991, Proceedings},
pages = {166--188},
year = {1991},
crossref = {DBLP:conf/esec/1991},
url = {https://doi.org/10.1007/3540547428\_48},
doi = {10.1007/3540547428\_48},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esec/KopetzZFKPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/KopetzKGPR90,
author = {Hermann Kopetz and
Heinz Kantz and
G{\"{u}}nter Gr{\"{u}}nsteidl and
Peter P. Puschner and
Johannes Reisinger},
title = {Tolerating transient faults in {MARS}},
booktitle = {Proceedings of the 20th International Symposium on Fault-Tolerant
Computing, {FTCS} 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990},
pages = {466--473},
year = {1990},
crossref = {DBLP:conf/ftcs/1990},
url = {https://doi.org/10.1109/FTCS.1990.89384},
doi = {10.1109/FTCS.1990.89384},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/KopetzKGPR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PuschnerK89,
author = {Peter P. Puschner and
Christian Koza},
title = {Calculating the Maximum Execution Time of Real-Time Programs},
journal = {Real Time Syst.},
volume = {1},
number = {2},
pages = {159--176},
year = {1989},
url = {https://doi.org/10.1007/BF00571421},
doi = {10.1007/BF00571421},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/PuschnerK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2024,
title = {27th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2024, Tunis, Tunisia, May 22-25, 2024},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ISORC61049.2024},
doi = {10.1109/ISORC61049.2024},
isbn = {979-8-3503-7128-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2024,
editor = {Thomas Carle},
title = {22nd International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2024, July 9, 2024, Lille, France},
series = {OASIcs},
volume = {121},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-346-1},
isbn = {978-3-95977-346-1},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2023,
title = {26th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2023, Nashville, TN, USA, May 23-25, 2023},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISORC58943.2023},
doi = {10.1109/ISORC58943.2023},
isbn = {979-8-3503-3902-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2023,
editor = {Peter W{\"{a}}gemann},
title = {21th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2023, July 11, 2023, Vienna, Austria},
series = {OASIcs},
volume = {114},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-293-8},
isbn = {978-3-95977-293-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2021,
editor = {Bj{\"{o}}rn B. Brandenburg},
title = {33rd Euromicro Conference on Real-Time Systems, {ECRTS} 2021, July
5-9, 2021, Virtual Conference},
series = {LIPIcs},
volume = {196},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-192-4},
isbn = {978-3-95977-192-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2021,
title = {24th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2021, Daegu, South Korea, June 1-3, 2021},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISORC52013.2021},
doi = {10.1109/ISORC52013.2021},
isbn = {978-1-6654-0414-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pearl/2021,
editor = {Herwig Unger and
Marcel Schaible},
title = {Echtzeit 2021 - Echtzeitkommunikation, Fachtagung des gemeinsamen
Fachausschusses Echtzeitsysteme von Gesellschaft f{\"{u}}r Informatik
e.V. (GI), VDI/VDE-Gesellschaft f{\"{u}}r Mess- und Automatisierungstechnik
{(GMA)} und Informationstechnischer Gesellschaft im {VDE} (ITG), Boppard,
21. und 22. November 2021},
series = {Informatik Aktuell},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-658-37751-9},
doi = {10.1007/978-3-658-37751-9},
isbn = {978-3-658-37750-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/pearl/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2020,
editor = {Tulika Mitra and
Andreas Gerstlauer},
title = {20th International Conference on Embedded Software, {EMSOFT} 2020,
Singapore, September 20-25, 2020},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/xpl/conhome/9243930/proceeding},
isbn = {978-1-7281-9195-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2020,
title = {23rd {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2020, Nashville, TN, USA, May 19-21, 2020},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/xpl/conhome/9108349/proceeding},
isbn = {978-1-7281-6958-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2020w,
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Erwin Schoitsch and
Friedemann Bitsch and
Pedro M. Ferreira},
title = {Computer Safety, Reliability, and Security. {SAFECOMP} 2020 Workshops
- DECSoS 2020, DepDevOps 2020, {USDAI} 2020, and {WAISE} 2020, Lisbon,
Portugal, September 15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12235},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55583-2},
doi = {10.1007/978-3-030-55583-2},
isbn = {978-3-030-55582-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2019,
title = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
{ISORC} 2019, Valencia, Spain, May 7-9, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8754655/proceeding},
isbn = {978-1-7281-0151-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meco/2019,
title = {8th Mediterranean Conference on Embedded Computing, {MECO} 2019, Budva,
Montenegro, June 10-14, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8752173/proceeding},
isbn = {978-1-7281-1739-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/meco/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2019w,
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Ilir Gashi and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
10, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11699},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26250-1},
doi = {10.1007/978-3-030-26250-1},
isbn = {978-3-030-26249-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2018w,
editor = {Barbara Gallina and
Amund Skavhaug and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s,
Sweden, September 18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11094},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99229-7},
doi = {10.1007/978-3-319-99229-7},
isbn = {978-3-319-99228-0},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2017,
title = {20th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2017, Toronto, ON, Canada, May 16-18, 2017},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/7963955/proceeding},
isbn = {978-1-5386-1574-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meco/2017,
title = {6th Mediterranean Conference on Embedded Computing, {MECO} 2017, Bar,
Montenegro, June 11-15, 2017},
publisher = {{IEEE}},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/7970251/proceeding},
isbn = {978-1-5090-6742-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/meco/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2017,
editor = {Jan Reineke},
title = {17th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2017, June 27, 2017, Dubrovnik, Croatia},
series = {OASIcs},
volume = {57},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-057-6},
isbn = {978-3-95977-057-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mcsoc/2016,
title = {10th {IEEE} International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, {MCSOC} 2016, Lyon, France, September 21-23, 2016},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://ieeexplore.ieee.org/xpl/conhome/7774235/proceeding},
isbn = {978-1-5090-3531-1},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016w,
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2016 Workshops,
ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9923},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45480-1},
doi = {10.1007/978-3-319-45480-1},
isbn = {978-3-319-45479-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/2016w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ebccsp/2015,
title = {International Conference on Event-based Control, Communication, and
Signal Processing, {EBCCSP} 2015, Krakow, Poland, June 17-19, 2015},
publisher = {{IEEE}},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7274873/proceeding},
isbn = {978-1-4673-7888-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ebccsp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2015,
title = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7153316/proceeding},
isbn = {978-1-4799-8781-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2015w,
title = {2015 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2015,
Auckland, New Zealand, April 13-17, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7155755/proceeding},
isbn = {978-1-4673-7709-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2015w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2014,
title = {Proceedings of the 2014 Forum on Specification and Design Languages,
{FDL} 2014, Munich, Germany, October 14-16, 2014},
publisher = {{IEEE}},
year = {2014},
url = {https://ieeexplore.ieee.org/xpl/conhome/7113213/proceeding},
isbn = {978-2-9530504-9-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/fdl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/indin/2014,
title = {12th {IEEE} International Conference on Industrial Informatics, {INDIN}
2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
publisher = {{IEEE}},
year = {2014},
url = {https://ieeexplore.ieee.org/xpl/conhome/6926648/proceeding},
isbn = {978-1-4799-4905-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/indin/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2014,
title = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
10-12, 2014},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://ieeexplore.ieee.org/xpl/conhome/6898624/proceeding},
isbn = {978-1-4799-4430-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meco/2014,
title = {3rd Mediterranean Conference on Embedded Computing, {MECO} 2014, Budva,
Montenegro, June 15-19, 2014},
publisher = {{IEEE}},
year = {2014},
url = {https://ieeexplore.ieee.org/xpl/conhome/6851984/proceeding},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/meco/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2014,
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2},
doi = {10.1007/978-3-319-10506-2},
isbn = {978-3-319-10505-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2014,
editor = {Heiko Falk},
title = {14th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2014, July 8, 2014, Ulm, Germany},
series = {OASIcs},
volume = {39},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://drops.dagstuhl.de/entities/volume/OASIcs-volume-39},
isbn = {978-3-939897-69-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsfma/2013,
editor = {Christine Choppy and
Jun Sun},
title = {1st French Singaporean Workshop on Formal Methods and Applications,
{FSFMA} 2013, July 15-16, 2013, Singapore},
series = {OASIcs},
volume = {31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://drops.dagstuhl.de/entities/volume/OASIcs-volume-31},
isbn = {978-3-939897-56-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/fsfma/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2013,
title = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
June 19-21, 2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6906723/proceeding},
isbn = {978-1-4799-2111-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2013,
editor = {Bj{\"{o}}rn Franke and
Jingling Xue},
title = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
Embedded Systems 2013, {LCTES} '13, Seattle, WA, USA, June 20-21,
2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491899},
doi = {10.1145/2491899},
isbn = {978-1-4503-2085-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meco/2013,
title = {2nd Mediterranean Conference on Embedded Computing, {MECO} 2013, Budva,
Montenegro, June 15-20, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6590065/proceeding},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/meco/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2012w,
editor = {Frank Ortmeier and
Peter Daniel},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2012 Workshops:
Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany,
September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7613},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33675-1},
doi = {10.1007/978-3-642-33675-1},
isbn = {978-3-642-33674-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/2012w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2012,
editor = {Tullio Vardanega},
title = {12th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2012, July 10, 2012, Pisa, Italy},
series = {OASIcs},
volume = {23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://drops.dagstuhl.de/entities/volume/OASIcs-volume-23},
isbn = {978-3-939897-41-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2011w,
title = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/5752889/proceeding},
isbn = {978-0-7695-4377-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2011w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2010,
title = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5479085/proceeding},
isbn = {978-0-7695-4037-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2010w,
title = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2010,
Carmona, Sevilla, Spain, May 4-7, 2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5479083/proceeding},
isbn = {978-0-7695-4038-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2010w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2010,
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
title = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6399},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16256-5},
doi = {10.1007/978-3-642-16256-5},
isbn = {978-3-642-16255-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/seus/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2010,
editor = {Bj{\"{o}}rn Lisper},
title = {10th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2010, July 6, 2010, Brussels, Belgium},
series = {OASIcs},
volume = {15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://drops.dagstuhl.de/entities/volume/OASIcs-volume-15},
isbn = {978-3-939897-21-7},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2009,
title = {21st Euromicro Conference on Real-Time Systems, {ECRTS} 2009, Dublin,
Ireland, July 1-3, 2009},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/5161487/proceeding},
isbn = {978-0-7695-3724-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2009,
title = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/5231973/proceeding},
isbn = {978-0-7695-3573-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2009,
editor = {Sunggu Lee and
Priya Narasimhan},
title = {Software Technologies for Embedded and Ubiquitous Systems, 7th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2009, Newport Beach, CA,
USA, November 16-18, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5860},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10265-3},
doi = {10.1007/978-3-642-10265-3},
isbn = {978-3-642-10264-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/seus/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2009,
editor = {Niklas Holsti},
title = {9th Intl. Workshop on Worst-Case Execution Time Analysis, {WCET} 2009,
Dublin, Ireland, July 1-3, 2009},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09004/},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
publisher = {Springer},
year = {2008},
isbn = {978-3-540-88478-1},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isola/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2008,
title = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4519543/proceeding},
isbn = {978-0-7695-3132-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2008,
editor = {Uwe Brinkschulte and
Tony Givargis and
Stefano Russo},
title = {Software Technologies for Embedded and Ubiquitous Systems, 6th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2008, Anacarpi, Capri Island,
Italy, October 1-3, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5287},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87785-1},
doi = {10.1007/978-3-540-87785-1},
isbn = {978-3-540-87784-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/seus/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2008,
editor = {Raimund Kirner},
title = {8th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Prague, Czech Republic, July 1, 2008},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08003/},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wises/2008,
editor = {Markus Kucera and
Richard Roth and
Massimo Conti},
title = {International Workshop on Intelligent Solutions in Embedded Systems,
{WISES} 2008, Regensburg, Germany, July 10-11, 2008},
publisher = {{IEEE}},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4609868/proceeding},
isbn = {978-3-00-024989-1},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wises/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iess/2007,
editor = {Achim Rettberg and
Mauro Cesar Zanella and
Rainer D{\"{o}}mer and
Andreas Gerstlauer and
Franz{-}Josef Rammig},
title = {Embedded System Design: Topics, Techniques and Trends, {IFIP} {TC10}
Working Conference: International Embedded Systems Symposium (IESS),
May 30 - June 1, 2007, Irvine, CA, {USA}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {231},
publisher = {Springer},
year = {2007},
isbn = {978-0-387-72257-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/iess/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2007,
title = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://ieeexplore.ieee.org/xpl/conhome/4208811/proceeding},
isbn = {0-7695-2765-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2007,
editor = {Roman Obermaisser and
Yunmook Nah and
Peter P. Puschner and
Franz{-}Josef Rammig},
title = {Software Technologies for Embedded and Ubiquitous Systems, 5th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2007, Santorini Island, Greece,
May 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4761},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75664-4},
doi = {10.1007/978-3-540-75664-4},
isbn = {978-3-540-75663-7},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/seus/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10-3/2006dipes,
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Ricardo Jorge Machado and
Carlos Eduardo Pereira and
P. S. Thiagarajan},
title = {From Model-Driven Design to Resource Management for Distributed Embedded
Systems, {IFIP} {TC} 10 Working Conference on Distributed and Parallel
Embedded Systems {(DIPES} 2006), October 11-13, 2006, Braga, Portugal},
series = {{IFIP}},
volume = {225},
publisher = {Springer},
year = {2006},
isbn = {978-0-387-39361-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-3/2006dipes.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2006,
title = {Ninth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2006), 24-26 April 2006, Gyeongju,
Korea},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://ieeexplore.ieee.org/xpl/conhome/10852/proceeding},
isbn = {0-7695-2561-X},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2006,
editor = {Frank Mueller},
title = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 4, 2006, Dresden, Germany},
series = {OASIcs},
volume = {4},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/06902/},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wises/2006,
editor = {Wilfried Elmenreich and
Gregor Novak and
Ralf Seepold},
title = {4th International Workshop on Intelligent Solutions in Embedded Systems,
{WISES} 2006, Vienna, Austria, June 30, 2006},
publisher = {{IEEE}},
year = {2006},
url = {https://ieeexplore.ieee.org/xpl/conhome/4125753/proceeding},
isbn = {3-902463-06-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wises/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2005,
title = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/9609/proceeding},
isbn = {0-7695-2288-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/date/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2005,
title = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/9726/proceeding},
isbn = {0-7695-2356-0},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2005,
title = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/10545/proceeding},
isbn = {0-7695-2472-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/qsic/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seus/2005,
title = {Third {IEEE} Workshop on Software Technologies for Future Embedded
and Ubiquitous Systems, {SEUS} 2005, Seattle, WA, USA, May 16-17,
2005},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/9751/proceeding},
isbn = {0-7695-2357-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/seus/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2005,
editor = {Reinhard Wilhelm},
title = {5th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 5, 2005, Palma de Mallorca, Spain},
series = {OASIcs},
volume = {1},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06903/},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2005,
title = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/10372/proceeding},
isbn = {0-7695-2347-1},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/words/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2004,
title = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://ieeexplore.ieee.org/xpl/conhome/9101/proceeding},
isbn = {0-7695-2124-X},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2003,
title = {15th Euromicro Conference on Real-Time Systems {(ECRTS} 2003), 2-4
July 2003, Porto, Portugal, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/8607/proceeding},
isbn = {0-7695-1936-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2003,
editor = {Rajeev Alur and
Insup Lee},
title = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13983},
doi = {10.1007/B13983},
isbn = {3-540-20223-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2003,
title = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/8608/proceeding},
isbn = {0-7695-1926-1},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ipps/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scopes/2003,
editor = {Andreas Krall},
title = {Software and Compilers for Embedded Systems, 7th International Workshop,
{SCOPES} 2003, Vienna, Austria, September 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2826},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13482},
doi = {10.1007/B13482},
isbn = {3-540-20145-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/scopes/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2003,
editor = {Jan Gustafsson},
title = {Proceedings of the 3rd International Workshop on Worst-Case Execution
Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
Institute of Porto, Portugal, July 1, 2003},
volume = {{MDH-MRTC-116/2003-1-SE}},
publisher = {Department of Computer Science and Engineering, M{\"{a}}lardalen
University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
year = {2003},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wcet/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wises/2003,
editor = {Wilfried Elmenreich},
title = {Proceedings of the First Workshop on Intelligent Solutions in Embedded
Systems, {WISES} 2003, Vienna University of Technology, Vienna, Austria,
2003, June 27},
publisher = {Vienna University of Technology},
year = {2003},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wises/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2003,
title = {8th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2003), 15-17 January 2003, Guadalajara, Mexico},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/9690/proceeding},
isbn = {0-7695-1929-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/words/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2003f,
title = {9th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} Fall 2003), 1-3 October 2003, Anacapri (Capri Island),
Italy},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://ieeexplore.ieee.org/xpl/conhome/8640/proceeding},
isbn = {0-7695-2054-5},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/words/2003f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wstfeus/2003,
title = {1st {IEEE} Workshop on Software Technologies for Future Embedded Systems,
{WSTFES} 2003, Hakodate, Hokkaido, Japan, May 15-16, 2003},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/8550/proceeding},
isbn = {0-7695-1937-7},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/wstfeus/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2002,
title = {14th Euromicro Conference on Real-Time Systems {(ECRTS} 2002), 19-21
June 2002, Vienna, Austria, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://ieeexplore.ieee.org/xpl/conhome/7939/proceeding},
isbn = {0-7695-1665-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10-3/2002dipes,
editor = {Bernd Kleinjohann and
K. H. Kim and
Lisa Kleinjohann and
Achim Rettberg},
title = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\)
World Computer Congress - {TC10} Stream on Distributed and Parallel
Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {219},
publisher = {Kluwer},
year = {2002},
isbn = {1-4020-7156-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-3/2002dipes.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2002,
title = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://ieeexplore.ieee.org/xpl/conhome/7870/proceeding},
isbn = {0-7695-1558-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2002,
title = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://ieeexplore.ieee.org/xpl/conhome/7841/proceeding},
isbn = {0-7695-1576-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/words/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2001,
title = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
June 2001, Delft, The Netherlands, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://ieeexplore.ieee.org/xpl/conhome/7427/proceeding},
isbn = {0-7695-1221-6},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etfa/2001-1,
title = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan
les Pins, France - Volume 1},
publisher = {{IEEE}},
year = {2001},
url = {https://ieeexplore.ieee.org/xpl/conhome/7823/proceeding},
isbn = {0-7803-7241-7},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/etfa/2001-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/2001,
title = {4th International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2001), 2-4 May 2001, Magdeburg, Germany},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://ieeexplore.ieee.org/xpl/conhome/7351/proceeding},
isbn = {0-7695-1089-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isorc/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/2001,
title = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
2001), London, UK, 2-6 December 2001},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://ieeexplore.ieee.org/xpl/conhome/7764/proceeding},
isbn = {0-7695-1420-0},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/rtss/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtcsa/2000,
title = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://ieeexplore.ieee.org/xpl/conhome/7188/proceeding},
isbn = {0-7695-0930-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/1999,
title = {11th Euromicro Conference on Real-Time Systems {(ECRTS} 1999), 9-11
June 1999, York, England, UK, Proceedings},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://ieeexplore.ieee.org/xpl/conhome/6302/proceeding},
isbn = {0-7695-0240-7},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/1998,
title = {10th Euromicro Conference on Real-Time Systems {(ECRTS} 1998), 17-19
June 1998, berlin, Germany, Proceedings},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://ieeexplore.ieee.org/xpl/conhome/5614/proceeding},
isbn = {0-8186-8503-4},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/1998,
title = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://ieeexplore.ieee.org/xpl/conhome/5963/proceeding},
isbn = {0-8186-9212-X},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/rtss/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/1997,
title = {Proceedings of the Ninth Euromicro Workshop on Real-Time Systems,
{RTS} 1997, 11-13 June, 1997, Toledo, Spain},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://ieeexplore.ieee.org/xpl/conhome/4851/proceeding},
isbn = {0-8186-8036-9},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mmb/1997k,
editor = {Klaus Irmscher and
Christian Mittasch and
Klaus Richter},
title = {{MMB} '97, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
9. ITG/GI-Fachtagung, 17.-19. September 1997, Freiberg, Germany, Kurzbeitr{\"{a}}ge
und Toolbeschreibungen},
publisher = {{TU} Bergakademie Freiberg},
year = {1997},
isbn = {3-86012-045-X},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/mmb/1997k.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/1993,
title = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
publisher = {{IEEE}},
year = {1993},
url = {https://ieeexplore.ieee.org/xpl/conhome/5083/proceeding},
isbn = {0-8186-4110-X},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isads/1993,
title = {International Symposium on Autonomous Decentralized Systems, {ISADS}
1993, Kawasaki, Japan, March 30 - April 1, 1993},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://ieeexplore.ieee.org/xpl/conhome/444/proceeding},
isbn = {0-8186-3125-2},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/isads/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/1992,
title = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://ieeexplore.ieee.org/xpl/conhome/447/proceeding},
isbn = {0-8186-3195-3},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/rtss/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esec/1991,
editor = {Axel van Lamsweerde and
Alfonso Fuggetta},
title = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
October 21-24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {550},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54742-8},
doi = {10.1007/3-540-54742-8},
isbn = {3-540-54742-8},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/esec/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftcs/1990,
title = {Proceedings of the 20th International Symposium on Fault-Tolerant
Computing, {FTCS} 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://ieeexplore.ieee.org/xpl/conhome/292/proceeding},
isbn = {0-8186-2051-X},
timestamp = {Thu, 20 Nov 2025 05:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-17 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: