On the public citation graph
Interface-Based Design of Real-Time Systems with Hierarchical Scheduling
0 signed · 68 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.1007/3-540-45449-7_11openalex-snapshot
Interface Theories for Component-Based Design
inferredcites →https://doi.org/10.1023/a:1021711220939openalex-snapshot
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
inferredcites →https://doi.org/10.1109/date.2003.1253607openalex-snapshot
A general framework for analysing system properties in platform-based embedded system designs
inferredcites →https://doi.org/10.1109/ecrts.2004.4openalex-snapshot
An event stream driven approximation for the analysis of real-time systems
inferredcites →https://doi.org/10.1109/emrts.2003.1212738openalex-snapshot
Resource partitioning among real-time applications
inferredcites →https://doi.org/10.1109/emrts.2004.1311020openalex-snapshot
An event stream driven approximation for the analysis of real-time 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/mc.2003.1193230openalex-snapshot
A formal approach to mpsoc performance verification
inferredcites →https://doi.org/10.1109/real.2003.1253249openalex-snapshot
Periodic resource model for compositional real-time guarantees
inferredcites →https://doi.org/10.1109/real.2004.15openalex-snapshot
Compositional Real-Time Scheduling Framework
inferredcites →https://doi.org/10.1109/rtas.2005.43openalex-snapshot
Real-Time Component-Based Systems
inferredcites →https://doi.org/10.1145/1017753.1017772openalex-snapshot
Scheduling within temporal partitions
inferredcites →https://doi.org/10.1145/1086228.1086246openalex-snapshot
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4825043openalex-extracted
A Novel Real-Time Calculus for Arbitrary Demand Models
inferred← citeshttps://doi.org/10.1007/978-3-319-10512-3_15openalex-snapshot
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-319-22975-1_18openalex-snapshot
Contracts for Schedulability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-11486-1_5openalex-snapshot
Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction
inferred← citeshttps://doi.org/10.1007/978-3-642-16558-0_18openalex-snapshot
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-24349-3_4openalex-snapshot
Interface-Based Design of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-31869-6_55openalex-snapshot
Probabilistic Bandwidth Assignment in Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-38853-8_17openalex-snapshot
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction
inferred← citeshttps://doi.org/10.1007/s00450-021-00429-1openalex-snapshot
Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems
inferred← citeshttps://doi.org/10.1007/s11241-011-9115-zopenalex-snapshot
Applying real-time interface and calculus for dynamic power management in hard real-time systems
inferred← citeshttps://doi.org/10.1007/s11241-011-9144-7openalex-snapshot
A bandwidth allocation scheme for compositional real-time systems with periodic resources
inferred← citeshttps://doi.org/10.1007/s11241-013-9188-yopenalex-snapshot
Real-time worst-case temperature analysis with temperature-dependent parameters
inferred← citeshttps://doi.org/10.1109/aspdac.2010.5419928openalex-snapshot
Adaptive power management for real-time event streams
inferred← citeshttps://doi.org/10.1109/cdc.2009.5400034openalex-snapshot
Periodic power management schemes for real-time event streams
inferred← citeshttps://doi.org/10.1109/ecrts.2009.26openalex-snapshot
Approximate Bandwidth Allocation for Compositional Real-Time Systems
inferred← citeshttps://doi.org/10.1109/edocw.2006.60openalex-snapshot
Scheduling Real-Time Components Using Jitter-Constrained Streams
inferred← citeshttps://doi.org/10.1109/etfa.2015.7301494openalex-snapshot
Generation of communication schedules using component interfaces
inferred← citeshttps://doi.org/10.1109/etfa61755.2024.10711035openalex-snapshot
Guaranteeing Weakly-Hard Timing Constraints of Real-Time Server-Based Systems
inferred← citeshttps://doi.org/10.1109/isorc.2007.25openalex-snapshot
Compositional Schedulability Analysis of Hierarchical Real-Time Systems
inferred← citeshttps://doi.org/10.1109/nocs.2016.7579321openalex-snapshot
Safe and dynamic traffic rate control for networks-on-chips
inferred← citeshttps://doi.org/10.1109/qsic.2007.4385484openalex-snapshot
Real-Time Component Composition Using Hierarchical Timed Automata
inferred← citeshttps://doi.org/10.1109/rtas.2007.5openalex-snapshot
A Programming Model for Time-Synchronized Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtas.2011.16openalex-snapshot
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtas.2013.6531094openalex-snapshot
Improving schedulability of fixed-priority real-time systems using shapers
inferred← citeshttps://doi.org/10.1109/rtcsa.2010.34openalex-snapshot
A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtss.2006.26openalex-snapshot
Interface-Based Rate Analysis of Embedded Systems
inferred← citeshttps://doi.org/10.1109/rtss.2007.17openalex-snapshot
A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing
inferred← citeshttps://doi.org/10.1109/rtss.2007.36openalex-snapshot
Compositional Analysis Framework Using EDP Resource Models
inferred← citeshttps://doi.org/10.1109/rtss.2009.25openalex-snapshot
Adaptive Dynamic Power Management for Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtss.2012.65openalex-snapshot
Efficient Admission Control for Enforcing Arbitrary Real-Time Demand-Curve Interfaces
inferred← citeshttps://doi.org/10.1109/services.2011.16openalex-snapshot
Formal Verification of SLA Transformations
inferred← citeshttps://doi.org/10.1109/sies.2010.5551381openalex-snapshot
A component-based architecture for adaptive bandwidth allocation in Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1109/sies.2012.6356582openalex-snapshot
Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis
inferred← citeshttps://doi.org/10.1109/sies.2013.6601485openalex-snapshot
Real-time scheduling interfaces and contracts for the design of distributed embedded systems
inferred← citeshttps://doi.org/10.1115/gt2013-95118openalex-snapshot
Integrated Tools for Future Distributed Engine Control Technologies
inferred← citeshttps://doi.org/10.1145/1176887.1176894openalex-snapshot
Real-time interfaces for composing real-time systems
inferred← citeshttps://doi.org/10.1145/1176887.1176927openalex-snapshot
Incremental schedulability analysis of hierarchical real-time components
inferred← citeshttps://doi.org/10.1145/1289927.1289933openalex-snapshot
Performance analysis of distributed embedded systems
inferred← citeshttps://doi.org/10.1145/1450058.1450070openalex-snapshot
Interface theories with component reuse
inferred← citeshttps://doi.org/10.1145/1879021.1879057openalex-snapshot
Resource adaptations with servers for hard real-time systems
inferred← citeshttps://doi.org/10.1145/2146417.2146418openalex-snapshot
On the use of greedy shapers in real-time embedded systems
inferred← citeshttps://doi.org/10.1145/2146417.2146425openalex-snapshot
Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications
inferred← citeshttps://doi.org/10.1145/2717113openalex-snapshot
A Probabilistic Calculus for Probabilistic Real-Time Systems
inferred← citeshttps://doi.org/10.1145/2990299.2990309openalex-snapshot
Overloads in compositional embedded real-time control systems
inferred← citeshttps://doi.org/10.11606/t.3.2012.tde-26072013-171107openalex-snapshot
Caracterização analítica de carga de trabalho baseada em cenários de aplicações multimídia.
inferred← citeshttps://doi.org/10.23919/date48585.2020.9116514openalex-snapshot
A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources
inferred← citeshttps://doi.org/10.3384/ecp13090openalex-snapshot
Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada
inferred← citeshttps://doi.org/10.3384/ecp13090004openalex-snapshot
Towards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.3929/ethz-a-005328667openalex-snapshot
Modular performance analysis and interface-based design for embedded real-time systems
inferred← citeshttps://doi.org/10.3929/ethz-a-006543550openalex-snapshot
Compositional design and analysis of distributed, cyclic, and adaptive embedded real-time systems
inferred← citeshttps://doi.org/10.48550/arxiv.2007.12112openalex-snapshot
HeRTA: Heaviside Real-Time Analysis
inferred← citeshttps://doi.org/10.5381/jot.2007.6.11.a4openalex-snapshot
Scheduling Real-Time Components Using Jitter-Constrained Streams.
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.