On the public citation graph
Compositional Analysis Framework Using EDP Resource Models
0 signed · 129 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/bf01995675openalex-snapshot
Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor
inferredcites →https://doi.org/10.1016/0166-5316(82)90024-4openalex-snapshot
On the complexity of fixed-priority scheduling of periodic, real-time tasks
inferredcites →https://doi.org/10.1109/emrts.2003.1212738openalex-snapshot
Resource partitioning among real-time applications
inferredcites →https://doi.org/10.1109/real.1989.63567openalex-snapshot
The rate monotonic scheduling algorithm: exact characterization and average case behavior
inferredcites →https://doi.org/10.1109/real.1997.641292openalex-snapshot
Scheduling real-time applications in an open environment
inferredcites →https://doi.org/10.1109/real.1999.818851openalex-snapshot
A fixed-priority-driven open environment for real-time applications
inferredcites →https://doi.org/10.1109/real.2000.896011openalex-snapshot
A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments
inferredcites →https://doi.org/10.1109/real.2002.1181559openalex-snapshot
A model of hierarchical real-time virtual resources
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.2006.11openalex-snapshot
An Interface Algebra for Real-Time Components
inferredcites →https://doi.org/10.1109/rtas.2006.23openalex-snapshot
Interface-Based Design of Real-Time Systems with Hierarchical Scheduling
inferredcites →https://doi.org/10.1109/rtss.2005.25openalex-snapshot
Hierarchical Fixed Priority Pre-Emptive Scheduling
inferredcites →https://doi.org/10.1109/rtss.2005.43openalex-snapshot
Trading End-to-End Latency for Composability
inferredcites →https://doi.org/10.1109/rtss.2006.42openalex-snapshot
Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems
inferredcites →https://doi.org/10.1109/rttas.2000.852461openalex-snapshot
Efficient scheduling of real-time multi-task applications in dynamic systems
inferredcites →https://doi.org/10.1109/rttas.2001.929867openalex-snapshot
Resource partition for real-time systems
inferredcites →https://doi.org/10.1145/1017753.1017772openalex-snapshot
Scheduling within temporal partitions
inferredcites →https://doi.org/10.1145/1176887.1176894openalex-snapshot
Real-time interfaces for composing real-time systems
inferredcites →https://doi.org/10.1145/1176887.1176927openalex-snapshot
Incremental schedulability analysis of hierarchical real-time components
inferredcites →https://doi.org/10.1145/321738.321743openalex-snapshot
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
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-031-45410-3_9openalex-snapshot
Handling Overload Conditions
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-15317-9_14openalex-snapshot
Widening the Schedulability of Hierarchical Scheduling Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-72215-3_9openalex-snapshot
Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems
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/978-981-4585-87-3_6-1openalex-snapshot
Hierarchical Scheduling
inferred← citeshttps://doi.org/10.1007/s00607-022-01089-yopenalex-snapshot
Maintaining temporal validity of real-time data in component-based systems
inferred← citeshttps://doi.org/10.1007/s10009-020-00597-6openalex-snapshot
Model-based optimization of ARINC-653 partition scheduling
inferred← citeshttps://doi.org/10.1007/s11241-009-9073-xopenalex-snapshot
Optimal virtual cluster-based multiprocessor scheduling
inferred← citeshttps://doi.org/10.1007/s11241-009-9076-7openalex-snapshot
A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees
inferred← citeshttps://doi.org/10.1007/s11241-015-9223-2openalex-snapshot
Cache-aware compositional analysis of real-time multicore virtualization platforms
inferred← citeshttps://doi.org/10.1007/s11241-015-9224-1openalex-snapshot
Hard real-time guarantees in feedback-based resource reservations
inferred← citeshttps://doi.org/10.1007/s11241-017-9283-6openalex-snapshot
Designing end-to-end resource reservations in predictable distributed embedded systems
inferred← citeshttps://doi.org/10.1007/s11241-021-09364-5openalex-snapshot
Online reconfiguration of regularity-based resource partitions in cyber-physical systems
inferred← citeshttps://doi.org/10.1016/j.procs.2018.04.099openalex-snapshot
Power Efficient Scheduling Algorithms for Real-time Tasks on Multi-mode Microcontrollers
inferred← citeshttps://doi.org/10.1109/3pgcic.2015.32openalex-snapshot
Hierarchical Real-Time Multi-core Scheduling through Virtualization: A Survey
inferred← citeshttps://doi.org/10.1109/access.2020.3002972openalex-snapshot
Research on Partition Parameter Design Method for Integrated Modular Avionics Based on MOEA/D-ADV
inferred← citeshttps://doi.org/10.1109/access.2020.3024698openalex-snapshot
Integer Programming Techniques for Static Scheduling of Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1109/access.2021.3120743openalex-snapshot
Q-CSF: Quantum-Aware Compositional Scheduling Framework for Hierarchical Real-Time Systems
inferred← citeshttps://doi.org/10.1109/access.2024.3441724openalex-snapshot
Mixed Criticality Multicore Compositional Framework
inferred← citeshttps://doi.org/10.1109/cloud.2015.33openalex-snapshot
RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing
inferred← citeshttps://doi.org/10.1109/ecrts.2008.22openalex-snapshot
A Hierarchical Multiprocessor Bandwidth Reservation Scheme with Timing Guarantees
inferred← citeshttps://doi.org/10.1109/ecrts.2009.26openalex-snapshot
Approximate Bandwidth Allocation for Compositional Real-Time Systems
inferred← citeshttps://doi.org/10.1109/ecrts.2010.12openalex-snapshot
Partitioning Parallel Applications on Multiprocessor Reservations
inferred← citeshttps://doi.org/10.1109/ecrts.2010.35openalex-snapshot
Compositional Analysis of Multi-mode Systems
inferred← citeshttps://doi.org/10.1109/ecrts.2014.39openalex-snapshot
Optimal Design for Reservation Servers under Shared Resources
inferred← citeshttps://doi.org/10.1109/ecrts.2015.9openalex-snapshot
Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling
inferred← citeshttps://doi.org/10.1109/estimedia.2011.6088519openalex-snapshot
Tractable real-time schedulability analysis for mode changes under temporal isolation
inferred← citeshttps://doi.org/10.1109/etfa.2008.4638456openalex-snapshot
Scheduling of semi-independent real-time components: Overrun methods and resource holding times.
inferred← citeshttps://doi.org/10.1109/etfa.2010.5641165openalex-snapshot
Exploiting harmonic periods to improve linearly approximated response-time upper bounds
inferred← citeshttps://doi.org/10.1109/etfa.2010.5641324openalex-snapshot
On optimal real-time subsystem-interface generation in the presence of shared resources
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489728openalex-snapshot
Partitioned environment for Programmable Controller in safety applications
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489731openalex-snapshot
On jitter in time partitioned real-time systems
inferred← citeshttps://doi.org/10.1109/etfa.2014.7005064openalex-snapshot
Guidelines and challenges for composing and synchronizing real-time software components through virtual platforms in vehicular systems
inferred← citeshttps://doi.org/10.1109/etfa.2014.7005065openalex-snapshot
Performance evaluation of analysis methods for arbitrating non-preemptive resource access in compositional real-time systems
inferred← citeshttps://doi.org/10.1109/etfa45728.2021.9613375openalex-snapshot
Scheduling Elastic Applications in Compositional Real-Time Systems
inferred← citeshttps://doi.org/10.1109/etfa54631.2023.10275547openalex-snapshot
Mapping and Integration of Event- and Time-triggered Real-time Tasks on Partitioned Multi-core Systems
inferred← citeshttps://doi.org/10.1109/greencom.2012.73openalex-snapshot
Performance Enhancement and Optimized Analysis of the Worst Case End-to-End Delay for AFDX Networks
inferred← citeshttps://doi.org/10.1109/hpcc.and.euc.2013.45openalex-snapshot
GPU-Based Parallel EDF-Schedulability Analysis of Multi-modal Real-Time Systems
inferred← citeshttps://doi.org/10.1109/iceccs.2011.11openalex-snapshot
Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks
inferred← citeshttps://doi.org/10.1109/icess.2009.71openalex-snapshot
Component-Based Design in Multiprocessor Real-Time Systems
inferred← citeshttps://doi.org/10.1109/isorc.2013.6913241openalex-snapshot
Hierarchical real-time scheduling in the multi-core era — An overview
inferred← citeshttps://doi.org/10.1109/isorc.2017.14openalex-snapshot
Extensible Energy Planning Framework for Preemptive Tasks
inferred← citeshttps://doi.org/10.1109/isorc.2018.00015openalex-snapshot
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems
inferred← citeshttps://doi.org/10.1109/isorc.2019.00039openalex-snapshot
Semi-Federated Scheduling of Mixed-Criticality System for Sporadic DAG Tasks
inferred← citeshttps://doi.org/10.1109/jproc.2018.2864271openalex-snapshot
Codesign Methodologies and Tools for Cyber–Physical Systems
inferred← citeshttps://doi.org/10.1109/metrocad48866.2020.00010openalex-snapshot
Collaborative Autonomous Driving: Vision and Challenges
inferred← citeshttps://doi.org/10.1109/rtas.2010.28openalex-snapshot
Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources
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.2012.20openalex-snapshot
Realizing Compositional Scheduling through Virtualization
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/rtas.2013.6531096openalex-snapshot
Overhead-aware compositional analysis of real-time systems
inferred← citeshttps://doi.org/10.1109/rtas.2015.7108415openalex-snapshot
Analysis of real-time multi-modal FP-scheduled systems with non-preemptible regions
inferred← citeshttps://doi.org/10.1109/rtas52030.2021.00063openalex-snapshot
Work-In-Progress: Fault Tolerance in a Two-State Regularity-Based Checkpointing System
inferred← citeshttps://doi.org/10.1109/rtas58335.2023.00013openalex-snapshot
Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model
inferred← citeshttps://doi.org/10.1109/rtcsa.2009.39openalex-snapshot
The Multi Supply Function Abstraction for Multiprocessors
inferred← citeshttps://doi.org/10.1109/rtcsa.2009.46openalex-snapshot
A Compositional Scheduling Framework for Digital Avionics Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.2011.68openalex-snapshot
Compositionality and CPS from a Platform Perspective
inferred← citeshttps://doi.org/10.1109/rtcsa.2012.49openalex-snapshot
A Parallel Algorithm for EDF-Schedulability Analysis of Multi-modal Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.2012.54openalex-snapshot
Fixed-Priority Schedulability of Arbitrary-Deadline Sporadic Tasks upon Periodic Resources
inferred← citeshttps://doi.org/10.1109/rtcsa.2015.16openalex-snapshot
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation
inferred← citeshttps://doi.org/10.1109/rtcsa.2015.27openalex-snapshot
On Component-Based Software Development for Multiprocessor Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.2016.10openalex-snapshot
End-to-End Resource Reservations in Distributed Embedded Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.2019.8864575openalex-snapshot
Fault-Tolerant Regularity-Based Real-Time Virtual Resources
inferred← citeshttps://doi.org/10.1109/rtcsa52859.2021.00014openalex-snapshot
Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks
inferred← citeshttps://doi.org/10.1109/rtss.2008.34openalex-snapshot
Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources
inferred← citeshttps://doi.org/10.1109/rtss.2009.35openalex-snapshot
Virtual Multiprocessor Platforms: Specification and Use
inferred← citeshttps://doi.org/10.1109/rtss.2010.12openalex-snapshot
A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation
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/rtss.2013.37openalex-snapshot
Designing Bandwidth-Efficient Stabilizing Control Servers
inferred← citeshttps://doi.org/10.1109/rtss.2013.9openalex-snapshot
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms
inferred← citeshttps://doi.org/10.1109/rtss.2016.029openalex-snapshot
On the Dominance of Minimum-Parallelism Multiprocessor Supply
inferred← citeshttps://doi.org/10.1109/rtss.2017.00011openalex-snapshot
Regular Composite Resource Partition in Open Systems
inferred← citeshttps://doi.org/10.1109/rtss46320.2019.00050openalex-snapshot
Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/rtss49844.2020.00014openalex-snapshot
Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Estimates
inferred← citeshttps://doi.org/10.1109/rtss49844.2020.00042openalex-snapshot
Work-In-Progress: Fault Tolerance in a Two-State Checkpointing Regularity-Based System
inferred← citeshttps://doi.org/10.1109/rtss52674.2021.00048openalex-snapshot
TimeWall: Enabling Time Partitioning for Real-Time Multicore+Accelerator Platforms
inferred← citeshttps://doi.org/10.1109/rtss59052.2023.00040openalex-snapshot
Resource Virtualization with End-to-End Timing Guarantees for Multi-Hop Multi-Channel Real-Time Wireless Networks
inferred← citeshttps://doi.org/10.1109/sies.2011.5953671openalex-snapshot
An engineering approach to synchronization based on overrun for compositional real-time systems
inferred← citeshttps://doi.org/10.1109/sies.2012.6356572openalex-snapshot
Implementing hierarchical scheduling on COTS Ethernet switches using a master/slave approach
inferred← citeshttps://doi.org/10.1109/sies.2013.6601487openalex-snapshot
Virtual scheduling for compositional real-time guarantees
inferred← citeshttps://doi.org/10.1109/sies.2014.6871183openalex-snapshot
EDF schedulability analysis for an extended Timing Definition Language
inferred← citeshttps://doi.org/10.1109/sies.2016.7509436openalex-snapshot
Towards an analysis for hierarchies of sporadic servers on Ethernet
inferred← citeshttps://doi.org/10.1109/tc.2015.2435789openalex-snapshot
Analysis and Design of Real-Time Servers for Control Applications
inferred← citeshttps://doi.org/10.1109/tc.2015.2444833openalex-snapshot
Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources
inferred← citeshttps://doi.org/10.1109/tc.2015.2449857openalex-snapshot
Transparent Real-Time Task Scheduling on Temporal Resource Partitions
inferred← citeshttps://doi.org/10.1109/tc.2016.2602833openalex-snapshot
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations
inferred← citeshttps://doi.org/10.1109/tc.2021.3138019openalex-snapshot
Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded Systems
inferred← citeshttps://doi.org/10.1109/tcad.2018.2858465openalex-snapshot
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems
inferred← citeshttps://doi.org/10.1109/tii.2009.2033267openalex-snapshot
A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems
inferred← citeshttps://doi.org/10.1109/tii.2009.2037918openalex-snapshot
Overrun Methods and Resource Holding Times for Hierarchical Scheduling of Semi-Independent Real-Time Systems
inferred← citeshttps://doi.org/10.1109/tii.2011.2123902openalex-snapshot
Partitioning Real-Time Applications Over Multicore Reservations
inferred← citeshttps://doi.org/10.1109/tmc.2010.190openalex-snapshot
Minimum Bandwidth Reservations for Periodic Streams in Wireless Real-Time Systems
inferred← citeshttps://doi.org/10.1109/tmc.2013.109openalex-snapshot
Real-Time Scheduling for Xen-ARM Virtual Machines
inferred← citeshttps://doi.org/10.1109/tpds.2020.3026042openalex-snapshot
A Thread Level SLO-Aware I/O Framework for Embedded Virtualization
inferred← citeshttps://doi.org/10.1109/tse.2012.54openalex-snapshot
Compositional Verification for Hierarchical Scheduling of Real-Time Systems
inferred← citeshttps://doi.org/10.1145/3316781.3317840openalex-snapshot
Holistic multi-resource allocation for multicore real-time virtualization
inferred← citeshttps://doi.org/10.1186/s13639-017-0082-xopenalex-snapshot
Generation of fault-tolerant state-based communication schedules for real-time systems
inferred← citeshttps://doi.org/10.32657/10356/73157openalex-snapshot
Schedulability analysis and low-criticality execution support for mixed-criticality real-time systems on uniprocessors
inferred← citeshttps://doi.org/10.3384/9789179292720openalex-snapshot
Synthesis of Safety-Critical Real-Time Systems
inferred← citeshttps://doi.org/10.3384/diss.diva-124319openalex-snapshot
Analysis, Design, and Optimization of Embedded Control Systems
inferred← citeshttps://doi.org/10.4995/thesis/10251/203212openalex-snapshot
Investigación de nuevas metodologías para la planificación de sistemas de tiempo real multinúcleo mediante técnicas no convencionales
inferred← citeshttps://doi.org/10.5772/2344openalex-snapshot
Real-Time Systems, Architecture, Scheduling, and Application
inferred← citeshttps://doi.org/10.5772/37265openalex-snapshot
Handling Overload Conditions in Real-Time Systems
inferred← citeshttps://doi.org/10.5772/62691openalex-snapshot
Uniform Interfaces for Resource-Sharing Components in Hierarchically Scheduled Real-Time Systems
inferred← citeshttps://doi.org/10.70675/c34f9bcez11d0z45afz93e6ze8882ad61c83openalex-snapshot
Conditions d’ordonnançabilité pour un langage dirigé par le temps
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.