Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter P. Puschner
@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},
publisher = {{IEEE}},
year = {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},
editor = {Peter W{\"{a}}gemann},
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},
series = {OASIcs},
volume = {114},
pages = {7:1--7:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/OASIcs.WCET.2023.7},
doi = {10.4230/OASICS.WCET.2023.7},
timestamp = {Sat, 30 Sep 2023 01:00: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 Oct 2022 01:00:00 +0200},
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 = {Thu, 27 Jul 2023 01:00:00 +0200},
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},
editor = {Bj{\"{o}}rn B. Brandenburg},
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},
series = {LIPIcs},
volume = {196},
pages = {1:1--1:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2021.1},
doi = {10.4230/LIPICS.ECRTS.2021.1},
timestamp = {Sun, 02 Oct 2022 01:00: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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE}},
year = {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},
editor = {Herwig Unger and
Marcel Schaible},
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},
series = {Informatik Aktuell},
pages = {93--102},
publisher = {Springer},
year = {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, 02 Oct 2022 01:00:00 +0200},
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},
editor = {Tulika Mitra and
Andreas Gerstlauer},
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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE}},
year = {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},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Erwin Schoitsch and
Friedemann Bitsch and
Pedro M. Ferreira},
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},
series = {Lecture Notes in Computer Science},
volume = {12235},
pages = {111--122},
publisher = {Springer},
year = {2020},
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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE}},
year = {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},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Ilir Gashi and
Erwin Schoitsch and
Friedemann Bitsch},
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},
series = {Lecture Notes in Computer Science},
volume = {11699},
pages = {87--101},
publisher = {Springer},
year = {2019},
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},
editor = {Barbara Gallina and
Amund Skavhaug and
Erwin Schoitsch and
Friedemann Bitsch},
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},
series = {Lecture Notes in Computer Science},
volume = {11094},
pages = {177--189},
publisher = {Springer},
year = {2018},
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},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISORC.2017.17},
doi = {10.1109/ISORC.2017.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
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},
publisher = {{IEEE}},
year = {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},
editor = {Jan Reineke},
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},
series = {OASIcs},
volume = {57},
pages = {2:1--2:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.WCET.2017.2},
doi = {10.4230/OASICS.WCET.2017.2},
timestamp = {Wed, 04 Jan 2023 16:50:45 +0100},
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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Erwin Schoitsch and
Friedemann Bitsch},
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},
series = {Lecture Notes in Computer Science},
volume = {9923},
pages = {157--170},
publisher = {Springer},
year = {2016},
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},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Erwin Schoitsch and
Friedemann Bitsch},
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},
series = {Lecture Notes in Computer Science},
volume = {9923},
pages = {195--209},
publisher = {Springer},
year = {2016},
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, 02 Oct 2022 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, 21 Jun 2020 01:00:00 +0200},
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},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EBCCSP.2015.7300671},
doi = {10.1109/EBCCSP.2015.7300671},
timestamp = {Mon, 26 Jun 2023 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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {2015},
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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FDL.2014.7119357},
doi = {10.1109/FDL.2014.7119357},
timestamp = {Sun, 02 Oct 2022 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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE}},
year = {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},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
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},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {1--16},
publisher = {Springer},
year = {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},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
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},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {310--325},
publisher = {Springer},
year = {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},
editor = {Heiko Falk},
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},
series = {OASIcs},
volume = {39},
pages = {103--112},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WCET.2014.103},
doi = {10.4230/OASICS.WCET.2014.103},
timestamp = {Sun, 02 Oct 2022 01:00:00 +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},
editor = {Christine Choppy and
Jun Sun},
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},
series = {OASIcs},
volume = {31},
pages = {74--79},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.74},
doi = {10.4230/OASICS.FSFMA.2013.74},
timestamp = {Sun, 02 Oct 2022 01:00:00 +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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Bj{\"{o}}rn Franke and
Jingling Xue},
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},
publisher = {{ACM}},
year = {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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE}},
year = {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},
editor = {Frank Ortmeier and
Peter Daniel},
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},
series = {Lecture Notes in Computer Science},
volume = {7613},
pages = {382--391},
publisher = {Springer},
year = {2012},
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},
editor = {Tullio Vardanega},
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},
series = {OASIcs},
volume = {23},
pages = {91--102},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.WCET.2012.91},
doi = {10.4230/OASICS.WCET.2012.91},
timestamp = {Sun, 02 Oct 2022 01:00:00 +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},
publisher = {{IEEE} Computer Society},
year = {2011},
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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {2010},
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},
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
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},
series = {Lecture Notes in Computer Science},
volume = {6399},
pages = {23--34},
publisher = {Springer},
year = {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},
editor = {Bj{\"{o}}rn Lisper},
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},
series = {OASIcs},
volume = {15},
pages = {77--88},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.WCET.2010.77},
doi = {10.4230/OASICS.WCET.2010.77},
timestamp = {Sun, 02 Oct 2022 01:00:00 +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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Sunggu Lee and
Priya Narasimhan},
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},
series = {Lecture Notes in Computer Science},
volume = {5860},
pages = {47--57},
publisher = {Springer},
year = {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},
editor = {Niklas Holsti},
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},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2278},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
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},
editor = {Niklas Holsti},
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},
series = {OASIcs},
volume = {10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {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},
editor = {Tiziana Margaria and
Bernhard Steffen},
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},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {430--444},
publisher = {Springer},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Uwe Brinkschulte and
Tony Givargis and
Stefano Russo},
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},
series = {Lecture Notes in Computer Science},
volume = {5287},
pages = {150--161},
publisher = {Springer},
year = {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},
editor = {Raimund Kirner},
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},
series = {OASIcs},
volume = {8},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1662},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
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},
editor = {Markus Kucera and
Richard Roth and
Massimo Conti},
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},
publisher = {{IEEE}},
year = {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},
editor = {Achim Rettberg and
Mauro Cesar Zanella and
Rainer D{\"{o}}mer and
Andreas Gerstlauer and
Franz{-}Josef Rammig},
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}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {231},
pages = {15--26},
publisher = {Springer},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Roman Obermaisser and
Yunmook Nah and
Peter P. Puschner and
Franz{-}Josef Rammig},
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},
series = {Lecture Notes in Computer Science},
volume = {4761},
pages = {137--148},
publisher = {Springer},
year = {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},
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Ricardo Jorge Machado and
Carlos Eduardo Pereira and
P. S. Thiagarajan},
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},
series = {{IFIP}},
volume = {225},
pages = {115--124},
publisher = {Springer},
year = {2006},
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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Frank Mueller},
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},
series = {OASIcs},
volume = {4},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/669},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
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},
editor = {Wilfried Elmenreich and
Gregor Novak and
Ralf Seepold},
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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Reinhard Wilhelm},
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},
series = {OASIcs},
volume = {1},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/815},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Rajeev Alur and
Insup Lee},
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},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {190--205},
publisher = {Springer},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Andreas Krall},
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},
series = {Lecture Notes in Computer Science},
volume = {2826},
pages = {298--312},
publisher = {Springer},
year = {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},
editor = {Jan Gustafsson},
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},
volume = {{MDH-MRTC-116/2003-1-SE}},
pages = {61--64},
publisher = {Department of Computer Science and Engineering, M{\"{a}}lardalen
University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
year = {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},
editor = {Wilfried Elmenreich},
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},
publisher = {Vienna University of Technology},
year = {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},
editor = {Wilfried Elmenreich},
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},
publisher = {Vienna University of Technology},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {2003},
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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Bernd Kleinjohann and
K. H. Kim and
Lisa Kleinjohann and
Achim Rettberg},
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},
series = {{IFIP} Conference Proceedings},
volume = {219},
pages = {163--172},
publisher = {Kluwer},
year = {2002},
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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE}},
year = {2001},
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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Klaus Irmscher and
Christian Mittasch and
Klaus Richter},
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},
publisher = {{TU} Bergakademie Freiberg},
year = {1997},
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},
publisher = {{IEEE}},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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},
editor = {Axel van Lamsweerde and
Alfonso Fuggetta},
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},
series = {Lecture Notes in Computer Science},
volume = {550},
pages = {166--188},
publisher = {Springer},
year = {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},
publisher = {{IEEE} Computer Society},
year = {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}
}
a service of 
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 2024-04-21 17:49 CEST 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:
