2024
|
Arvind Easwaran and Sebastian Altmeyer. in press. Performance guarantees in dynamic networks and graph algorithms. Real-Time Systems . DOI: 10.1007/s11241-024-09424-6 BibTeX | RIS | DOI
|
Alexander Stegmeier, Peter Knauer, Philipp Schubaur, Christian Piatka, Dominik Merli and Sebastian Altmeyer. 2024. Safe and secure? On the timing analysability of cryptographic implementations. In Iain Bate, Benny Akesson, Xiaotian Dai (Eds.). 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS), 13-16 May 2024, Hong Kong, Hong Kong. IEEE, Piscataway, NJ, 68-80 DOI: 10.1109/rtas61025.2024.00014 BibTeX | RIS | DOI
|
2022
|
Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer and Robert I. Davis. 2022. A comprehensive survey of industry practice in real-time systems. Real-Time Systems 58, 3, 358-398. DOI: 10.1007/s11241-021-09376-1 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer and Jean-Luc Scharbarg. 2022. Editorial on the special issue of RTNS 2020. Real-Time Systems 58, 1, 1-3. DOI: 10.1007/s11241-022-09378-7 PDF | BibTeX | RIS | DOI
|
Rico Amslinger, Christian Piatka, Florian Haas, Sebastian Weis, Theo Ungerer and Sebastian Altmeyer. 2022. Multiversioning hardware transactional memory for fail-operational multithreaded applications. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2022-01. Institut für Informatik, Universität Augsburg, Augsburg. PDF | BibTeX | RIS
|
Christoph Kühbacher, Theo Ungerer and Sebastian Altmeyer. 2022. Redundant dataflow applications on clustered manycore architectures. In Jiman Hong, Miroslav Bures, Juw Won Park, Tomas Cerny (Eds.). SAC '22: proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, virtual event, April 25 - 29, 2022. ACM, New York, NY, 226-235 DOI: 10.1145/3477314.3507272 PDF | BibTeX | RIS | DOI
|
2021
|
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2021. Energy-aware scheduling of multi-version tasks on heterogeneous real-time systems. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini and Eunjee Song (Ed.). SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing Virtual Event, Republic of Korea, March 22 - 26, 2021. ACM, New York, NY, 501-510. DOI: 10.1145/3412841.3441930 PDF | BibTeX | RIS | DOI
|
Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2021. YASMIN: a real-time middleware for COTS heterogeneous platforms. In Kaiwen Zhang, Abdelouahed Gherbi, Nalini Venkatasubramanian and Luís Veiga (Ed.). Middleware '21: Proceedings of the 22nd International Middleware Conference, Québec city, Canada, December 6 - 10, 2021. ACM, New York, NY, 298-309. DOI: 10.1145/3464298.3493402 PDF | BibTeX | RIS | DOI
|
2020
|
Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer and Robert Ian Davis. 2020. An empirical survey-based study into industry practice in real-time. In X. Sharon Hu, Jian-Jia Chen, Avira Shrivastava, Nan Guan and Tam Chantem (Ed.). 2020 IEEE Real-Time Systems Symposium (RTSS), 1-4 December 2020, Houston, TX, USA. IEEE, Piscataway, NJ, 3-11. DOI: 10.1109/RTSS49844.2020.00012 PDF | BibTeX | RIS | DOI
|
Rico Amslinger, Christian Piatka, Florian Haas, Sebastian Weis, Theo Ungerer and Sebastian Altmeyer. 2020. Hardware multiversioning for fail-operational multithreaded applications. In Miguel Areias, Jorge Barbosa and Inês Dutra (Ed.). 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 9-11 Sept. 2020, Porto, Portugal. IEEE, Piscataway, NJ, 20-27. DOI: 10.1109/sbac-pad49847.2020.00014 PDF | BibTeX | RIS | DOI
|
Filip Marković, Jan Carlson, Sebastian Altmeyer and Radu Dobrin. 2020. Improving the accuracy of cache-aware response time analysis using preemption partitioning. In Marcus Völp (Ed.). 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020). Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Dagstuhl (Leibniz International Proceedings in Informatics (LIPIcs) ; 165), 5:1-5:23. DOI: 10.4230/LIPIcs.ECRTS.2020.5 PDF | BibTeX | RIS | DOI
|
Christian Piatka, Rico Amslinger, Florian Haas, Sebastian Weis, Sebastian Altmeyer and Theo Ungerer. 2020. Investigating transactional memory for high performance embedded systems. Lecture Notes in Computer Science 12155, 97-108. DOI: 10.1007/978-3-030-52794-5_8 PDF | BibTeX | RIS | DOI Architecture of Computing Systems – ARCS 2020: 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings
|
Jun Xiao, Sebastian Altmeyer and Andy D. Pimentel. 2020. Schedulability analysis of global scheduling for multicore systems with shared caches. IEEE Transactions on Computers 69, 10, 1487-1499. DOI: 10.1109/tc.2020.2974224 PDF | BibTeX | RIS | DOI
|
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2020. Towards energy-, time- and security-aware multi-core coordination. Lecture Notes in Computer Science 57-74. DOI: 10.1007/978-3-030-50029-0_4 PDF | BibTeX | RIS | DOI
|
2019
|
Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer and Robert I. Davis. 2019. A survey of timing verification techniques for multi-core real-time systems. ACM Computing Surveys 52, 3, 1-38. DOI: 10.1145/3323212 PDF | BibTeX | RIS | DOI
|
Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer and Clemens Grelck. 2019. Interdependent multi-version scheduling in heterogeneous energy-aware embedded systems. In Benjamin Rouxel, Antonio Paolillo (Eds.). Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing, JRWRTC 2019, Toulouse, France, November 6-8, 2019. IRIT - Institut de Recherche en Informatique de Toulouse, Toulouse, 45-48 PDF | BibTeX | RIS | URL
|
Reinder J. Bril, Sebastian Altmeyer and Paolo Gai. 2019. Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies. In Jiming Chen and Eduardo Tovar (Ed.). 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 18-21 August 2019, Hangzhou, China. IEEE, Piscataway, NJ DOI: 10.1109/rtcsa.2019.8864554 PDF | BibTeX | RIS | DOI
|
2018
|
Robert I. Davis, Sebastian Altmeyer, Leandro S. Indrusiak, Claire Maiza, Vincent Nelis and Jan Reineke. 2018. An extensible framework for multicore response time analysis. Real-Time Systems 54, 3, 607-661. DOI: 10.1007/s11241-017-9285-4 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer, Reinder J. Bril and Paolo Gai. 2018. EMPRESS: an efficient and effective method for PREdictable stack sharing. In Rodolfo Pellizzoni, Insik Shin and Kaori Fujinami (Ed.). 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 28-31 August 2018, Hakodate, Japan. IEEE, Piscataway, NJ, 92-100. DOI: 10.1109/rtcsa.2018.00020 PDF | BibTeX | RIS | DOI
|
Robert I. Davis, Sebastian Altmeyer and Alan Burns. 2018. Mixed criticality systems with varying context switch costs. In Rodolfo Pellizzoni (Ed.). 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 11-13 April 2018, Porto, Portugal. IEEE, Piscataway, NJ, 140-151. DOI: 10.1109/rtas.2018.00024 PDF | BibTeX | RIS | DOI
|
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean and Robert I. Davis. 2018. On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Systems 54, 2, 307-388. DOI: 10.1007/s11241-017-9295-2 PDF | BibTeX | RIS | DOI
|
Robert I. Davis, Sebastian Altmeyer and A. Burns. 2018. Priority assignment in fixed priority pre-emptive systems with varying context switch costs. In Tam Chantem, Dorin Maxim (Eds.). 9th International Real-Time Scheduling Open Problems Seminar - RTSOPS 2018: satellite workshop of the 30th EUROMICRO Conference on Real-Time Systems, Barcelona, Spain, 3-6th July 2018. Virginia Tech, 11-12 PDF | BibTeX | RIS | URL | URL
|
Robert I. Davis, Sebastian Altmeyer and Jan Reineke. 2018. Response-time analysis for fixed-priority systems with a write-back cache. Real-Time Systems 54, 4, 912-963. DOI: 10.1007/s11241-018-9305-z PDF | BibTeX | RIS | DOI
|
Yorick De Bock, Sebastian Altmeyer, Thomas Huybrechts, Jan Broeckhove and Peter Hellinckx. 2018. Task-set generator for schedulability analysis using the TACLebench benchmark suite. ACM SIGBED Review 15, 1, 22-28. DOI: 10.1145/3199610.3199613 PDF | BibTeX | RIS | DOI
|
2017
|
Boudewijn Braams, Sebastian Altmeyer and Andy D. Pimentel. 2017. EDiFy: an execution time distribution finder. In Proceedings of the 54th Annual Design Automation Conference 2017 - DAC '17, June 2017, Austin, TX, USA. ACM Press, New York, NY, 32. DOI: 10.1145/3061639.3062233 PDF | BibTeX | RIS | DOI
|
Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis and Moris Behnam. 2017. Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Real-Time Systems 53, 4, 403-466. DOI: 10.1007/s11241-016-9266-z PDF | BibTeX | RIS | DOI
|
Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis and Eduardo Tovar. 2017. Integrated analysis of cache related preemption delays and cache persistence reload overheads. In Frank Mueller and Isabelle Puaut (Ed.). 2017 IEEE Real-Time Systems Symposium (RTSS), 5-8 December 2017, Paris, France. IEEE, Piscataway, NJ, 188-198. DOI: 10.1109/rtss.2017.00025 PDF | BibTeX | RIS | DOI
|
Jun Xiao, Sebastian Altmeyer and Andy Pimentel. 2017. Schedulability analysis of non-preemptive real-time scheduling for multicore processors with shared caches. In Frank Mueller and Isabelle Puaut (Ed.). 2017 IEEE Real-Time Systems Symposium (RTSS), 5-8 December 2017, Paris, France. IEEE, Piscataway, NJ, 199-208. DOI: 10.1109/rtss.2017.00026 PDF | BibTeX | RIS | DOI
|
Leo Hatvani, Reinder J. Bril and Sebastian Altmeyer. 2017. Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches. In David Atienza and Giorgio Di Natale (Ed.). Design, Automation and Test in Europe Conference and Exhibition (DATE), 2017, 27-31 March 2017, Lausanne, Switzerland. IEEE, Piscataway, NJ, 244-249. DOI: 10.23919/date.2017.7926990 PDF | BibTeX | RIS | DOI
|
2016
|
Sakthivel Manikandan Sundharam, Lionel Havet, Sebastian Altmeyer and Nicolas Navet. 2016. A model-based development environment for rapid-prototyping of latency-sensitive automotive control software. In 2016 Sixth International Symposium on Embedded Computing and System Design (ISED), 15-17 December 2016, Patna, India. IEEE, Piscataway, NJ, 228-233. DOI: 10.1109/ised.2016.7977087 PDF | BibTeX | RIS | DOI
|
Robert I. Davis, Sebastian Altmeyer and Jan Reineke. 2016. Analysis of write-back caches under fixed-priority preemptive and non-preemptive scheduling. In Alain Plantec, Frank Singhoff, Sébastien Faucou and Luis Miguel Pinho (Ed.). Proceedings of the 24th International Conference on Real-Time Networks and Systems - RTNS '16, October 2016, Brest, France. ACM Press, New York, NY, 309-318. DOI: 10.1145/2997465.2997476 PDF | BibTeX | RIS | DOI
|
Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari and Robert I. Davis. 2016. Cache related pre-emption delays in hierarchical scheduling. Real-Time Systems 52, 2, 201-238. DOI: 10.1007/s11241-015-9228-x PDF | BibTeX | RIS | DOI
|
Loic Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam and Sebastian Altmeyer. 2016. Demo abstract: applications of the CPAL language to model, simulate and program cyber-physical systems. In Rob Davis, David Broman and Rodolfo Pellizzoni (Ed.). 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 11-14 April 2016, Vienna, Austria. IEEE, Piscataway, NJ DOI: 10.1109/rtas.2016.7461329 PDF | BibTeX | RIS | DOI
|
Nicolas Navet, Loïc Fejoz, Lionel Havet and Sebastian Altmeyer. 2016. Lean model-driven development through model-interpretation: the CPAL design flow. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), January 2016, Toulouse, France. HAL, Toulouse PDF | BibTeX | RIS | URL
|
Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet. 2016. Model interpretation for an AUTOSAR compliant engine control function. In 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 5th July 2016, Toulouse, France. EUROMICRO, Toulouse PDF | BibTeX | RIS | URL | URL
|
Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert I. Davis. 2016. On the effectiveness of cache partitioning in hard real-time systems. Real-Time Systems 52, 5, 598-643. DOI: 10.1007/s11241-015-9246-8 PDF | BibTeX | RIS | DOI
|
Sakthivel Manikandan Sundharam, Sebastian Altmeyer and Nicolas Navet. 2016. Poster Abstract: an optimizing framework for real-time scheduling. In Rob Davis, David Broman and Rodolfo Pellizzoni (Ed.). 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 11-14 April 2016, Vienna, Austria. IEEE, Piscataway, NJ DOI: 10.1109/rtas.2016.7461346 PDF | BibTeX | RIS | DOI
|
Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis and Sebastian Altmeyer. 2016. Response time analysis of synchronous data flow programs on a many-core processor. In Alain Plantec, Frank Singhoff, Sébastien Faucou and Luis Miguel Pinho (Ed.). Proceedings of the 24th International Conference on Real-Time Networks and Systems - RTNS '16, October 2016, Brest, France. ACM Press, New York, NY, 67-76. DOI: 10.1145/2997465.2997472 PDF | BibTeX | RIS | DOI
|
Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann and Simon Wegener. 2016. TACLeBench: a benchmark collection to support worst-case execution time research. In Martin Schoeberl (Ed.). 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), July 5, 2016, Toulouse, France. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, 2:1-2:10 DOI: 10.4230/OASIcs.WCET.2016.2 PDF | BibTeX | RIS | DOI
|
Yorick De Bock, Sebastian Altmeyer, Jan Broeckhove and Peter Hellinckx. 2016. Task-set generator for schedulability analysis using the TACLeBench benchmark suite. In Jalil Boukhobza, Marco Dominico Santambrogio, Frank Singhoff (Eds.). EWiLi 2016 - Embedded Operating Systems Workshop: Proceedings of the Embedded Operating Systems Workshop, co-located with the Embedded Systems Week (ESWEEK 2016), Pittsburgh PA, USA, October 6, 2016. CEUR-WS, 6 PDF | BibTeX | RIS | URL | URL
|
Sebastian Altmeyer, Sakthivel Manikandan Sundharam and Nicolas Navet. 2016. The case for FIFO real-time scheduling. University of Luxembourg, Luxemburg. PDF | BibTeX | RIS | URL ORBiLU User Licence, equivalent to CC-BY-NC-ND 3.0 - for further details please check https://orbilu.uni.lu/handle/10993/24935
|
Sebastian Altmeyer and Nicolas Navet. 2016. Towards a declarative modeling and execution framework for real-time systems. ACM SIGBED Review 13, 2, 30-33. DOI: 10.1145/2930957.2930962 PDF | BibTeX | RIS | DOI
|
2015
|
Sebastian Altmeyer, Robert I. Davis, Leandro Indrusiak, Claire Maiza, Vincent Nelis and Jan Reineke. 2015. A generic and compositional framework for multicore response time analysis. In Julien Forget (Ed.). Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS '15, November 2015, Lille, France. ACM Press, New York, NY, 129-138. DOI: 10.1145/2834848.2834862 PDF | BibTeX | RIS | DOI
|
Roeland J. Douma, Sebastian Altmeyer and Andy D. Pimentel. 2015. Fast and precise cache performance estimation for out-of-order execution. In Wolfgang Nebel and David Atienza (Ed.). DATE '15: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 9-13 March 2015, Grenoble, France. IEEE, Piscataway, NJ, 1132-1137. DOI: 10.7873/DATE.2015.0066 PDF | BibTeX | RIS | DOI
|
Benjamin Lesage, David Griffin, Sebastian Altmeyer and Robert I. Davis. 2015. Static probabilistic timing analysis for multi-path programs. In Chris Gill and Marco Caccamo (Ed.). 2015 IEEE Real-Time Systems Symposium, 1-4 December 2015, San Antonio, TX, USA. IEEE, Piscataway, NJ, 361-372. DOI: 10.1109/rtss.2015.41 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer, Liliana Cucu-Grosjean and Robert I. Davis. 2015. Static probabilistic timing analysis for real-time systems using random replacement caches. Real-Time Systems 51, 1, 77-123. DOI: 10.1007/s11241-014-9218-4 PDF | BibTeX | RIS | DOI
|
Nicolas Navet and Sebastian Altmeyer. 2015. The CPAL programming language: design, simulate, execute embedded systems; lean model-driven development through model-interpretation. In CEA LIST, Palaiseau, France, 29 October 2015. PDF | BibTeX | RIS | URL
|
Hamza Rihani, Matthieu Moy, Claire Maiza and Sebastian Altmeyer. 2015. WCET analysis in shared resources real-time systems with TDMA buses. In Julien Forget (Ed.). Proceedings of the 23rd International Conference on Real Time and Networks Systems - RTNS '15, November 2015, Lille, France. ACM Press, New York, NY, 183-192. DOI: 10.1145/2834848.2834871 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke and Christine Rochange. 2015. WCET and mixed-criticality: what does confidence in WCET estimations depend upon?. In Francisco J. Cazorla (Ed.). 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl (OpenAccess Series in Informatics (OASIcs) ; 47), 65-74. DOI: 10.4230/OASIcs.WCET.2015.65 PDF | BibTeX | RIS | DOI
|
2014
|
Will Lunniss, Sebastian Altmeyer and Robert I. Davis. 2014. A comparison between fixed priority and EDF scheduling accounting for cache related pre-emption delays. LITES - Leibniz Transactions on Embedded Systems 1, 1, 01:1-01:24. DOI: 10.4230/LITES-v001-i001-a001 PDF | BibTeX | RIS | DOI
|
R. Poss, Sebastian Altmeyer, M. Thompson and R. Jelier. 2014. Aca 2.0: questions and answers. preprint. PDF | BibTeX | RIS | URL
|
Raphael Poss, Sebastian Altmeyer, Mark Thompson and Rob Jelier. 2014. Academia 2.0: removing the publisher middle-man while retaining impact. In Grigori Fursin, Bruce Childers, Alex K. Jones and Daniel Mosse (Ed.). Proceedings of the 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering - TRUST '14, June 2014, Edinburgh, UK. ACM Press, New York, NY, 3. DOI: 10.1145/2618137.2618139 PDF | BibTeX | RIS | DOI
|
Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari and Robert I. Davis. 2014. Accounting for cache related pre-emption delays in hierarchical scheduling. In Mathieu Jan, Belgacem Ben Hedia, Joël Goossens and Claire Maiza (Ed.). Proceedings of the 22nd International Conference on Real-Time Networks and Systems - RTNS '14, October 2014, Versaille, France. ACM Press, New York, NY, 183-192. DOI: 10.1145/2659787.2659797 PDF | BibTeX | RIS | DOI
|
Will Lunniss, Sebastian Altmeyer and Robert I. Davis. 2014. Accounting for cache related pre-emption delays in hierarchical scheduling with local EDF scheduler. In Dorin Maxim, Geoffrey Nelissen (Eds.). Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing - JRWRTC 2014, Versailles, France, October 8-10, 2014. CISTER, 13-16 PDF | BibTeX | RIS | URL
|
Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert I. Davis. 2014. Evaluation of cache partitioning for hard real-time systems. In Rolf Ernst and Juan de la Puente (Ed.). 2014 26th Euromicro Conference on Real-Time Systems, 8-11 July 2014, Madrid, Spain. IEEE, Piscataway, NJ, 15-26. DOI: 10.1109/ecrts.2014.11 PDF | BibTeX | RIS | DOI
|
Reinder J. Bril, Sebastian Altmeyer, Martijn M.H.P. van den Heuvel, Robert I. Davis and Moris Behnam. 2014. Integrating cache-related pre-emption delays into analysis of fixed priority scheduling with pre-emption thresholds. In Michael González Harbour and Chris Gill (Ed.). 2014 IEEE Real-Time Systems Symposium, 2-5 December 2014, Rome, Italy. IEEE, Piscataway, NJ, 161-172. DOI: 10.1109/rtss.2014.25 PDF | BibTeX | RIS | DOI
|
Benjamin Lesage, David Griffin, Robert I. Davis and Sebastian Altmeyer. 2014. On the application of static probabilistic timing analysis to memory hierarchies. In Marko Bertogna, Sathish Gopalakrishnan (Eds.). Proceedings of the 5th Real-Time Scheduling Open Problems Seminar (RTSOPS 2014), co-located with the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014), Madrid, Spain, July 8-11, 2014. RTSOPS, 5-6 PDF | BibTeX | RIS | URL
|
Sebastian Altmeyer and Robert I. Davis. 2014. On the correctness, optimality and precision of Static Probabilistic Timing Analysis. In Gerhard Fettweis and Luca Fanucci (Ed.). Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, 24-28 March 2014, Dresden, Germany. IEEE Conference Publications, Piscataway, NJ DOI: 10.7873/date.2014.039 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer, L. Cucu-Grosjean, Robert I. Davis and B. Lesage. 2014. Progress on static probabilistic timing analysis for systems with random cache replacement policies. In Marko Bertogna, Sathish Gopalakrishnan (Eds.). Proceedings of the 5th Real-Time Scheduling Open Problems Seminar (RTSOPS 2014), co-located with the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014), Madrid, Spain, July 8-11, 2014. RTSOPS, 7-8 PDF | BibTeX | RIS | URL
|
Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn and Claire Maiza. 2014. Selfish-LRU: preemption-aware caching for predictability and performance. In Richard West, James Anderson and Samarjit Chakraborty (Ed.). 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 15-17 April 2014, Berlin, Germany. IEEE, Piscataway, NJ, 135-144. DOI: 10.1109/rtas.2014.6925997 PDF | BibTeX | RIS | DOI
|
2013
|
Sebastian Altmeyer. 2013. Analysis of preemptively scheduled hard real-time systems. epubli, Berlin. PDF | BibTeX | RIS | URL Dissertation
|
Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean. 2013. Analysis of probabilistic cache related pre-emption delays. In Stefan M. Petters (Ed.). 2013 25th Euromicro Conference on Real-Time Systems, 9-12 July 2013, Paris, France. IEEE, Piscataway, NJ, 168-179. DOI: 10.1109/ecrts.2013.27 PDF | BibTeX | RIS | DOI
|
W. Lunniss, Sebastian Altmeyer, C. Maiza and R. I. Davis. 2013. Integrating cache related pre-emption delay analysis into EDF scheduling. In Eduardo Tovar, Gabriel Parmer, Anthony Rowe and Petru Eles (Ed.). 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 9-11 April 2013, Philadelphia, PA, USA. IEEE, Piscataway, NJ, 75-84. DOI: 10.1109/rtas.2013.6531081 PDF | BibTeX | RIS | DOI
|
2012
|
Robert I. Davis, L. Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean. 2012. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies. University of York, Department of Computer Science, York (University of York, Department of Computer Science, Technical Report ; YCS-2012 (477)). PDF | BibTeX | RIS | URL | URL
|
Sebastian Altmeyer, Robert I. Davis and Claire Maiza. 2012. Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Real-Time Systems 48, 5, 499-526. DOI: 10.1007/s11241-012-9152-2 PDF | BibTeX | RIS | DOI
|
Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer and Claire Maiza. 2012. Investigation of scratchpad memory for preemptive multitasking. In Shinpei Kato (Ed.). 2012 IEEE 33rd Real-Time Systems Symposium, 4-7 December 2012, San Juan, Puerto Rico. IEEE, Piscataway, NJ, 3-13. DOI: 10.1109/rtss.2012.54 PDF | BibTeX | RIS | DOI
|
Will Lunniss, Sebastian Altmeyer and Robert I. Davis. 2012. Optimising task layout to increase schedulability via reduced cache related pre-emption delays. In Liliana Cucu-Grosjean, Nicolas Navet, Christine Rochange and James H. Anderson (Ed.). Proceedings of the 20th International Conference on Real-Time and Network Systems - RTNS '12, November 2012, Pont à Mousson, France. ACM Press, New York, NY, 161-170. DOI: 10.1145/2392987.2393008 PDF | BibTeX | RIS | DOI
|
2011
|
Sebastian Altmeyer, Robert I. Davis and Claire Maiza. 2011. Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. In Luis Almeida and Scott Brandt (Ed.). 2011 IEEE 32nd Real-Time Systems Symposium, 29 November - 2 December 2011, Vienna, Austria. IEEE, Piscataway, NJ, 261-271. DOI: 10.1109/rtss.2011.31 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer and Claire Maiza Burguière. 2011. Cache-related preemption delay via useful cache blocks: survey and redefinition. Journal of Systems Architecture 57, 7, 707-719. DOI: 10.1016/j.sysarc.2010.08.006 PDF | BibTeX | RIS | DOI
|
P. Montag and Sebastian Altmeyer. 2011. Precise WCET calculation in highly variant real-time systems. In David Atienza (Ed.). 2011 Design, Automation and Test in Europe, 14-18 March 2011, Grenoble, France. IEEE, Piscataway, NJ DOI: 10.1109/date.2011.5763149 PDF | BibTeX | RIS | DOI
|
Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2011. Precise and efficient parametric path analysis. In Jan Vitek and Bjorn De Sutter (Ed.). Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11, April 2011, Chicago, IL, USA. ACM Press, New York, NY, 141-150. DOI: 10.1145/1967677.1967697 PDF | BibTeX | RIS | DOI
|
Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2011. Symbolic worst case execution times. Lecture Notes in Computer Science 6916, 25-44. DOI: 10.1007/978-3-642-23283-1_5 PDF | BibTeX | RIS | DOI
|
2010
|
Ernst Althaus, Sebastian Altmeyer and Rouven Naujoks. 2010. A new combinatorial approach to parametric path analysis. AVACS - Automatic Verification and Analysis of Complex Systems (Reports of SFB/TR 14 AVACS ; 58). PDF | BibTeX | RIS | URL
|
Sebastian Altmeyer and Claire Burguiere. 2010. Influence of the task model on the precision of scheduling analysis for preemptive systems. In Robert I. Davies, Nathan Fisher (Eds.). RTSOPS 2010: Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, Brussels, Belgium, July 6, 2010; in conjuction with the 22nd Euromicro Conference on Real-Time Systems (ECRTS10), July 6-9, 2010. RTSOPS, 5-6 PDF | BibTeX | RIS | URL
|
Sebastian Altmeyer, Claire Maiza and Jan Reineke. 2010. Resilience analysis: tightening the CRPD bound for set-associative caches. ACM SIGPLAN Notices 45, 4, 153-162. DOI: 10.1145/1755951.1755911 PDF | BibTeX | RIS | DOI
|
Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter and Stephan Wilhelm. 2010. Static timing analysis for hard real-time systems. Lecture Notes in Computer Science 5944, 3-22. DOI: 10.1007/978-3-642-11319-2_3 PDF | BibTeX | RIS | DOI
|
2009
|
Sebastian Altmeyer and Claire Burguière. 2009. A new notion of useful cache block to improve the bounds of cache-related preemption delay. In Isabelle Puaut (Ed.). 2009 21st Euromicro Conference on Real-Time Systems, 1-3 July 2009, Dublin, Ireland. IEEE, Piscataway, NJ, 109-118. DOI: 10.1109/ecrts.2009.21 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer, Claire Burguière and Jan Reineke. 2009. Cache related preemption delay for set-associative caches: resilience analysis. In AVACS Workshop, Oldenburg, Germany, 2009. PDF | BibTeX | RIS | URL
|
Claire Burguière, Jan Reineke and Sebastian Altmeyer. 2009. Cache-related preemption delay computation for set-associative caches - pitfalls and solutions. In Niklas Holsti (Ed.). 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl (OpenAccess Series in Informatics (OASIcs) ; 10), 1-11. DOI: 10.4230/OASIcs.WCET.2009.2285 PDF | BibTeX | RIS | DOI also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-252-6
|
Sebastian Altmeyer, Claire Burguière and Reinhard Wilhelm. 2009. Computing the maximum blocking time for scheduling with deferred preemption. In Toshiaki Aoki, Sayaka Akioka, Robert Pettit and Keewook Rim (Ed.). 2009 Software Technologies for Future Dependable Distributed Systems, 17-17 March 2009, Tokyo, Japan. IEEE, Piscataway, NJ, 200-204. DOI: 10.1109/stfssd.2009.12 PDF | BibTeX | RIS | DOI
|
2008
|
Sebastian Altmeyer, Christian Hümbert, Björn Lisper and Reinhard Wilhelm. 2008. Parametric timing analysis for complex architectures. In Chi-Sheng Shi, Gerhard Fohler and Ichiro Satoh (Ed.). 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 25-27 August 2008, Kaohsiung, Taiwan. IEEE, Piscataway, NJ, 367-376. DOI: 10.1109/rtcsa.2008.7 PDF | BibTeX | RIS | DOI
|
Sebastian Altmeyer and Gernot Gebhard. 2008. WCET analysis for preemptive scheduling. In Raimund Kirner (Ed.). 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl (OpenAccess Series in Informatics (OASIcs) ; 8), 1-8. DOI: 10.4230/OASIcs.WCET.2008.1664 PDF | BibTeX | RIS | DOI also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3
|
2007
|
Gernot Gebhard and Sebastian Altmeyer. 2007. Optimal task placement to improve cache performance. In Christoph M. Kirsch and Reinhard Wilhelm (Ed.). Proceedings of the 7th ACM and IEEE international conference on Embedded software - EMSOFT '07, September 2007, Salzburg, Austria. ACM Press, New York, NY, 259-268. DOI: 10.1145/1289927.1289968 PDF | BibTeX | RIS | DOI
|
2006
|
Sebastian Altmeyer. 2006. Parametric wcet analysis, parametric framework and parametric path analysis. Saarland University, Department of Computer Science, Saarbrücken. BibTeX | RIS Master's thesis
|