On the public citation graph
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)
0 signed · 46 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.1099openalex-snapshot
The Real‐Time Systems Compiler: migrating event‐triggered systems to time‐triggered systems
inferredcites →https://doi.org/10.1007/s11241-007-9036-zopenalex-snapshot
Formal verification of multitasking applications based on timed automata model
inferredcites →https://doi.org/10.1016/0967-0661(93)92105-dopenalex-snapshot
Deadline monotonic scheduling theory and application
inferredcites →https://doi.org/10.1016/j.sysarc.2015.04.002openalex-snapshot
T-CREST: Time-predictable multi-core architecture for embedded systems
inferredcites →https://doi.org/10.1023/a:1007905003094openalex-snapshot
Computing Maximum Task Execution Times — A Graph-Based Approach
inferredcites →https://doi.org/10.1049/ip-cdt:20045088openalex-snapshot
System level performance analysis – the SymTA/S approach
inferredcites →https://doi.org/10.1049/sej.1993.0034openalex-snapshot
Applying new scheduling theory to static priority pre-emptive scheduling
inferredcites →https://doi.org/10.1109/40.476258openalex-snapshot
μITRON for small-scale embedded systems
inferredcites →https://doi.org/10.1109/cgo.2004.1281665openalex-snapshot
LLVM: a compilation framework for lifelong program analysis & transformation
inferredcites →https://doi.org/10.1109/cse.2009.82openalex-snapshot
WCET Analysis of the mC/OS-II Real-Time Kernel
inferredcites →https://doi.org/10.1109/emrts.2001.934029openalex-snapshot
Worst-case execution time analysis of the RTEMS real-time operating system
inferredcites →https://doi.org/10.1109/emwrt.1993.639042openalex-snapshot
The End Of The Line For Static Cyclic Scheduling?
inferredcites →https://doi.org/10.1109/icess.2009.24openalex-snapshot
A Survey of WCET Analysis of Real-Time Operating Systems
inferredcites →https://doi.org/10.1109/iscas.2000.858698openalex-snapshot
Real-time calculus for scheduling hard real-time systems
inferredcites →https://doi.org/10.1109/isorc.2013.6913220openalex-snapshot
The T-CREST approach of compiler and WCET-analysis integration
inferredcites →https://doi.org/10.1109/isorc.2016.27openalex-snapshot
From Intent to Effect: Tool-Based Generation of Time-Triggered Real-Time Systems on Multi-core Processors
inferredcites →https://doi.org/10.1109/real.1996.563722openalex-snapshot
Cache modeling for real-time software: beyond direct mapped instruction caches
inferredcites →https://doi.org/10.1109/rtas.2013.6531083openalex-snapshot
Sequoll: A framework for model checking binaries
inferredcites →https://doi.org/10.1109/rtas.2014.6926000openalex-snapshot
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
inferredcites →https://doi.org/10.1109/rtas.2015.7108449openalex-snapshot
dOSEK: the design and implementation of a dependability-oriented static embedded kernel
inferredcites →https://doi.org/10.1109/rtss.2011.38openalex-snapshot
Timing Analysis of a Protected Operating System Kernel
inferredcites →https://doi.org/10.1109/rtss.2015.35openalex-snapshot
Reducing the Implementation Overheads of IPCP and DFP
inferredcites →https://doi.org/10.1109/rtss.2016.035openalex-snapshot
BUNDLE: Real-Time Multi-threaded Scheduling to Reduce Cache Contention
inferredcites →https://doi.org/10.1145/216633.216666openalex-snapshot
Performance analysis of embedded software using implicit path enumeration
inferredcites →https://doi.org/10.1145/2491899.2465567openalex-snapshot
Combined WCET analysis of bitcode and machine code using control-flow relation graphs
inferredcites →https://doi.org/10.1145/2670529.2754963openalex-snapshot
Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems
inferredcites →https://doi.org/10.1145/2950053openalex-snapshot
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis
inferredcites →https://doi.org/10.3850/9783981537079_0150openalex-snapshot
Response-Time Analysis of DAG Tasks under Fixed Priority Scheduling with Limited Preemptions
inferredcites →https://doi.org/10.4230/oasics.wcet.2009.2285openalex-snapshot
Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions
inferredcites →https://doi.org/10.7873/date.2015.0778openalex-snapshot
OpenMP and Timing Predictability: A Possible Union?
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-83128-8_11openalex-snapshot
Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-32700-1_5openalex-snapshot
Predictive Preload at Fixed Preemption Points for Microcontrollers with Hard Real-Time Requirements
inferred← citeshttps://doi.org/10.1007/978-3-662-58096-7_7openalex-snapshot
SWAN: Systemweite statische Laufzeitanalyse echtzeitfähiger Betriebssysteme
inferred← citeshttps://doi.org/10.1007/978-981-15-2810-1_59openalex-snapshot
Complex Real-Time Network Topology Generation Optimization Based on Message Flow Control
inferred← citeshttps://doi.org/10.1007/s10270-022-01002-3openalex-snapshot
Early timing analysis based on scenario requirements and platform models
inferred← citeshttps://doi.org/10.1080/17517575.2022.2037159openalex-snapshot
Intelligent resource management at the network edge using content delivery networks
inferred← citeshttps://doi.org/10.1109/iccps54341.2022.00029openalex-snapshot
T-SYS: Timed-Based System Security for Real-Time Kernels
inferred← citeshttps://doi.org/10.1109/isorc.2017.10openalex-snapshot
An End-to-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis
inferred← citeshttps://doi.org/10.1109/rtas.2019.00034openalex-snapshot
Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis
inferred← citeshttps://doi.org/10.1109/rtss46320.2019.00025openalex-snapshot
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C
inferred← citeshttps://doi.org/10.1109/rtss66672.2025.00016openalex-snapshot
Watwaos: A Framework for Worst-Case-Aware Tailoring and Whole-System Analysis of Energy-Constrained Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtss66672.2025.00041openalex-snapshot
Dynamic Fuzzing-Based Whole-System Timing Analysis
inferred← citeshttps://doi.org/10.23919/date.2018.8342138openalex-snapshot
Design of a time-predictable multicore processor: The T-CREST project
inferred← citeshttps://doi.org/10.58599/ijsmem.2023.1604openalex-snapshot
Flexible Real-Time Operating System Co-Design Flow for Embedded Computing Systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.