BibTeX records: Jan Staschulat

download as .bib file

@article{DBLP:journals/corr/abs-2105-05590,
  author       = {Jan Staschulat and
                  Ralph Lange and
                  Dakshina Narahari Dasari},
  title        = {Budget-based real-time Executor for Micro-ROS},
  journal      = {CoRR},
  volume       = {abs/2105.05590},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.05590},
  eprinttype    = {arXiv},
  eprint       = {2105.05590},
  timestamp    = {Mon, 31 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-05590.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/StaschulatLL20,
  author       = {Jan Staschulat and
                  Ingo L{\"{u}}tkebohle and
                  Ralph Lange},
  editor       = {Tulika Mitra and
                  Andreas Gerstlauer},
  title        = {The rclc Executor: Domain-specific deterministic scheduling mechanisms
                  for {ROS} applications on microcontrollers: work-in-progress},
  booktitle    = {20th International Conference on Embedded Software, {EMSOFT} 2020,
                  Singapore, September 20-25, 2020},
  pages        = {18--19},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/EMSOFT51651.2020.9244014},
  doi          = {10.1109/EMSOFT51651.2020.9244014},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/StaschulatLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/simpar/LotzHLHSKSLS16,
  author       = {Alex Lotz and
                  Arne Hamann and
                  Ralph Lange and
                  Christian Heinzemann and
                  Jan Staschulat and
                  Vincent Kesel and
                  Dennis Stampfer and
                  Matthias Lutz and
                  Christian Schlegel},
  title        = {Combining robotics component-based model-driven development with a
                  model-based performance analysis},
  booktitle    = {2016 {IEEE} International Conference on Simulation, Modeling, and
                  Programming for Autonomous Robots, {SIMPAR} 2016, San Francisco, CA,
                  USA, December 13-16, 2016},
  pages        = {170--176},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SIMPAR.2016.7862392},
  doi          = {10.1109/SIMPAR.2016.7862392},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/simpar/LotzHLHSKSLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/StaschulatB09,
  author       = {Jan Staschulat and
                  Marco Bekooij},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Dataflow models for shared memory access latency analysis},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {275--284},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629372},
  doi          = {10.1145/1629335.1629372},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/StaschulatB09.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}
}

@article{DBLP:journals/tecs/StaschulatE07,
  author       = {Jan Staschulat and
                  Rolf Ernst},
  title        = {Scalable precision cache analysis for real-time software},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {6},
  number       = {4},
  pages        = {25},
  year         = {2007},
  url          = {https://doi.org/10.1145/1274858.1274863},
  doi          = {10.1145/1274858.1274863},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/StaschulatE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecrts/StaschulatE06,
  author       = {Jan Staschulat and
                  Rolf Ernst},
  title        = {Worst case timing analysis of input dependent data cache behavior},
  booktitle    = {18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July
                  2006, Dresden, Germany, Proceedings},
  pages        = {227--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECRTS.2006.33},
  doi          = {10.1109/ECRTS.2006.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/StaschulatE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/StaschulatBERSB06,
  author       = {Jan Staschulat and
                  J{\"{o}}rn{-}Christian Braam and
                  Rolf Ernst and
                  Thomas Rambow and
                  Rainer Schl{\"{o}}r and
                  Rainer Busch},
  title        = {Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {204--211},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.64},
  doi          = {10.1109/ISOLA.2006.64},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/StaschulatBERSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcet/SchlieckerISE06,
  author       = {Simon Schliecker and
                  Matthias Ivers and
                  Jan Staschulat and
                  Rolf Ernst},
  editor       = {Frank Mueller},
  title        = {A Framework for the Busy Time Calculation of Multiple Correlated Events},
  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/676},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/SchlieckerISE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/StaschulatESW05,
  author       = {Jan Staschulat and
                  Rolf Ernst and
                  Andreas Schulze and
                  Fabian Wolf},
  title        = {Context Sensitive Performance Analysis of Automotive Applications},
  booktitle    = {2005 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  pages        = {165--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/DATE.2005.103},
  doi          = {10.1109/DATE.2005.103},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/StaschulatESW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecrts/StaschulatSE05,
  author       = {Jan Staschulat and
                  Simon Schliecker and
                  Rolf Ernst},
  title        = {Scheduling Analysis of Real-Time Systems with Precise Modeling of
                  Cache Related Preemption Delay},
  booktitle    = {17th Euromicro Conference on Real-Time Systems {(ECRTS} 2005), 6-8
                  July 2005, Palma de Mallorca, Spain, Proceedings},
  pages        = {41--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ECRTS.2005.26},
  doi          = {10.1109/ECRTS.2005.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/StaschulatSE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lctrts/StaschulatE05,
  author       = {Jan Staschulat and
                  Rolf Ernst},
  editor       = {Yunheung Paek and
                  Rajiv Gupta},
  title        = {Scalable precision cache analysis for preemptive scheduling},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois,
                  USA, June 15-17, 2005},
  pages        = {157--165},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1065910.1065933},
  doi          = {10.1145/1065910.1065933},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/StaschulatE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcet/StaschulatSIE05,
  author       = {Jan Staschulat and
                  Simon Schliecker and
                  Matthias Ivers and
                  Rolf Ernst},
  editor       = {Reinhard Wilhelm},
  title        = {Analysis of Memory Latencies in Multi-Processor Systems},
  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/813},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/StaschulatSIE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/StaschulatE04,
  author       = {Jan Staschulat and
                  Rolf Ernst},
  editor       = {Giorgio C. Buttazzo},
  title        = {Multiple process execution in cache related preemption delay analysis},
  booktitle    = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
                  Conference On Embedded Software, Proceedings},
  pages        = {278--286},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1017753.1017798},
  doi          = {10.1145/1017753.1017798},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/StaschulatE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/03/Jersak0RSEBW03,
  author       = {Marek Jersak and
                  Kai Richter and
                  Razvan Racu and
                  Jan Staschulat and
                  Rolf Ernst and
                  J{\"{o}}rn{-}Christian Braam and
                  Fabian Wolf},
  editor       = {Ahmed Amine Jerraya and
                  Sungjoo Yoo and
                  Diederik Verkest and
                  Norbert Wehn},
  title        = {Formal Methods for Integration of Automotive Software},
  booktitle    = {Embedded Software for SoC},
  pages        = {11--24},
  publisher    = {Kluwer / Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/0-306-48709-8\_2},
  doi          = {10.1007/0-306-48709-8\_2},
  timestamp    = {Thu, 04 Jul 2019 16:02:30 +0200},
  biburl       = {https://dblp.org/rec/books/sp/03/Jersak0RSEBW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/WolfSE02,
  author       = {Fabian Wolf and
                  Jan Staschulat and
                  Rolf Ernst},
  title        = {Hybrid Cache Analysis in Running Time Verification of Embedded Software},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {271--295},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1019734423460},
  doi          = {10.1023/A:1019734423460},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/WolfSE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/WolfSE02,
  author       = {Fabian Wolf and
                  Jan Staschulat and
                  Rolf Ernst},
  title        = {Associative caches in formal software timing analysis},
  booktitle    = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
                  New Orleans, LA, USA, June 10-14, 2002},
  pages        = {622--627},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/513918.514076},
  doi          = {10.1145/513918.514076},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WolfSE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.