default search action
Sebastian Altmeyer
Person information
- affiliation: University of Amsterdam, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j21]Arvind Easwaran, Sebastian Altmeyer:
Performance guarantees in dynamic networks and graph algorithms. Real Time Syst. 60(2): 197-198 (2024) - [c54]Alexander Stegmeier, Peter Knauer, Philipp Schubaur, Christian Piatka, Dominik Merli, Sebastian Altmeyer:
Safe and Secure? On the Timing Analysability of Cryptographic Implementations. RTAS 2024: 68-80 - [i5]Gautam Gala, Tilmann Unte, Luiz Maia, Johannes Kühbacher, Isser Kadusale, Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Sebastian Altmeyer:
Safety-Critical Edge Robotics Architecture with Bounded End-to-End Latency. CoRR abs/2406.14391 (2024) - 2023
- [j20]Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9(1): 04:1-04:6 (2023) - [c53]Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 2023: 19:1-19:18 - 2022
- [j19]Sebastian Altmeyer, Jean-Luc Scharbarg:
Editorial on the special issue of RTNS 2020. Real Time Syst. 58(1): 1-3 (2022) - [j18]Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis:
A comprehensive survey of industry practice in real-time systems. Real Time Syst. 58(3): 358-398 (2022) - [c52]Fabian Kempf, Christoph Kühbacher, Christian Mellwig, Sebastian Altmeyer, Theo Ungerer, Jürgen Becker:
A holistic hardware-software approach for fault-aware embedded systems. DSD 2022: 704-711 - [c51]Christoph Kühbacher, Theo Ungerer, Sebastian Altmeyer:
Redundant dataflow applications on clustered manycore architectures. SAC 2022: 226-235 - [i4]Julius Roeder, Sebastian Altmeyer, Clemens Grelck:
Can we trust our energy measurements? A study on the Odroid-XU4. CoRR abs/2206.10377 (2022) - 2021
- [c50]Florian Haas, Sebastian Altmeyer:
A Prototyping and Evaluation Framework for Research on Timing-analysable Memory Hierarchies for Embedded Multicore SoCs. CERCIRAS 2021 - [c49]Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck:
YASMIN: a real-time middleware for COTS heterogeneous platforms. Middleware 2021: 298-309 - [c48]Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck:
Energy-aware scheduling of multi-version tasks on heterogeneous real-time systems. SAC 2021: 501-510 - [i3]Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck:
YASMIN: a Real-time Middleware for COTS Heterogeneous Platforms. CoRR abs/2108.00730 (2021) - 2020
- [j17]Sebastian Altmeyer:
Ferrofluids. Scholarpedia 15(11): 55163 (2020) - [j16]Jun Xiao, Sebastian Altmeyer, Andy D. Pimentel:
Schedulability Analysis of Global Scheduling for Multicore Systems With Shared Caches. IEEE Trans. Computers 69(10): 1487-1499 (2020) - [c47]Christian Piatka, Rico Amslinger, Florian Haas, Sebastian Weis, Sebastian Altmeyer, Theo Ungerer:
Investigating Transactional Memory for High Performance Embedded Systems. ARCS 2020: 97-108 - [c46]Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck:
Towards Energy-, Time- and Security-Aware Multi-core Coordination. COORDINATION 2020: 57-74 - [c45]Filip Markovic, Jan Carlson, Sebastian Altmeyer, Radu Dobrin:
Improving the Accuracy of Cache-Aware Response Time Analysis Using Preemption Partitioning. ECRTS 2020: 5:1-5:23 - [c44]Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis:
An Empirical Survey-based Study into Industry Practice in Real-time Systems. RTSS 2020: 3-11 - [c43]Rico Amslinger, Christian Piatka, Florian Haas, Sebastian Weis, Theo Ungerer, Sebastian Altmeyer:
Hardware Multiversioning for Fail-Operational Multithreaded Applications. SBAC-PAD 2020: 20-27 - [e3]Liliana Cucu-Grosjean, Roberto Medina, Sebastian Altmeyer, Jean-Luc Scharbarg:
28th International Conference on Real Time Networks and Systems, RTNS 2020, Paris, France, June 10, 2020. ACM 2020, ISBN 978-1-4503-7593-1 [contents]
2010 – 2019
- 2019
- [j15]Claire Maiza, Hamza Rihani, Juan Maria Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis:
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv. 52(3): 56:1-56:38 (2019) - [j14]Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos:
Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(1): 00:i-00:ix (2019) - [c42]Reinder J. Bril, Sebastian Altmeyer, Paolo Gai:
Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies. RTCSA 2019: 1-6 - [e2]Sebastian Altmeyer:
19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, July 9, 2019, Stuttgart, Germany. OASIcs 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-118-4 [contents] - 2018
- [j13]Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis:
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real Time Syst. 54(2): 307-388 (2018) - [j12]Robert I. Davis, Sebastian Altmeyer, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke:
An extensible framework for multicore response time analysis. Real Time Syst. 54(3): 607-661 (2018) - [j11]Robert I. Davis, Sebastian Altmeyer, Jan Reineke:
Response-time analysis for fixed-priority systems with a write-back cache. Real Time Syst. 54(4): 912-963 (2018) - [j10]Sakthivel Manikandan Sundharam, Nicolas Navet, Sebastian Altmeyer, Lionel Havet:
A Model-Driven Co-Design Framework for Fusing Control and Scheduling Viewpoints. Sensors 18(2): 628 (2018) - [j9]Yorick De Bock, Sebastian Altmeyer, Thomas Huybrechts, Jan Broeckhove, Peter Hellinckx:
Task-set generator for schedulability analysis using the TACLebench benchmark suite. SIGBED Rev. 15(1): 22-28 (2018) - [c41]Robert I. Davis, Sebastian Altmeyer, Alan Burns:
Mixed Criticality Systems with Varying Context Switch Costs. RTAS 2018: 140-151 - [c40]Sebastian Altmeyer, Reinder J. Bril, Paolo Gai:
EMPRESS: an Efficient and Effective Method for PREdictable Stack Sharing. RTCSA 2018: 92-100 - [e1]Sebastian Altmeyer:
30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain. LIPIcs 106, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-075-0 [contents] - 2017
- [j8]Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam:
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Real Time Syst. 53(4): 403-466 (2017) - [c39]Boudewijn Braams, Sebastian Altmeyer, Andy D. Pimentel:
EDiFy: An Execution time Distribution Finder. DAC 2017: 32:1-32:6 - [c38]Leo Hatvani, Reinder J. Bril, Sebastian Altmeyer:
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches. DATE 2017: 244-249 - [c37]Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar:
Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads. RTSS 2017: 188-198 - [c36]Jun Xiao, Sebastian Altmeyer, Andy D. Pimentel:
Schedulability Analysis of Non-preemptive Real-Time Scheduling for Multicore Processors with Shared Caches. RTSS 2017: 199-208 - [c35]Dolly Sapra, Sebastian Altmeyer:
Work-in-Progress: Design-Space Exploration of Multi-Core Processors for Safety-Critical Real-Time Systems. RTSS 2017: 360-362 - 2016
- [j7]Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari, Robert I. Davis:
Cache related pre-emption delays in hierarchical scheduling. Real Time Syst. 52(2): 201-238 (2016) - [j6]Sebastian Altmeyer, Roeland Douma, Will Lunniss, Robert I. Davis:
On the effectiveness of cache partitioning in hard real-time systems. Real Time Syst. 52(5): 598-643 (2016) - [j5]Sebastian Altmeyer, Nicolas Navet:
Towards a declarative modeling and execution framework for real-time systems. SIGBED Rev. 13(2): 30-33 (2016) - [c34]Yorick De Bock, Sebastian Altmeyer, Jan Broeckhove, Peter Hellinckx:
Task-Set Generator for Schedulability Analysis using the TACLeBench benchmark suite. EWiLi 2016 - [c33]Sakthivel Manikandan Sundharam, Lionel Havet, Sebastian Altmeyer, Nicolas Navet:
A model-based development environment for rapid-prototyping of latency-sensitive automotive control software. ISED 2016: 228-233 - [c32]Sakthivel Manikandan Sundharam, Sebastian Altmeyer, Nicolas Navet:
Poster Abstract: An Optimizing Framework for Real-Time Scheduling. RTAS 2016: 58 - [c31]Loïc Fejoz, Nicolas Navet, Sakthivel Manikandan Sundharam, Sebastian Altmeyer:
Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems. RTAS 2016: 64 - [c30]Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer:
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. RTNS 2016: 67-76 - [c29]Robert I. Davis, Sebastian Altmeyer, Jan Reineke:
Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling. RTNS 2016: 309-318 - [c28]Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, Simon Wegener:
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. WCET 2016: 2:1-2:10 - [i2]Sebastian Altmeyer, Younghae Do, Ying-Cheng Lai:
Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. CoRR abs/1612.08768 (2016) - 2015
- [j4]Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis:
Static probabilistic timing analysis for real-time systems using random replacement caches. Real Time Syst. 51(1): 77-123 (2015) - [c27]Roeland Douma, Sebastian Altmeyer, Andy D. Pimentel:
Fast and precise cache performance estimation for out-of-order execution. DATE 2015: 1132-1137 - [c26]Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke:
A generic and compositional framework for multicore response time analysis. RTNS 2015: 129-138 - [c25]Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer:
WCET analysis in shared resources real-time systems with TDMA buses. RTNS 2015: 183-192 - [c24]Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis:
Static Probabilistic Timing Analysis for Multi-path Programs. RTSS 2015: 361-372 - [c23]Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange:
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. WCET 2015: 65-74 - 2014
- [j3]Will Lunniss, Sebastian Altmeyer, Robert I. Davis:
A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays. Leibniz Trans. Embed. Syst. 1(1): 01:1-01:24 (2014) - [c22]Sebastian Altmeyer, Robert I. Davis:
On the correctness, optimality and precision of Static Probabilistic Timing Analysis. DATE 2014: 1-6 - [c21]Sebastian Altmeyer, Roeland Douma, Will Lunniss, Robert I. Davis:
OUTSTANDING PAPER: Evaluation of Cache Partitioning for Hard Real-Time Systems. ECRTS 2014: 15-26 - [c20]Raphael Poss, Sebastian Altmeyer, Mark Thompson, Rob Jelier:
Academia 2.0: removing the publisher middle-man while retaining impact. TRUST@PLDI 2014: 3:1-3:6 - [c19]Jan Reineke, Sebastian Altmeyer, Daniel Grund, Sebastian Hahn, Claire Maiza:
Selfish-LRU: Preemption-aware caching for predictability and performance. RTAS 2014: 135-144 - [c18]Will Lunniss, Sebastian Altmeyer, Giuseppe Lipari, Robert I. Davis:
Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling. RTNS 2014: 183 - [c17]Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam:
Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds. RTSS 2014: 161-172 - [i1]Raphael Poss, Sebastian Altmeyer, Mark Thompson, Rob Jelier:
Aca 2.0: Questions and Answers. CoRR abs/1404.7753 (2014) - 2013
- [b1]Sebastian Altmeyer:
Analysis of preemptively scheduled hard real-time systems. Saarland University, 2013 - [c16]Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, Liliana Cucu-Grosjean:
Analysis of Probabilistic Cache Related Pre-emption Delays. ECRTS 2013: 168-179 - [c15]Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis:
Integrating cache related pre-emption delay analysis into EDF scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 75-84 - 2012
- [j2]Sebastian Altmeyer, Robert I. Davis, Claire Maiza:
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Real Time Syst. 48(5): 499-526 (2012) - [c14]Will Lunniss, Sebastian Altmeyer, Robert I. Davis:
Optimising task layout to increase schedulability via reduced cache related pre-emption delays. RTNS 2012: 161-170 - [c13]Jack Whitham, Robert I. Davis, Neil C. Audsley, Sebastian Altmeyer, Claire Maiza:
Investigation of Scratchpad Memory for Preemptive Multitasking. RTSS 2012: 3-13 - 2011
- [j1]Sebastian Altmeyer, Claire Maiza:
Cache-related preemption delay via useful cache blocks: Survey and redefinition. J. Syst. Archit. 57(7): 707-719 (2011) - [c12]Pascal Montag, Sebastian Altmeyer:
Precise WCET calculation in highly variant real-time systems. DATE 2011: 920-925 - [c11]Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks:
Symbolic Worst Case Execution Times. ICTAC 2011: 25-44 - [c10]Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks:
Precise and efficient parametric path analysis. LCTES 2011: 141-150 - [c9]Sebastian Altmeyer, Robert I. Davis, Claire Maiza:
Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems. RTSS 2011: 261-271 - 2010
- [c8]Sebastian Altmeyer, Claire Maiza, Jan Reineke:
Resilience analysis: tightening the CRPD bound for set-associative caches. LCTES 2010: 153-162 - [c7]Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm:
Static Timing Analysis for Hard Real-Time Systems. VMCAI 2010: 3-22 - [c6]Jörg Herter, Sebastian Altmeyer:
Precomputing Memory Locations for Parametric Allocations. WCET 2010: 124-135
2000 – 2009
- 2009
- [c5]Sebastian Altmeyer, Claire Burguière:
A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay. ECRTS 2009: 109-118 - [c4]Claire Burguière, Jan Reineke, Sebastian Altmeyer:
Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. WCET 2009 - 2008
- [c3]Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm:
Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376 - [c2]Sebastian Altmeyer, Gernot Gebhard:
WCET Analysis for Preemptive Scheduling. WCET 2008 - 2007
- [c1]Gernot Gebhard, Sebastian Altmeyer:
Optimal task placement to improve cache performance. EMSOFT 2007: 259-268
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint