BibTeX records: Frank Slomka

download as .bib file

@inproceedings{DBLP:conf/ccnc/JanusMS24,
  author       = {Alexander F. K. Janus and
                  Steffen Moser and
                  Frank Slomka},
  title        = {Cost-Effective Network Packet Manipulation and Error-Detection Device},
  booktitle    = {21st {IEEE} Consumer Communications {\&} Networking Conference,
                  {CCNC} 2024, Las Vegas, NV, USA, January 6-9, 2024},
  pages        = {460--465},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/CCNC51664.2024.10454761},
  doi          = {10.1109/CCNC51664.2024.10454761},
  timestamp    = {Tue, 26 Mar 2024 22:14:36 +0100},
  biburl       = {https://dblp.org/rec/conf/ccnc/JanusMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/FattohiPS23,
  author       = {Iwan Feras Fattohi and
                  Christian Prehofer and
                  Frank Slomka},
  title        = {Worst-Case Response Time Analysis of Earliest Deadline First in an
                  Industrial Case Study},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2023, 26th Workshop, Freiburg, Germany,
                  23-24 March 2023},
  pages        = {1--8},
  publisher    = {{VDE/IEEE}},
  year         = {2023},
  url          = {https://ieeexplore.ieee.org/document/10173062},
  timestamp    = {Fri, 12 Jan 2024 09:53:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/FattohiPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/RiessMS23,
  author       = {Marcel Rie{\ss} and
                  Steffen Moser and
                  Frank Slomka},
  title        = {Online Reduction of Exploration Space for Automated Underwater Modem
                  Optimization},
  booktitle    = {{IEEE} Military Communications Conference, {MILCOM} 2023, Boston,
                  MA, USA, October 30 - Nov. 3, 2023},
  pages        = {430--437},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/MILCOM58377.2023.10356305},
  doi          = {10.1109/MILCOM58377.2023.10356305},
  timestamp    = {Thu, 25 Jan 2024 09:55:40 +0100},
  biburl       = {https://dblp.org/rec/conf/milcom/RiessMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-16604,
  author       = {Iwan Feras Fattohi and
                  Christian Prehofer and
                  Frank Slomka},
  title        = {Shirac: {A} linear algebra for event-based system modeling},
  journal      = {CoRR},
  volume       = {abs/2307.16604},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.16604},
  doi          = {10.48550/ARXIV.2307.16604},
  eprinttype    = {arXiv},
  eprint       = {2307.16604},
  timestamp    = {Wed, 02 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-16604.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SadeghiPMS22,
  author       = {Mohammadreza Sadeghi and
                  Marco Philippi and
                  Amir Mahdian and
                  Frank Slomka},
  title        = {{MIAT} Efficient analysis of adaptive variable-rate tasks},
  journal      = {J. Syst. Archit.},
  volume       = {127},
  pages        = {102472},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.sysarc.2022.102472},
  doi          = {10.1016/J.SYSARC.2022.102472},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/SadeghiPMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/PollexS22,
  author       = {Victor Pollex and
                  Frank Slomka},
  editor       = {Martina Maggio},
  title        = {A Mathematical Comparison Between Response-Time Analysis and Real-Time
                  Calculus for Fixed-Priority Preemptive Scheduling},
  booktitle    = {34th Euromicro Conference on Real-Time Systems, {ECRTS} 2022, July
                  5-8, 2022, Modena, Italy},
  series       = {LIPIcs},
  volume       = {231},
  pages        = {7:1--7:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ECRTS.2022.7},
  doi          = {10.4230/LIPICS.ECRTS.2022.7},
  timestamp    = {Tue, 28 Jun 2022 15:48:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/PollexS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/SlomkaS21,
  author       = {Frank Slomka and
                  Mohammadreza Sadeghi},
  title        = {Beyond the limitations of real-time scheduling theory: a unified scheduling
                  theory for the analysis of real-time systems},
  journal      = {{SICS} Softw.-Intensive Cyber Phys. Syst.},
  volume       = {35},
  number       = {3-4},
  pages        = {201--236},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00450-021-00429-1},
  doi          = {10.1007/S00450-021-00429-1},
  timestamp    = {Mon, 27 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ife/SlomkaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SudhakarAS21,
  author       = {Deepak Vedha Raj Sudhakar and
                  Karsten Albers and
                  Frank Slomka},
  title        = {Generalized and Scalable Offset-Based Response Time Analysis of Fixed
                  Priority Systems},
  journal      = {J. Syst. Archit.},
  volume       = {112},
  pages        = {101856},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.sysarc.2020.101856},
  doi          = {10.1016/J.SYSARC.2020.101856},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/SudhakarAS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BrandMS21,
  author       = {Max Brand and
                  Albrecht Mayer and
                  Frank Slomka},
  title        = {A Matter of Overhead - Response Time Analysis of Hard Real-Time Systems
                  in Theory and Practice},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2021, 24th Workshop, Virtual Event, Germany,
                  March 18-19, 2021},
  pages        = {1--7},
  publisher    = {{VDE/IEEE}},
  year         = {2021},
  url          = {https://ieeexplore.ieee.org/document/9399717},
  timestamp    = {Fri, 12 Jan 2024 10:19:10 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/BrandMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SlomkaS21,
  author       = {Frank Slomka and
                  Mohammadreza Sadeghi},
  title        = {Work-in-Progress Abstract: On the relationship between scheduling
                  theory and real-time calculus},
  booktitle    = {27th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2021, Houston, TX, USA, August 18-20,
                  2021},
  pages        = {195--197},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/RTCSA52859.2021.00030},
  doi          = {10.1109/RTCSA52859.2021.00030},
  timestamp    = {Tue, 05 Oct 2021 08:44:45 +0200},
  biburl       = {https://dblp.org/rec/conf/rtcsa/SlomkaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/BrandMS21,
  author       = {Max Brand and
                  Albrecht Mayer and
                  Frank Slomka},
  editor       = {Audrey Queudet and
                  Iain Bate and
                  Giuseppe Lipari},
  title        = {Crumbs: Utilizing Functional Programming for Hardware Trace Data Analysis},
  booktitle    = {RTNS'2021: 29th International Conference on Real-Time Networks and
                  Systems, Nantes, France, April 7-9, 2021},
  pages        = {204--215},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453417.3453418},
  doi          = {10.1145/3453417.3453418},
  timestamp    = {Mon, 26 Jul 2021 10:39:04 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/BrandMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wuwnet/RiessS21,
  author       = {Marcel Riess and
                  Frank Slomka},
  title        = {Improved acoustic underwater communication with orthogonal Kasami-based
                  sequences for multi-user communication},
  booktitle    = {WUWNet'21: The 15th International Conference on Underwater Networks
                  {\&} Systems, Shenzhen, Guangdong, China, November 22 - 24, 2021},
  pages        = {2:1--2:9},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3491315.3491319},
  doi          = {10.1145/3491315.3491319},
  timestamp    = {Mon, 21 Mar 2022 10:48:17 +0100},
  biburl       = {https://dblp.org/rec/conf/wuwnet/RiessS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RichthammerRBSG20,
  author       = {Valentina Richthammer and
                  Marcel Rie{\ss} and
                  Julian Bestler and
                  Frank Slomka and
                  Michael Gla{\ss}},
  title        = {Design Space Exploration for Model-based Communication Systems},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {556--561},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116508},
  doi          = {10.23919/DATE48585.2020.9116508},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/RichthammerRBSG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/BrandMS20,
  author       = {Max Brand and
                  Albrecht Mayer and
                  Frank Slomka},
  editor       = {Liliana Cucu{-}Grosjean and
                  Roberto Medina and
                  Sebastian Altmeyer and
                  Jean{-}Luc Scharbarg},
  title        = {{NITRO:} Non-Intrusive Task Detection and Monitoring in Hard Real-Time
                  Systems},
  booktitle    = {28th International Conference on Real Time Networks and Systems, {RTNS}
                  2020, Paris, France, June 10, 2020},
  pages        = {78--88},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3394810.3394812},
  doi          = {10.1145/3394810.3394812},
  timestamp    = {Sun, 14 Jun 2020 13:01:26 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/BrandMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12112,
  author       = {Frank Slomka and
                  Mohammadreza Sadeghi},
  title        = {HeRTA: Heaviside Real-Time Analysis},
  journal      = {CoRR},
  volume       = {abs/2007.12112},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.12112},
  eprinttype    = {arXiv},
  eprint       = {2007.12112},
  timestamp    = {Wed, 29 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-12112.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/FeldS19,
  author       = {Timo Feld and
                  Frank Slomka},
  title        = {A Sufficient Response Time Analysis Considering Angular Phases Between
                  Rate-Dependent Tasks},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {38},
  number       = {11},
  pages        = {2008--2021},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCAD.2018.2878163},
  doi          = {10.1109/TCAD.2018.2878163},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/FeldS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wuwnet/RiessS19,
  author       = {Marcel Rie{\ss} and
                  Frank Slomka},
  title        = {FIR-Filter: based Ambient Noise Implementation for Acoustic Underwater
                  Communication Analysis},
  booktitle    = {WUWNET'19: International Conference on Underwater Networks {\&}
                  Systems, Atlanta, GA, USA, October 23-25, 2019},
  pages        = {3:1--3:2},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3366486.3366536},
  doi          = {10.1145/3366486.3366536},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wuwnet/RiessS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FeldBDBS18,
  author       = {Timo Feld and
                  Alessandro Biondi and
                  Robert I. Davis and
                  Giorgio C. Buttazzo and
                  Frank Slomka},
  title        = {A survey of schedulability analysis techniques for rate-dependent
                  tasks},
  journal      = {J. Syst. Softw.},
  volume       = {138},
  pages        = {100--107},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jss.2017.12.033},
  doi          = {10.1016/J.JSS.2017.12.033},
  timestamp    = {Sat, 18 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/FeldBDBS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/FeldS18,
  author       = {Timo Feld and
                  Frank Slomka},
  title        = {Exact Interference of Tasks With Variable Rate-Dependent Behavior},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {37},
  number       = {5},
  pages        = {954--967},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCAD.2017.2729459},
  doi          = {10.1109/TCAD.2017.2729459},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/FeldS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewme/HockRMS18,
  author       = {Florian Hock and
                  Nicolas Roeser and
                  Sven Patrick Meier and
                  Frank Slomka},
  title        = {MoMoViLab - {A} Cloud Based Modular and Mobile Virtual Lab},
  booktitle    = {12th European Workshop on Microelectronics Education, {EWME} 2018,
                  Braunschweig, Germany, September 24-26, 2018},
  pages        = {29--34},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/EWME.2018.8629489},
  doi          = {10.1109/EWME.2018.8629489},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ewme/HockRMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/KleberUHSMKB18,
  author       = {Stephan Kleber and
                  Florian Unterstein and
                  Matthias Hiller and
                  Frank Slomka and
                  Matthias Matousek and
                  Frank Kargl and
                  Christoph B{\"{o}}sch},
  editor       = {Liqun Chen and
                  Mark Manulis and
                  Steve A. Schneider},
  title        = {Secure Code Execution: {A} Generic PUF-Driven System Architecture},
  booktitle    = {Information Security - 21st International Conference, {ISC} 2018,
                  Guildford, UK, September 9-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11060},
  pages        = {25--46},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99136-8\_2},
  doi          = {10.1007/978-3-319-99136-8\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isw/KleberUHSMKB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/FeldWS18,
  author       = {Timo Feld and
                  Uwe Werkmann and
                  Frank Slomka},
  title        = {Real-Time Analysis of Distributed Systems including Tasks with Variable
                  Rate-dependent Behavior},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
                  February 8-9, 2018},
  publisher    = {Universit{\"{a}}t T{\"{u}}bingen},
  year         = {2018},
  url          = {https://hdl.handle.net/10900/84298},
  timestamp    = {Wed, 04 May 2022 13:03:25 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/FeldWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HockPSBS18,
  author       = {Florian Hock and
                  Victor Pollex and
                  Chijun Shen and
                  Tobias Bund and
                  Frank Slomka},
  title        = {Upper Bound for Delay Densities},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
                  February 8-9, 2018},
  publisher    = {Universit{\"{a}}t T{\"{u}}bingen},
  year         = {2018},
  url          = {https://hdl.handle.net/10900/84297},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HockPSBS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RiessBS18,
  author       = {Marcel Rie{\ss} and
                  Cedrik Bock and
                  Frank Slomka},
  title        = {Generic Reusable Hardware/Software Co-Design Implementation of a Complete
                  {FH-FSK} Modem for Robust Multi-User Acoustic Underwater Communication
                  and System Validation on a {FPGA}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2018, T{\"{u}}bingen, Germany,
                  February 8-9, 2018},
  publisher    = {Universit{\"{a}}t T{\"{u}}bingen},
  year         = {2018},
  url          = {https://hdl.handle.net/10900/84284},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/RiessBS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/RiesMS17,
  author       = {Marcel Rie{\ss} and
                  Steffen Moser and
                  Frank Slomka},
  title        = {Efficient underwater communication modem for harsh and highly non-stationary
                  channel conditions - {A} fully model-based approach},
  booktitle    = {2017 {IEEE} Military Communications Conference, {MILCOM} 2017, Baltimore,
                  MD, USA, October 23-25, 2017},
  pages        = {366--371},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/MILCOM.2017.8170724},
  doi          = {10.1109/MILCOM.2017.8170724},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/milcom/RiesMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FeldS15,
  author       = {Timo Feld and
                  Frank Slomka},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Sufficient response time analysis considering dependencies between
                  rate-dependent tasks},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {519--524},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755871},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/FeldS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BundS15,
  author       = {Tobias Bund and
                  Frank Slomka},
  title        = {Sensitivity Analysis of Dropped Samples for Performance-Oriented Controller
                  Design},
  booktitle    = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
  pages        = {244--251},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISORC.2015.16},
  doi          = {10.1109/ISORC.2015.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/BundS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/DavisBPS15,
  author       = {Robert I. Davis and
                  Alan Burns and
                  Victor Pollex and
                  Frank Slomka},
  editor       = {Julien Forget},
  title        = {On priority assignment for controller area network when some message
                  identifiers are fixed},
  booktitle    = {Proceedings of the 23rd International Conference on Real Time Networks
                  and Systems, {RTNS} 2015, Lille, France, November 4-6, 2015},
  pages        = {279--288},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2834848.2834866},
  doi          = {10.1145/2834848.2834866},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/DavisBPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/BundS15,
  author       = {Tobias Bund and
                  Frank Slomka},
  editor       = {Julien Forget},
  title        = {Worst-case performance validation of safety-critical control systems
                  with dropped samples},
  booktitle    = {Proceedings of the 23rd International Conference on Real Time Networks
                  and Systems, {RTNS} 2015, Lille, France, November 4-6, 2015},
  pages        = {319--326},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2834848.2834860},
  doi          = {10.1145/2834848.2834860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/BundS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/MaierMS15,
  author       = {Daniel Maier and
                  Steffen Moser and
                  Frank Slomka},
  editor       = {Georgios Theodoropoulos},
  title        = {Deterministic models of the physical layer through signal simulation},
  booktitle    = {Proceedings of the 8th International Conference on Simulation Tools
                  and Techniques, Athens, Greece, August 24-26, 2015},
  pages        = {175--182},
  publisher    = {{ICST/ACM}},
  year         = {2015},
  url          = {https://doi.org/10.4108/eai.24-8-2015.2261106},
  doi          = {10.4108/EAI.24-8-2015.2261106},
  timestamp    = {Tue, 01 Oct 2019 07:26:13 +0200},
  biburl       = {https://dblp.org/rec/conf/simutools/MaierMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/Al-MomaniKWMS15,
  author       = {Ala'a Al{-}Momani and
                  Frank Kargl and
                  Christian Waldschmidt and
                  Steffen Moser and
                  Frank Slomka},
  title        = {Wireless channel-based message authentication},
  booktitle    = {2015 {IEEE} Vehicular Networking Conference, {VNC} 2015, Kyoto, Japan,
                  December 16-18, 2015},
  pages        = {271--274},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/VNC.2015.7385587},
  doi          = {10.1109/VNC.2015.7385587},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vnc/Al-MomaniKWMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/MoserBS15,
  author       = {Steffen Moser and
                  Luis Behrendt and
                  Frank Slomka},
  title        = {MIMO-enabling {PHY} layer enhancement for vehicular ad-hoc networks},
  booktitle    = {2015 {IEEE} Wireless Communications and Networking Conference Workshops,
                  {WCNC} Workshops 2015, New Orleans, LA, USA, March 9-12, 2015},
  pages        = {142--147},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/WCNCW.2015.7122544},
  doi          = {10.1109/WCNCW.2015.7122544},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/MoserBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KleberUMKSH15,
  author       = {Stephan Kleber and
                  Florian Unterstein and
                  Matthias Matousek and
                  Frank Kargl and
                  Frank Slomka and
                  Matthias Hiller},
  title        = {Secure Execution Architecture based on PUF-driven Instruction Level
                  Code Encryption},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {651},
  year         = {2015},
  url          = {http://eprint.iacr.org/2015/651},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KleberUMKSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/BundS14,
  author       = {Tobias Bund and
                  Frank Slomka},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Controller/platform co-design of networked control systems based on
                  density functions},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {11--14},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593467},
  doi          = {10.1145/2593458.2593467},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyphy/BundS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/DavisFPS14,
  author       = {Robert I. Davis and
                  Timo Feld and
                  Victor Pollex and
                  Frank Slomka},
  title        = {Schedulability tests for tasks with Variable Rate-dependent Behaviour
                  under fixed priority scheduling},
  booktitle    = {20th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2014, Berlin, Germany, April 15-17, 2014},
  pages        = {51--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RTAS.2014.6925990},
  doi          = {10.1109/RTAS.2014.6925990},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/DavisFPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KempfS14,
  author       = {Kilian Kempf and
                  Frank Slomka},
  title        = {Direct handling of infeasible paths in the event dependency analysis},
  booktitle    = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
                  Computing Systems and Applications, Chongqing, China, August 20-22,
                  2014},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RTCSA.2014.6910500},
  doi          = {10.1109/RTCSA.2014.6910500},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/KempfS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wuwnet/UensalMS14,
  author       = {Ufuk Uensal and
                  Steffen Moser and
                  Frank Slomka},
  editor       = {Chiara Petrioli and
                  Tommaso Melodia and
                  Fumin Zhang and
                  Zhengdao Wang and
                  Jo{\~{a}}o Gomes and
                  Wencen Wu},
  title        = {Performance Comparison and Optimization of Channel Coding for Acoustic
                  Communication in Shallow Waters},
  booktitle    = {Proceedings of the International Conference on Underwater Networks
                  {\&} Systems, Rome, Italy, November 12 - 14, 2014},
  pages        = {33:1--33:2},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2671490.2674566},
  doi          = {10.1145/2671490.2674566},
  timestamp    = {Wed, 25 Mar 2020 13:28:30 +0100},
  biburl       = {https://dblp.org/rec/conf/wuwnet/UensalMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/DavisKPS13,
  author       = {Robert I. Davis and
                  Steffen Kollmann and
                  Victor Pollex and
                  Frank Slomka},
  title        = {Schedulability analysis for Controller Area Network {(CAN)} with {FIFO}
                  queues priority queues and gateways},
  journal      = {Real Time Syst.},
  volume       = {49},
  number       = {1},
  pages        = {73--116},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11241-012-9167-8},
  doi          = {10.1007/S11241-012-9167-8},
  timestamp    = {Tue, 30 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/DavisKPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/LuppoldMFS13,
  author       = {Arno Luppold and
                  Benjamin Menhorn and
                  Heiko Falk and
                  Frank Slomka},
  title        = {A new concept for system-level design of runtime reconfigurable real-time
                  systems},
  journal      = {{SIGBED} Rev.},
  volume       = {10},
  number       = {4},
  pages        = {57--60},
  year         = {2013},
  url          = {https://doi.org/10.1145/2583687.2583701},
  doi          = {10.1145/2583687.2583701},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/LuppoldMFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BundMS13,
  author       = {Tobias Bund and
                  Benjamin Menhorn and
                  Frank Slomka},
  editor       = {Enrico Macii},
  title        = {Event density analysis for event triggered control systems},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {1111--1116},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.233},
  doi          = {10.7873/DATE.2013.233},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BundMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PollexFSMMW13,
  author       = {Victor Pollex and
                  Timo Feld and
                  Frank Slomka and
                  Ulrich Margull and
                  Ralph Mader and
                  Gerhard Wirrer},
  editor       = {Enrico Macii},
  title        = {Sufficient real-time analysis for an engine control unit with constant
                  angular velocities},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {1335--1338},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.275},
  doi          = {10.7873/DATE.2013.275},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/PollexFSMMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/BundS13,
  author       = {Tobias Bund and
                  Frank Slomka},
  editor       = {Michel Auguin and
                  Robert de Simone and
                  Robert I. Davis and
                  Emmanuel Grolleau},
  title        = {A delay density model for networked control systems},
  booktitle    = {21st International Conference on Real-Time Networks and Systems, {RTNS}
                  2013, Sophia Antipolis, France, October 17-18, 2013},
  pages        = {205--212},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2516821.2516835},
  doi          = {10.1145/2516821.2516835},
  timestamp    = {Tue, 30 Aug 2022 08:51:38 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/BundS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/PollexFSMMW13,
  author       = {Victor Pollex and
                  Timo Feld and
                  Frank Slomka and
                  Ulrich Margull and
                  Ralph Mader and
                  Gerhard Wirrer},
  editor       = {Michel Auguin and
                  Robert de Simone and
                  Robert I. Davis and
                  Emmanuel Grolleau},
  title        = {Sufficient real-time analysis for an engine control unit},
  booktitle    = {21st International Conference on Real-Time Networks and Systems, {RTNS}
                  2013, Sophia Antipolis, France, October 17-18, 2013},
  pages        = {247--254},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2516821.2516838},
  doi          = {10.1145/2516821.2516838},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/PollexFSMMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/MenhornBS13,
  author       = {Benjamin Menhorn and
                  Lukas Brix and
                  Frank Slomka},
  title        = {Digital hardware projects: {A} new tool for automated complexity analysis},
  booktitle    = {8th {IEEE} International Symposium on Industrial Embedded Systems,
                  {SIES} 2013, Porto, Portugal, June 19-21, 2013},
  pages        = {73--76},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SIES.2013.6601473},
  doi          = {10.1109/SIES.2013.6601473},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/MenhornBS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/HausnerS13,
  author       = {Christian Hausner and
                  Frank Slomka},
  editor       = {Tuncer I. {\"{O}}ren and
                  Janusz Kacprzyk and
                  Leifur {\TH}. Leifsson and
                  Mohammad S. Obaidat and
                  Slawomir Koziel},
  title        = {Abstract Modeling of embedded Systems Hardware},
  booktitle    = {{SIMULTECH} 2013 - Proceedings of the 3rd International Conference
                  on Simulation and Modeling Methodologies, Technologies and Applications,
                  Reykjav{\'{\i}}k, Iceland, 29-31 July, 2013},
  pages        = {251--258},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004594802510258},
  doi          = {10.5220/0004594802510258},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/HausnerS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgct/MoserES12,
  author       = {Steffen Moser and
                  Simon Eckert and
                  Frank Slomka},
  title        = {An approach for the integration of smart antennas in the design and
                  simulation of vehicular ad-hoc networks},
  booktitle    = {First International Conference on Future Generation Communication
                  Technologies {(FGST} 2012), London, United Kingdom, December 12-14,
                  2012},
  pages        = {36--41},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FGCT.2012.6476583},
  doi          = {10.1109/FGCT.2012.6476583},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fgct/MoserES12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/MoserWS12,
  author       = {Steffen Moser and
                  Jochen Weiss and
                  Frank Slomka},
  title        = {Towards real-time media access in vehicular ad-hoc networks},
  booktitle    = {2012 {IEEE} Wireless Communications and Networking Conference Workshops,
                  {WCNC} Workshops 2012, Paris, France, April 1, 2012},
  pages        = {388--392},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WCNCW.2012.6215528},
  doi          = {10.1109/WCNCW.2012.6215528},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/MoserWS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/MenhornS11,
  author       = {Benjamin Menhorn and
                  Frank Slomka},
  editor       = {Robert P. Dick and
                  Jan Madsen},
  title        = {Design entropy concept: a measurement for complexity},
  booktitle    = {Proceedings of the 9th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
                  Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
  pages        = {285--294},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2039370.2039414},
  doi          = {10.1145/2039370.2039414},
  timestamp    = {Mon, 26 Nov 2018 12:14:45 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/MenhornS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/DavisKPS11,
  author       = {Robert I. Davis and
                  Steffen Kollmann and
                  Victor Pollex and
                  Frank Slomka},
  editor       = {Karl{-}Erik {\AA}rz{\'{e}}n},
  title        = {Controller Area Network {(CAN)} Schedulability Analysis with {FIFO}
                  Queues},
  booktitle    = {23rd Euromicro Conference on Real-Time Systems, {ECRTS} 2011, Porto,
                  Portugal, 5-8 July, 2011},
  pages        = {45--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ECRTS.2011.13},
  doi          = {10.1109/ECRTS.2011.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/DavisKPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChakrabortyNFLS11,
  author       = {Samarjit Chakraborty and
                  Marco Di Natale and
                  Heiko Falk and
                  Martin Lukasiewycz and
                  Frank Slomka},
  editor       = {Samarjit Chakraborty and
                  Ahmed Jerraya and
                  Sanjoy K. Baruah and
                  Sebastian Fischmeister},
  title        = {Timing and schedulability analysis for distributed automotive control
                  applications},
  booktitle    = {Proceedings of the 11th International Conference on Embedded Software,
                  {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
                  Taipei, Taiwan, October 9-14, 2011},
  pages        = {349--350},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038642.2038696},
  doi          = {10.1145/2038642.2038696},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ChakrabortyNFLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KollmannPS11,
  author       = {Steffen Kollmann and
                  Victor Pollex and
                  Frank Slomka},
  editor       = {Frank Oppenheimer},
  title        = {Reducing Response Times by Competition Based Dependencies},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
                  21-23, 2011},
  pages        = {91--100},
  publisher    = {OFFIS-Institut f{\"{u}}r Informatik},
  year         = {2011},
  timestamp    = {Wed, 27 Jun 2012 22:40:36 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KollmannPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/KempfKPS11,
  author       = {Kilian Kempf and
                  Steffen Kollmann and
                  Victor Pollex and
                  Frank Slomka},
  editor       = {S{\'{e}}bastien Faucou and
                  Alan Burns and
                  Laurent George},
  title        = {Relaxing Event Densities by Exploiting Infeasible Paths in Control
                  Flow Graphs},
  booktitle    = {19th International Conference on Real-Time and Network Systems, {RTNS}
                  '11, Nantes, France, September 29-30, 2011. Proceedings},
  pages        = {75--84},
  year         = {2011},
  url          = {http://rtns2011.irccyn.ec-nantes.fr/files/rtns2011.pdf},
  timestamp    = {Thu, 17 Mar 2022 16:13:49 +0100},
  biburl       = {https://dblp.org/rec/conf/rtns/KempfKPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/KollmannPS10,
  author       = {Steffen Kollmann and
                  Victor Pollex and
                  Frank Slomka},
  editor       = {Mike Hinchey and
                  Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Peter A. Lindsay and
                  Franz J. Rammig and
                  Jon Timmis and
                  Marilyn Wolf},
  title        = {Global Best-Case Response Time for Improving the Worst-Case Response
                  Times in Distributed Real-Time Systems},
  booktitle    = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
                  {TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
                  Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
                  September 20-23, 2010. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {329},
  pages        = {157--168},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15234-4\_16},
  doi          = {10.1007/978-3-642-15234-4\_16},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/KollmannPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KollmannPKS10,
  author       = {Steffen Kollmann and
                  Victor Pollex and
                  Kilian Kempf and
                  Frank Slomka},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Scalable Approach for the Description of Dependencies in Hard Real-Time
                  Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6416},
  pages        = {397--411},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16561-0\_37},
  doi          = {10.1007/978-3-642-16561-0\_37},
  timestamp    = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/KollmannPKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KollmannPS10,
  author       = {Steffen Kollmann and
                  Victor Pollex and
                  Frank Slomka},
  editor       = {Manfred Dietrich},
  title        = {Holistic Real-Time Analysis with an Expressive Event Model},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
                  2010},
  pages        = {67--76},
  publisher    = {Fraunhofer Verlag},
  year         = {2010},
  timestamp    = {Thu, 28 Jun 2012 08:20:28 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KollmannPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/PollexKS10,
  author       = {Victor Pollex and
                  Steffen Kollmann and
                  Frank Slomka},
  title        = {Generalizing Response-Time Analysis},
  booktitle    = {16th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
                  2010},
  pages        = {203--211},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RTCSA.2010.36},
  doi          = {10.1109/RTCSA.2010.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/PollexKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PollexKAS09,
  author       = {Victor Pollex and
                  Steffen Kollmann and
                  Karsten Albers and
                  Frank Slomka},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Improved worst-case response-time calculations by upper-bound conditions},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {105--110},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/DATE.2009.5090641},
  doi          = {10.1109/DATE.2009.5090641},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/PollexKAS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KonigBSMNW09,
  author       = {Frank K{\"{o}}nig and
                  Dave Boers and
                  Frank Slomka and
                  Ulrich Margull and
                  Michael Niemetz and
                  Gerhard Wirrer},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Application specific performance indicators for quantitative evaluation
                  of the timing behavior for embedded real-time systems},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {519--523},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/DATE.2009.5090719},
  doi          = {10.1109/DATE.2009.5090719},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/KonigBSMNW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/AlbersS09,
  author       = {Karsten Albers and
                  Frank Slomka},
  editor       = {Achim Rettberg and
                  Mauro Cesar Zanella and
                  Michael Amann and
                  Michael Keckeisen and
                  Franz J. Rammig},
  title        = {Event Stream Calculus for Schedulability Analysis},
  booktitle    = {Analysis, Architectures and Modelling of Embedded Systems, Third {IFIP}
                  {TC} 10 International Embedded Systems Symposium, {IESS} 2009, Langenargen,
                  Germany, September 14-16, 2009. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {310},
  pages        = {102--114},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04284-3\_10},
  doi          = {10.1007/978-3-642-04284-3\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iess/AlbersS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/LipskochS09,
  author       = {Henrik Lipskoch and
                  Frank Slomka},
  editor       = {Achim Rettberg and
                  Mauro Cesar Zanella and
                  Michael Amann and
                  Michael Keckeisen and
                  Franz J. Rammig},
  title        = {Task-Dependent Processor Shutdown for Hard Real-Time Systems},
  booktitle    = {Analysis, Architectures and Modelling of Embedded Systems, Third {IFIP}
                  {TC} 10 International Embedded Systems Symposium, {IESS} 2009, Langenargen,
                  Germany, September 14-16, 2009. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {310},
  pages        = {127--138},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04284-3\_12},
  doi          = {10.1007/978-3-642-04284-3\_12},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iess/LipskochS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DiederichsMSW08,
  author       = {Claas Diederichs and
                  Ulrich Margull and
                  Frank Slomka and
                  Gerhard Wirrer},
  editor       = {Donatella Sciuto},
  title        = {An application-based {EDF} scheduler for {OSEK/VDX}},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
                  March 10-14, 2008},
  pages        = {1045--1050},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1109/DATE.2008.4484819},
  doi          = {10.1109/DATE.2008.4484819},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/DiederichsMSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AlbersBS08,
  author       = {Karsten Albers and
                  Frank Bodmann and
                  Frank Slomka},
  title        = {Advanced Hierachical Event-Stream Model},
  booktitle    = {20th Euromicro Conference on Real-Time Systems, {ECRTS} 2008, 2-4
                  July 2008, Prague, Czech Republic, Proceedings},
  pages        = {211--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECRTS.2008.19},
  doi          = {10.1109/ECRTS.2008.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AlbersBS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KorteS07,
  author       = {Mario Korte and
                  Frank Slomka},
  title        = {C-based System Development of Asynchronous Distributed Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {134--139},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=247},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KorteS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/AlbersBS07,
  author       = {Karsten Albers and
                  Frank Bodmann and
                  Frank Slomka},
  editor       = {Achim Rettberg and
                  Mauro Cesar Zanella and
                  Rainer D{\"{o}}mer and
                  Andreas Gerstlauer and
                  Franz{-}Josef Rammig},
  title        = {Run-Time efficient Feasibility Analysis of Uni-Processor Systems with
                  Static Priorities},
  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        = {37--46},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-0-387-72258-0\_4},
  doi          = {10.1007/978-0-387-72258-0\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iess/AlbersBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/JelkmannAS07,
  author       = {Daniel Jelkmann and
                  Karsten Albers and
                  Frank Slomka},
  editor       = {Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {Improved Feasibility Tests for Asynchronous Real-Time Periodic Task
                  Sets},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7,
                  2007},
  series       = {Berichte aus der Informatik},
  pages        = {69--78},
  publisher    = {Shaker},
  year         = {2007},
  timestamp    = {Thu, 11 Jul 2019 13:18:08 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/JelkmannAS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/LipskochAS07,
  author       = {Henrik Lipskoch and
                  Karsten Albers and
                  Frank Slomka},
  editor       = {Nadine Az{\'{e}}mard and
                  Lars J. Svensson},
  title        = {Fast Calculation of Permissible Slowdown Factors for Hard Real-Time
                  Systems},
  booktitle    = {Integrated Circuit and System Design. Power and Timing Modeling, Optimization
                  and Simulation, 17th International Workshop, {PATMOS} 2007, Gothenburg,
                  Sweden, September 3-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4644},
  pages        = {495--504},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74442-9\_48},
  doi          = {10.1007/978-3-540-74442-9\_48},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/LipskochAS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-4737,
  author       = {Karsten Albers and
                  Frank Slomka},
  title        = {Efficient Feasibility Analysis for Real-Time Systems with {EDF} Scheduling},
  journal      = {CoRR},
  volume       = {abs/0710.4737},
  year         = {2007},
  url          = {http://arxiv.org/abs/0710.4737},
  eprinttype    = {arXiv},
  eprint       = {0710.4737},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0710-4737.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/LipskochAS06,
  author       = {Henrik Lipskoch and
                  Karsten Albers and
                  Frank Slomka},
  editor       = {Reinaldo A. Bergamaschi and
                  Kiyoung Choi},
  title        = {Battery discharge aware energy feasibility analysis},
  booktitle    = {Proceedings of the 4th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2006, Seoul, Korea, October
                  22-25, 2006},
  pages        = {22--27},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1176254.1176263},
  doi          = {10.1145/1176254.1176263},
  timestamp    = {Mon, 26 Nov 2018 12:14:45 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/LipskochAS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KollmannABS06,
  author       = {Steffen Kollmann and
                  Karsten Albers and
                  Frank Bodmann and
                  Frank Slomka},
  title        = {Modifications on Event Streams for the Real-Time Analysis of Distributed
                  Fixed-Priority Systems},
  booktitle    = {13th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
                  Germany},
  pages        = {491--492},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECBS.2006.51},
  doi          = {10.1109/ECBS.2006.51},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/KollmannABS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AlbersBS06,
  author       = {Karsten Albers and
                  Frank Bodmann and
                  Frank Slomka},
  title        = {Hierarchical Event Streams and Event Dependency Graphs: {A} New Computational
                  Model for Embedded Real-Time Systems},
  booktitle    = {18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July
                  2006, Dresden, Germany, Proceedings},
  pages        = {97--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECRTS.2006.12},
  doi          = {10.1109/ECRTS.2006.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AlbersBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/Slomka06,
  author       = {Frank Slomka},
  editor       = {Reinhard German and
                  Armin Heindl},
  title        = {Simulation of distributed embedded real-time systems},
  booktitle    = {Proceedings 13th {GI/ITG} Conference on Measuring, Modelling and Evaluation
                  of Computer and Communication Systems, {MMB} 2006, March 27-29, 2006,
                  N{\"{u}}rnberg, Germany},
  pages        = {449--452},
  publisher    = {{VDE} Verlag},
  year         = {2006},
  timestamp    = {Mon, 09 Dec 2013 17:20:14 +0100},
  biburl       = {https://dblp.org/rec/conf/mmb/Slomka06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BodmannAS06,
  author       = {Frank Bodmann and
                  Karsten Albers and
                  Frank Slomka},
  title        = {Analyzing the Timing Characteristics of Task Activations},
  booktitle    = {International Symposium on Industrial Embedded Systems, {IES} 2006,
                  Antibes Juan-Les-Pins, France, October 18-20, 2006},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IES.2006.357461},
  doi          = {10.1109/IES.2006.357461},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/BodmannAS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AlbersS05,
  author       = {Karsten Albers and
                  Frank Slomka},
  title        = {Efficient Feasibility Analysis for Real-Time Systems with {EDF} Scheduling},
  booktitle    = {2005 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  pages        = {492--497},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/DATE.2005.128},
  doi          = {10.1109/DATE.2005.128},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/AlbersS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AlbersBFKNSS05,
  author       = {Karsten Albers and
                  Carsten Beth and
                  Sven Frimont and
                  Nicole Kaczoreck and
                  Wolfgang Nebel and
                  Andreas Schallenberg and
                  Frank Slomka},
  editor       = {Armin B. Cremers and
                  Rainer Manthey and
                  Peter Martini and
                  Volker Steinhage},
  title        = {Smart Systems: Explorierende Roboter in der Lehre},
  booktitle    = {35. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  LIVE!, {INFORMATIK} 2005, Bonn, Germany, September 19-22, 2005, Band
                  1},
  series       = {{LNI}},
  volume       = {{P-67}},
  pages        = {173--177},
  publisher    = {{GI}},
  year         = {2005},
  url          = {https://dl.gi.de/handle/20.500.12116/28015},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/AlbersBFKNSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/SlomkaA05,
  author       = {Frank Slomka and
                  Karsten Albers},
  editor       = {Torsten Klein and
                  Bernhard Rumpe and
                  Bernhard Sch{\"{a}}tz},
  title        = {Hardware/Software Co-Synthesis of Real-Time Systems with Approximated
                  Analysis Algorithms},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband
                  Modellbasierte Entwicklung eingebetteter Systeme},
  series       = {Informatik-Bericht},
  volume       = {2005-1},
  pages        = {134--146},
  publisher    = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
  year         = {2005},
  url          = {http://www.sse-tubs.de/publications/KRS\_MBEES\_InfoBericht\_05.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:39:36 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/SlomkaA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AlbersS04,
  author       = {Karsten Albers and
                  Frank Slomka},
  title        = {An Event Stream Driven Approximation for the Analysis of Real-Time
                  Systems},
  booktitle    = {16th Euromicro Conference on Real-Time Systems {(ECRTS} 2004), 30
                  June - 2 July 1004, Catania, Italy, Proceedings},
  pages        = {187--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.4},
  doi          = {10.1109/ECRTS.2004.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AlbersS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/SlomkaAH04,
  author       = {Frank Slomka and
                  Karsten Albers and
                  Richard Hofmann},
  editor       = {Bernd Kleinjohann and
                  Guang R. Gao and
                  Hermann Kopetz and
                  Lisa Kleinjohann and
                  Achim Rettberg},
  title        = {A Multiobjective Tabu Search Algorithm for the Design Space Exploration
                  of Embedded Systems},
  booktitle    = {Design Methods and Applications for Distributed Embedded Systems,
                  {IFIP} 18th World Computer Congress, {TC10} Working Conference on
                  Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August
                  2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {150},
  pages        = {227--236},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8149-9\_23},
  doi          = {10.1007/1-4020-8149-9\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/SlomkaAH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejasp/BednaraDDOST03,
  author       = {Marcus Bednara and
                  Klaus Danne and
                  Markus Deppe and
                  Oliver Oberschelp and
                  Frank Slomka and
                  J{\"{u}}rgen Teich},
  title        = {Design and Implementation of Digital Linear Control Systems on Reconfigurable
                  Hardware},
  journal      = {{EURASIP} J. Adv. Signal Process.},
  volume       = {2003},
  number       = {6},
  pages        = {594--602},
  year         = {2003},
  url          = {https://doi.org/10.1155/S1110865703301040},
  doi          = {10.1155/S1110865703301040},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejasp/BednaraDDOST03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/MunzenbergerDHS03,
  author       = {Ralf M{\"{u}}nzenberger and
                  Matthias D{\"{o}}rfel and
                  Richard Hofmann and
                  Frank Slomka},
  title        = {A general time model for the specification and design of embedded
                  real-time systems},
  journal      = {Microelectron. J.},
  volume       = {34},
  number       = {11},
  pages        = {989--1000},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0026-2692(03)00167-8},
  doi          = {10.1016/S0026-2692(03)00167-8},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mj/MunzenbergerDHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Slomka02,
  author       = {Frank Slomka},
  title        = {Mehrkriterienoptimierung verteilter Echtzeitsysteme mit Tabu-Search},
  school       = {University of Erlangen-Nuremberg, Germany},
  year         = {2002},
  url          = {https://d-nb.info/965391698},
  isbn         = {978-3-18-335320-0},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Slomka02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/JersakRHES02,
  author       = {Marek Jersak and
                  Kai Richter and
                  Rafik Henia and
                  Rolf Ernst and
                  Frank Slomka},
  editor       = {J{\"{o}}rg Henkel and
                  Xiaobo Sharon Hu and
                  Rajesh Gupta and
                  Sri Parameswaran},
  title        = {Transformation of {SDL} specifications for system-level timing analysis},
  booktitle    = {Proceedings of the Tenth International Symposium on Hardware/Software
                  Codesign, {CODES} 2002, Estes Park, Colorado, USA, May 6-8, 2002},
  pages        = {121--126},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/774789.774815},
  doi          = {10.1145/774789.774815},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/JersakRHES02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MunzenbergerDSH02,
  author       = {Ralf M{\"{u}}nzenberger and
                  Matthias D{\"{o}}rfel and
                  Frank Slomka and
                  Richard Hofmann},
  title        = {A New Time Model for the Specification, Design, Validation and Synthesis
                  of Embedded Real-Time Systems},
  booktitle    = {2002 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2002), 4-8 March 2002, Paris, France},
  pages        = {1095},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DATE.2002.998451},
  doi          = {10.1109/DATE.2002.998451},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MunzenbergerDSH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelleAC/Jersak0ZEHST02,
  author       = {Marek Jersak and
                  Kai Richter and
                  Dirk Ziegenbein and
                  Rolf Ernst and
                  Christian Haubelt and
                  Frank Slomka and
                  J{\"{u}}rgen Teich},
  title        = {{SPI} - Workbench f{\"{u}}r die Analyse Eingebetteter Systeme},
  booktitle    = {Modelle, Werkzeuge und Infrastrukturen zur Unterst{\"{u}}tzung
                  von Entwicklungsprozessen},
  pages        = {367--368},
  year         = {2002},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/modelleAC/Jersak0ZEHST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/SlomkaDM01,
  author       = {Frank Slomka and
                  Matthias D{\"{o}}rfel and
                  Ralf M{\"{u}}nzenberger},
  editor       = {Jan Madsen and
                  J{\"{o}}rg Henkel and
                  Xiaobo Sharon Hu},
  title        = {Generating mixing hardware/software systems from {SDL} specifications},
  booktitle    = {Proceedings of the Ninth International Symposium on Hardware/Software
                  Codesign, {CODES} 2001, Copenhagen, Denmark, 2001},
  pages        = {116--121},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/371636.371699},
  doi          = {10.1145/371636.371699},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/SlomkaDM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/MunzenbergerSDH01,
  author       = {Ralf M{\"{u}}nzenberger and
                  Frank Slomka and
                  Matthias D{\"{o}}rfel and
                  Richard Hofmann},
  editor       = {Rick Reed and
                  Jeanne Reed},
  title        = {A General Approach for the Specification of Real-Time Systems with
                  {SDL}},
  booktitle    = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
                  Denmark, June 27-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2078},
  pages        = {203--222},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48213-X\_13},
  doi          = {10.1007/3-540-48213-X\_13},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/MunzenbergerSDH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/SlomkaDMH00,
  author       = {Frank Slomka and
                  Matthias D{\"{o}}rfel and
                  Ralf M{\"{u}}nzenberger and
                  Richard Hofmann},
  title        = {Hardware/Software Codesign and Rapid Prototyping of Embedded Systems},
  journal      = {{IEEE} Des. Test Comput.},
  volume       = {17},
  number       = {2},
  pages        = {28--38},
  year         = {2000},
  url          = {https://doi.org/10.1109/54.844331},
  doi          = {10.1109/54.844331},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/SlomkaDMH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/FischerHKMPFDDHMMS00,
  author       = {Franz Fischer and
                  Thomas Hopfner and
                  Thomas Kolloch and
                  Annette Muth and
                  Stefan M. Petters and
                  Georg F{\"{a}}rber and
                  Matthias D{\"{o}}rfel and
                  Winfried Dulz and
                  Richard Hofmann and
                  Andreas Mitschele{-}Thiel and
                  Ralf M{\"{u}}nzenberger and
                  Frank Slomka},
  title        = {Rapid Prototyping von Realzeitsystemen mit {SDL} (Rapid Prototyping
                  of Real Time Systems using {SDL)}},
  journal      = {Informationstechnik Tech. Inform.},
  volume       = {42},
  number       = {2},
  pages        = {45--53},
  year         = {2000},
  url          = {https://doi.org/10.1524/itit.2000.42.2.45},
  doi          = {10.1524/ITIT.2000.42.2.45},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/FischerHKMPFDDHMMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/DorfelMS00,
  author       = {Matthias D{\"{o}}rfel and
                  Andreas Mitschele{-}Thiel and
                  Frank Slomka},
  title        = {{CORSAIR:} HW/SW-Codesign von Kommunikationssystemen mit {SDL}},
  journal      = {Prax. Inf.verarb. Kommun.},
  volume       = {23},
  number       = {1},
  pages        = {3--13},
  year         = {2000},
  url          = {https://doi.org/10.1515/PIKO.2000.3},
  doi          = {10.1515/PIKO.2000.3},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pik/DorfelMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/SlomkaDSH99,
  author       = {Frank Slomka and
                  Matthias D{\"{o}}rfel and
                  Simone Spitz and
                  Richard Hofmann},
  editor       = {Hamid R. Arabnia},
  title        = {Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping
                  of Parallel and Heterogeneous Real-Time Communication Systems},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
                  1, 1999, Las Vegas, Nevada, {USA}},
  pages        = {3016--3022},
  publisher    = {{CSREA} Press},
  year         = {1999},
  timestamp    = {Tue, 20 Apr 2004 14:47:51 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/SlomkaDSH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BringmannRMFSH99,
  author       = {Oliver Bringmann and
                  Wolfgang Rosenstiel and
                  Annette Muth and
                  Georg F{\"{a}}rber and
                  Frank Slomka and
                  Richard Hofmann},
  title        = {Mixed Abstraction Level Hardware Synthesis from {SDL} for Rapid Prototyping},
  booktitle    = {Proceedings of the Tenth {IEEE} International Workshop on Rapid System
                  Prototyping {(RSP} 1999), Clearwater, Florida, USA, June 16-18, 1999},
  pages        = {114--119},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/IWRSP.1999.779040},
  doi          = {10.1109/IWRSP.1999.779040},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/BringmannRMFSH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/DorfelSH99,
  author       = {Matthias D{\"{o}}rfel and
                  Frank Slomka and
                  Richard Hofmann},
  title        = {A Scalable Hardware Library for the Rapid Prototyping of {SDL} Specifications},
  booktitle    = {Proceedings of the Tenth {IEEE} International Workshop on Rapid System
                  Prototyping {(RSP} 1999), Clearwater, Florida, USA, June 16-18, 1999},
  pages        = {120},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/IWRSP.1999.779041},
  doi          = {10.1109/IWRSP.1999.779041},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/DorfelSH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/SlomkaZL98,
  author       = {Frank Slomka and
                  J{\"{u}}rgen Zant and
                  Lennard Lambert},
  editor       = {Gaetano Borriello and
                  Ahmed Amine Jerraya and
                  Luciano Lavagno},
  title        = {Schedulability analysis of heterogeneous systems for performance message
                  sequence chart},
  booktitle    = {Proceedings of the Sixth International Workshop on Hardware/Software
                  Codesign, {CODES} 1998, Seattle, Washington, USA, March 15-18, 1998},
  pages        = {91--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1145/278241.278308},
  doi          = {10.1145/278241.278308},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/SlomkaZL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FaltinLMS97,
  author       = {Nils Faltin and
                  Lennard Lambert and
                  Andreas Mitschele{-}Thiel and
                  Frank Slomka},
  editor       = {Adam Wolisz and
                  Ina Schieferdecker and
                  Axel Rennoch},
  title        = {{PMSC} -- Integrating Performance into Message Sequence Chart},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Berlin, 19.-20. Juni 1997},
  series       = {GMD-Studien},
  volume       = {315},
  pages        = {145--154},
  publisher    = {GMD-Forschungszentrum Informationstechnik GmbH},
  year         = {1997},
  timestamp    = {Thu, 27 Mar 2003 09:36:35 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/FaltinLMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/FaltinLMS97,
  author       = {Nils Faltin and
                  Lennard Lambert and
                  Andreas Mitschele{-}Thiel and
                  Frank Slomka},
  editor       = {Ana R. Cavalli and
                  Amardeo Sarma},
  title        = {An annotational extension of message sequence charts to support performance
                  engineering},
  booktitle    = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
                  {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages        = {307--322},
  publisher    = {Elsevier},
  year         = {1997},
  timestamp    = {Thu, 16 Oct 2003 14:16:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/FaltinLMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics