On the public citation graph
An Interface Algebra for Real-Time Components
0 signed · 91 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.1109/32.263752openalex-snapshot
Timing analysis for fixed-priority scheduling of hard 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/real.1997.641292openalex-snapshot
Scheduling real-time applications in an open environment
inferredcites →https://doi.org/10.1109/real.2001.990591openalex-snapshot
HLS: a framework for composing soft real-time schedulers
inferredcites →https://doi.org/10.1109/real.2001.990604openalex-snapshot
Towards compositionality in real-time resource partitioning based on regularity bounds
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.2005.43openalex-snapshot
Real-Time Component-Based 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/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.1007/978-1-4020-6254-4_13openalex-snapshot
A Design Methodology for Distributed Real-Time Automotive Applications
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-642-15297-9_15openalex-snapshot
A Process Algebraic Framework for Modeling Resource Demand and Supply
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_15openalex-snapshot
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-34059-8_20openalex-snapshot
Independent Implementability of Viewpoints
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-3-642-39698-4_9openalex-snapshot
Modeling and Specification of Real-Time Interfaces with UTP
inferred← citeshttps://doi.org/10.1007/978-3-8348-9703-9openalex-snapshot
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
inferred← citeshttps://doi.org/10.1007/s10009-012-0260-zopenalex-snapshot
Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded 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.1016/j.entcs.2013.04.003openalex-snapshot
Assembling Components using SysML with Non-Functional Requirements
inferred← citeshttps://doi.org/10.1016/j.jss.2012.09.036openalex-snapshot
Design of component-based real-time applications
inferred← citeshttps://doi.org/10.1016/j.procs.2015.03.064openalex-snapshot
An Evolutionary Theory-systems Approach to a Science of the Ilities
inferred← citeshttps://doi.org/10.1016/j.sysarc.2012.04.001openalex-snapshot
Compositional real-time models
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.08.025openalex-snapshot
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
inferred← citeshttps://doi.org/10.1109/car.2010.5456561openalex-snapshot
Predictable actor-oriented design strategies for timing-centric distributed embedded software
inferred← citeshttps://doi.org/10.1109/date.2009.5090639openalex-snapshot
WCRT algebra and interfaces for esterel-style synchronous processing
inferred← citeshttps://doi.org/10.1109/date.2010.5456925openalex-snapshot
A software update service with self-protection capabilities
inferred← citeshttps://doi.org/10.1109/date.2010.5457163openalex-snapshot
A proposal for real-time interfaces in SPEEDS
inferred← citeshttps://doi.org/10.1109/date.2012.6176433openalex-snapshot
Using timing analysis for the design of future switched based Ethernet automotive networks
inferred← citeshttps://doi.org/10.1109/ecrts.2009.26openalex-snapshot
Approximate Bandwidth Allocation for Compositional Real-Time Systems
inferred← citeshttps://doi.org/10.1109/fdl.2017.8303895openalex-snapshot
Compositional timing-aware semantics for synchronous programming
inferred← citeshttps://doi.org/10.1109/indin.2008.4618271openalex-snapshot
Model-driven embedded systems design environment for the industrial automation sector
inferred← citeshttps://doi.org/10.1109/iscid.2009.283openalex-snapshot
High Dependability Design Framework in Real-Time Embedded Control Software
inferred← citeshttps://doi.org/10.1109/isorc.2007.25openalex-snapshot
Compositional Schedulability Analysis of Hierarchical Real-Time Systems
inferred← citeshttps://doi.org/10.1109/isorc.2008.25openalex-snapshot
Cyber Physical Systems: Design Challenges
inferred← citeshttps://doi.org/10.1109/isorc.2012.18openalex-snapshot
Schedulability Analysis Abstractions for Safety Critical Java
inferred← citeshttps://doi.org/10.1109/kse.2011.25openalex-snapshot
Real-Time Relational Interface Behavior Modeling and Specification
inferred← citeshttps://doi.org/10.1109/ntms.2009.5384729openalex-snapshot
Verification of Real-Time Systems: Application to the Transportation Domain
inferred← citeshttps://doi.org/10.1109/qsic.2007.4385484openalex-snapshot
Real-Time Component Composition Using Hierarchical Timed Automata
inferred← citeshttps://doi.org/10.1109/rose.2008.4669185openalex-snapshot
Towards a model and specification for visual programming of massively distributed embedded systems
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/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.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/samos.2011.6045486openalex-snapshot
Admission control and self-configuration in the EPOC framework
inferred← citeshttps://doi.org/10.1109/sere-c.2014.44openalex-snapshot
A Proof System in Process Algebra for Demand and Supply
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.1109/tcad.2009.2013286openalex-snapshot
System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures
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/tvt.2022.3209339openalex-snapshot
Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols
inferred← citeshttps://doi.org/10.1109/vlsisoc.2011.6081611openalex-snapshot
Interface model based cyber-physical energy system design for smart grid
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/1366283.1366287openalex-snapshot
Towards verifiable deeply embedded systems
inferred← citeshttps://doi.org/10.1145/1450058.1450070openalex-snapshot
Interface theories with component reuse
inferred← citeshttps://doi.org/10.1145/1629335.1629342openalex-snapshot
Compositional timing analysis
inferred← citeshttps://doi.org/10.1145/1880050.1880058openalex-snapshot
Real-time performance analysis of multiprocessor systems with shared memory
inferred← citeshttps://doi.org/10.1145/1967021.1967028openalex-snapshot
Toward probabilistic real-time calculus
inferred← citeshttps://doi.org/10.1145/1967701.1967707openalex-snapshot
The earlier the better : a theory of timed actor interfaces
inferred← citeshttps://doi.org/10.1145/2304736.2304758openalex-snapshot
An MDE approach to address synchronization needs in component-based real-time systems
inferred← citeshttps://doi.org/10.1145/2380356.2380390openalex-snapshot
Compositional temporal analysis model for incremental hard real-time system design
inferred← citeshttps://doi.org/10.1145/2717113openalex-snapshot
A Probabilistic Calculus for Probabilistic Real-Time Systems
inferred← citeshttps://doi.org/10.1145/3127540.3127581openalex-snapshot
Ensuring the Reliability of an Autonomous Vehicle
inferred← citeshttps://doi.org/10.21500/20275846.231openalex-snapshot
Desafíos en el diseño de sistemas Ciber-Físicos
inferred← citeshttps://doi.org/10.23638/lmcs-17(2:19)2021openalex-snapshot
Interface Modeling for Quality and Resource Management
inferred← citeshttps://doi.org/10.23940/ijpe.17.08.p13.13121326openalex-snapshot
A Partial Supply Simulation Relation and its Proof System in PADS
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.4204/eptcs.46.3openalex-snapshot
An Algebra of Synchronous Scheduling Interfaces
inferred← citeshttps://doi.org/10.4271/2010-01-0455openalex-snapshot
Formal Timing Analysis of Full Duplex Switched Based Ethernet Network Architectures
inferred← citeshttps://doi.org/10.5555/1870926.1871031openalex-snapshot
A proposal for real-time interfaces in SPEEDS
inferred← citeshttps://doi.org/10.5555/1870926.1871144openalex-snapshot
A software update service with self-protection capabilities
inferred← citeshttps://doi.org/10.5555/1874620.1874644openalex-snapshot
WCRT algebra and interfaces for Esterel-style synchronous processing
inferred← citeshttps://doi.org/10.5555/2492708.2492724openalex-snapshot
Using timing analysis for the design of future switched based ethernet automotive networks
inferred← citeshttps://doi.org/10.7936/k71g0jhqopenalex-snapshot
Scheduling Induced Bounds and the Verification of Preemptive Real-Time Systems
inferred← citeshttps://doi.org/10.7936/k7ng4nvjopenalex-snapshot
Verification of Component-based Distributed Real-time 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.