On the public citation graph
Event-triggered versus time-triggered real-time systems
0 signed · 182 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/978-1-4615-3506-5openalex-snapshot
Computer Systems and Software Engineering
inferredcites →https://doi.org/10.1109/12.57058openalex-snapshot
Priority inheritance protocols: an approach to real-time synchronization
inferredcites →https://doi.org/10.1109/40.16792openalex-snapshot
Distributed fault-tolerant real-time systems: the Mars approach
inferredcites →https://doi.org/10.1109/cmpeur.1990.113604openalex-snapshot
A test strategy for the distributed real-time system MARS
inferredcites →https://doi.org/10.1109/ftcs.1988.5327openalex-snapshot
The Delta-4 approach to dependability in open distributed computing systems
inferredcites →https://doi.org/10.1109/reldis.1990.93962openalex-snapshot
Temporal uncertainties in interactions among real-time objects
inferredcites →https://doi.org/10.1109/tc.1987.5009516openalex-snapshot
Clock Synchronization in Distributed Real-Time Systems
inferredcites →https://doi.org/10.1145/321738.321743openalex-snapshot
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.1145/98163.98167openalex-snapshot
Implementing fault-tolerant services using the state machine approach: a tutorial
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(199703)27:3<207::aid-spe82>3.0.co;2-dopenalex-snapshot
Synchronous/Reactive Programming of Concurrent System Software
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(19990410)29:4<379::aid-spe235>3.0.co;2-6openalex-snapshot
Fault-tolerant RT-Mach (FT-RT-Mach) and an application to real-time train control
inferred← citeshttps://doi.org/10.1002/asjc.928openalex-snapshot
Event‐triggered Control of Linear Systems with Saturated Inputs
inferred← citeshttps://doi.org/10.1002/rnc.70570openalex-snapshot
Switching‐Like Dynamic Event‐Triggered Control for Networked Control Systems With Actuator Faults Under Stochastic DoS Attacks
inferred← citeshttps://doi.org/10.1002/spe.1099openalex-snapshot
The Real‐Time Systems Compiler: migrating event‐triggered systems to time‐triggered systems
inferred← citeshttps://doi.org/10.1006/jpdc.1996.0090openalex-snapshot
An Overview of RealTimeTalk, a Design Framework for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3080-2_9openalex-snapshot
Issues in Active Real-Time Databases
inferred← citeshttps://doi.org/10.1007/978-3-030-04927-0_1openalex-snapshot
An Overview on Industrial Control Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-48077-6_10openalex-snapshot
Modelling Hybrid Programs with Event-B
inferred← citeshttps://doi.org/10.1007/978-3-030-48077-6_31openalex-snapshot
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_33openalex-snapshot
Refactoring, Refinement, and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-322-91170-4_36openalex-snapshot
MERKUR: A real-time and fault tolerant communication system for mechatronic applications
inferred← citeshttps://doi.org/10.1007/978-3-642-04284-3_1openalex-snapshot
State Machine Based Method for Consolidating Vehicle Data
inferred← citeshttps://doi.org/10.1007/978-3-642-18594-6_10openalex-snapshot
Automotive Betriebssysteme
inferred← citeshttps://doi.org/10.1007/978-3-642-24349-3_14openalex-snapshot
A Real-Time Capable Virtualized Information and Communication Technology Infrastructure for Automotive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_3openalex-snapshot
Runtime Monitoring of Time-Sensitive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-34614-9_9openalex-snapshot
Modeling Quality Aspects: Real-Time
inferred← citeshttps://doi.org/10.1007/978-3-642-88049-0_6openalex-snapshot
Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating System DEDOS
inferred← citeshttps://doi.org/10.1007/978-981-10-5861-5_3openalex-snapshot
Energy Harvesting in Internet of Things
inferred← citeshttps://doi.org/10.1007/978-981-287-251-7_47openalex-snapshot
Real-Time Internet of Things for Smart Environments
inferred← citeshttps://doi.org/10.1007/978-981-4585-87-3_47-1openalex-snapshot
Real-Time Internet of Things for Smart Environments
inferred← citeshttps://doi.org/10.1007/b102510openalex-snapshot
The Testability of Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1007/bf00133303openalex-snapshot
A survey on estimating the timing constraints of hard real-time systems
inferred← citeshttps://doi.org/10.1007/s00291-026-00857-yopenalex-snapshot
Computational analysis of a binary tree based algorithm for the triangle scheduling problem
inferred← citeshttps://doi.org/10.1007/s10479-021-04445-xopenalex-snapshot
Computing the execution probability of jobs with replication in mixed-criticality schedules
inferred← citeshttps://doi.org/10.1007/s11071-020-05786-1openalex-snapshot
Dynamic event-based reliable dissipative asynchronous control for stochastic Markov jump systems with general conditional probabilities
inferred← citeshttps://doi.org/10.1007/s11071-024-09820-4openalex-snapshot
Dynamic event-triggered asynchronous and resilient dissipative filtering for discrete-time Markov jump singularly perturbed systems with hybrid cyber attacks
inferred← citeshttps://doi.org/10.1007/s11227-014-1157-2openalex-snapshot
On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications
inferred← citeshttps://doi.org/10.1007/s11227-024-06208-4openalex-snapshot
ITER: an ITERative approach for inter-core timing analysis in statically scheduled cyclic executive systems on COTS multicore platforms for CRTES
inferred← citeshttps://doi.org/10.1007/s11241-016-9265-0openalex-snapshot
Timing analysis of rate-constrained traffic in TTEthernet using network calculus
inferred← citeshttps://doi.org/10.1016/b978-0-08-041894-0.50016-2openalex-snapshot
REALTIMETALK AN OBJECT-ORIENTED LANGAUGE FOR HARD REAL-TIME SYSTEMS
inferred← citeshttps://doi.org/10.1016/j.amc.2020.125443openalex-snapshot
Dynamic event-based mixed H∞ and dissipative asynchronous control for Markov jump singularly perturbed systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2019.108754openalex-snapshot
Event-triggered stabilization of nonlinear systems with time-varying sensing and actuation delay
inferred← citeshttps://doi.org/10.1016/j.conengprac.2008.03.007openalex-snapshot
Assessment of performance and dependability in embedded control systems: Methodology and case study
inferred← citeshttps://doi.org/10.1016/j.csi.2013.11.003openalex-snapshot
A flexible time-triggered service for real-time CORBA
inferred← citeshttps://doi.org/10.1016/j.ejor.2019.05.038openalex-snapshot
Scheduling with uncertain processing times in mixed-criticality systems
inferred← citeshttps://doi.org/10.1016/j.ins.2016.01.088openalex-snapshot
Consensus analysis of multiagent systems with second-order nonlinear dynamics and general directed topology: An event-triggered scheme
inferred← citeshttps://doi.org/10.1016/j.jvlc.2014.03.003openalex-snapshot
A reactive extension of the OpenMusic visual programming language
inferred← citeshttps://doi.org/10.1016/j.nahs.2020.100874openalex-snapshot
Dynamic event-based finite-time mixed H∞ and passive asynchronous filtering for T–S fuzzy singular Markov jump systems with general transition rates
inferred← citeshttps://doi.org/10.1016/j.neunet.2015.01.006openalex-snapshot
Event-triggered asynchronous intermittent communication strategy for synchronization in complex dynamical networks
inferred← citeshttps://doi.org/10.1016/j.scico.2010.06.010openalex-snapshot
A resource-efficient event algebra
inferred← citeshttps://doi.org/10.1016/j.sysarc.2016.01.007openalex-snapshot
Definitions of predictability for Cyber Physical Systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2016.11.003openalex-snapshot
Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols
inferred← citeshttps://doi.org/10.1016/j.sysarc.2019.101652openalex-snapshot
A hierarchical architecture for time- and event-triggered real-time systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2019.101690openalex-snapshot
Asynchronous vs. synchronous interfacing to time-triggered communication systems
inferred← citeshttps://doi.org/10.1016/j.sysconle.2011.12.006openalex-snapshot
Computation of an optimal communication schedule in a nonlinear networked control system using sum-of-squares
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43743-8openalex-snapshot
Producer-Distributor-Consumer Model on Controller Area Network
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45959-3openalex-snapshot
Spatio-Temporal Constraints in Fieldbus: Requirements and Current Solutions
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45984-2openalex-snapshot
A Distributed Task-Oriented Real-Time Programming System
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)46685-7openalex-snapshot
Definition of Real Time Services for Heterogeneous Profiles
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)47221-1openalex-snapshot
A Real-Time Kernel Integrated with an Off-Line Scheduler
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)50128-7openalex-snapshot
RealTimeTalk, an Object-Oriented Language for Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1017/s0263574702004770openalex-snapshot
Using distributed systems in real-time control of autonomous vehicles
inferred← citeshttps://doi.org/10.1023/a:1005255718730openalex-snapshot
“Ubi Patria – Ibi Bene”: The Scope and Limits of Rousseau's Patriotic Education
inferred← citeshttps://doi.org/10.1023/a:1008089513108openalex-snapshot
Stabilizing Pre-Run-Time Schedules With the Help of Grace Time
inferred← citeshttps://doi.org/10.1023/a:1008092427865openalex-snapshot
The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks
inferred← citeshttps://doi.org/10.1023/a:1009804226473openalex-snapshot
Scheduling of Time-Triggered Real-Time Systems
inferred← citeshttps://doi.org/10.1023/a:1025180310659openalex-snapshot
Reactive and Real-Time Systems Course: How to Get the Most Out of it
inferred← citeshttps://doi.org/10.1049/iet-cta.2009.0234openalex-snapshot
Stabilisability and detectability in networked control
inferred← citeshttps://doi.org/10.1049/iet-cta.2018.5560openalex-snapshot
Pinning event‐triggered control for stochastic discrete‐time complex networks with time‐varying delay
inferred← citeshttps://doi.org/10.1080/15501320490886314openalex-snapshot
Real-Time Sensor-Actuator Networks
inferred← citeshttps://doi.org/10.1080/17538947.2020.1738569openalex-snapshot
Spatiotemporal event detection: a review
inferred← citeshttps://doi.org/10.1108/01445150610679786openalex-snapshot
Networked embedded automation
inferred← citeshttps://doi.org/10.1109/12.364530openalex-snapshot
Tolerating sensor timing faults in highly responsive hard real-time systems
inferred← citeshttps://doi.org/10.1109/12.620482openalex-snapshot
BASEMENT: an architecture and methodology for distributed automotive real-time systems
inferred← citeshttps://doi.org/10.1109/acc.2016.7525155openalex-snapshot
Actuator fault-tolerant control of networked distributed processes with event-triggered sensor-controller communication
inferred← citeshttps://doi.org/10.1109/access.2020.2970266openalex-snapshot
Enhancing Real-Time and Determinacy for Network-Level Schedule in Distributed Mixed-Critical System
inferred← citeshttps://doi.org/10.1109/access.2020.2984749openalex-snapshot
A Mixed-Critical Consistent Update Algorithm in Software Defined Time-Triggered Ethernet Using Time Window
inferred← citeshttps://doi.org/10.1109/access.2026.3737578openalex-snapshot
Dependency Analysis of the Extra-Functional Properties of the Time-Triggered Architecture
inferred← citeshttps://doi.org/10.1109/acssc.2012.6489261openalex-snapshot
Lifetime maximization in distributed sensor network with event-triggered adaptive filtering
inferred← citeshttps://doi.org/10.1109/aero58975.2024.10521386openalex-snapshot
Continuous Formal Verification for Aerospace Applications
inferred← citeshttps://doi.org/10.1109/aiccsa.2008.4493674openalex-snapshot
Development guidelines for dependable real-time embedded systems
inferred← citeshttps://doi.org/10.1109/ascc.2017.8287438openalex-snapshot
Resilient control under denial-of-service via dynamic event triggering
inferred← citeshttps://doi.org/10.1109/asp-dac66049.2026.11420691openalex-snapshot
TTI: An Instruction Set Supporting Priority-Inversion-Free Time-Triggered Preemptive Scheduling in Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.1109/carpathiancc.2019.8765929openalex-snapshot
Time-Driven Sub-GHz Wireless Communication Protocol for Real-Time Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/ccdc.2016.7531110openalex-snapshot
Cluster synchronization of linearly coupled complex networks with nonidentical nodes via event-triggered strategy
inferred← citeshttps://doi.org/10.1109/cit.2010.335openalex-snapshot
Real-time Non-invasive Detection of Timing-constraint Violations in Time-triggered Embedded Systems
inferred← citeshttps://doi.org/10.1109/date.2009.5090917openalex-snapshot
Programming MPSoC platforms: Road works ahead!
inferred← citeshttps://doi.org/10.1109/ecc.2015.7330742openalex-snapshot
Event triggered green control for discrete time dynamical systems
inferred← citeshttps://doi.org/10.1109/emwrt.1993.639062openalex-snapshot
An Object-Oriented Framework for Designing Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514325openalex-snapshot
A multi-agent distributed real-time system for a microprocessor field-bus network
inferred← citeshttps://doi.org/10.1109/emwrts.1996.557878openalex-snapshot
A communication protocol for hard and soft real-time systems
inferred← citeshttps://doi.org/10.1109/emwrts.1998.685069openalex-snapshot
Efficiency evaluation of a time-triggered architecture for vehicle body-electronics
inferred← citeshttps://doi.org/10.1109/etfa.2014.7005122openalex-snapshot
Extending schedulability tests of tree-shaped transactions for TDMA radio protocols
inferred← citeshttps://doi.org/10.1109/ftcs.1993.627355openalex-snapshot
TTP - A time-triggered protocol for fault-tolerant real-time systems
inferred← citeshttps://doi.org/10.1109/hpcc-smartcity-dss.2017.75openalex-snapshot
A Time-Aware Programming Framework for Constructing Predictable Real-Time Systems
inferred← citeshttps://doi.org/10.1109/hpcc.2014.90openalex-snapshot
Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols
inferred← citeshttps://doi.org/10.1109/i2mtc43012.2020.9128492openalex-snapshot
Improved Measurement System for the Evaluation of GNSS Receivers for Timing Applications
inferred← citeshttps://doi.org/10.1109/icccs49078.2020.9118527openalex-snapshot
Hierarchical Message Scheduling Modeling in Heterogeneous Time-Triggered Ethernet Using Software Defined Network
inferred← citeshttps://doi.org/10.1109/iceccs54210.2022.00019openalex-snapshot
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study
inferred← citeshttps://doi.org/10.1109/icevt.2017.8323527openalex-snapshot
Distributed resilient tracking control of a vehicle platoon under communication imperfection
inferred← citeshttps://doi.org/10.1109/icit.2004.1490194openalex-snapshot
Formal evaluation and comparison of real time embedded automotive networks
inferred← citeshttps://doi.org/10.1109/icit.2004.1490227openalex-snapshot
A Comparison of the Communication Impact in CAN and TTP/C networks when supporting Steer-by-Wire Systems
inferred← citeshttps://doi.org/10.1109/icit46573.2021.9453493openalex-snapshot
Statistical analysis of execution time profile for temporal validation of a distributed hard real-time system
inferred← citeshttps://doi.org/10.1109/icnas.2019.8807854openalex-snapshot
Robust Infrastructure as a Service for Intelligent Storage in IoT-Cloud
inferred← citeshttps://doi.org/10.1109/icnc59488.2023.10462873openalex-snapshot
A Dynamic Event-Triggered Mean-Square Consensus Control for Discrete-Time Stochastic Multi-Agent System With System Uncertainties
inferred← citeshttps://doi.org/10.1109/icsmc.1994.399857openalex-snapshot
Batch process modelling using Petri nets
inferred← citeshttps://doi.org/10.1109/ideas.2000.880628openalex-snapshot
Time is the shadow of reactive behaviour
inferred← citeshttps://doi.org/10.1109/iecon.1993.339022openalex-snapshot
Fulfilling temporal constraints in fieldbus
inferred← citeshttps://doi.org/10.1109/iecon.1994.397951openalex-snapshot
The conception of distributed application and the fieldbus configuration: a concurrent engineering vision
inferred← citeshttps://doi.org/10.1109/isads.1993.262691openalex-snapshot
Real-time system development: The programming model of MARS
inferred← citeshttps://doi.org/10.1109/isie.1994.333110openalex-snapshot
The network transparency concept in Fieldbus based distributed systems
inferred← citeshttps://doi.org/10.1109/isie.2012.6237372openalex-snapshot
Concept for hybrid optimization for schedule design in nonlinear networked control
inferred← citeshttps://doi.org/10.1109/isorc.2007.8openalex-snapshot
A Novel Synchronous Scheduling Service for CORBA-RT Applications
inferred← citeshttps://doi.org/10.1109/isorc.2008.88openalex-snapshot
Design Methodologies for Embedded Systems: Where is the Super-Glue?
inferred← citeshttps://doi.org/10.1109/ispcs.2018.8543070openalex-snapshot
Prototype Implementation and Performance of Time-based Distributed Scheduling on Linux for Real-Time Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/iwcmc.2018.8450503openalex-snapshot
A new Infrastructure as a Service for IoT-Cloud
inferred← citeshttps://doi.org/10.1109/jproc.2005.849721openalex-snapshot
Ethernet-Based Real-Time and Industrial Communications
inferred← citeshttps://doi.org/10.1109/meco70748.2026.11579013openalex-snapshot
From Delays to Events: A Quantitative Analysis of Causal Determinism in RTOS Task Activation
inferred← citeshttps://doi.org/10.1109/nesea.2012.6474014openalex-snapshot
Prioritized access arbitration to shared resources on integrated software systems in multicore environments
inferred← citeshttps://doi.org/10.1109/real.1996.563727openalex-snapshot
Proceedings 1996 Asia-Pacific Software Engineering Conference
inferred← citeshttps://doi.org/10.1109/reldis.1991.145404openalex-snapshot
On the testability of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/rta.1993.263119openalex-snapshot
Implications of fault management and replica determinism on the real-time execution scheme of VOTRICS
inferred← citeshttps://doi.org/10.1109/rtas.2007.40openalex-snapshot
Towards a Synchronous Scheduling Service on Top of a Unicast Distributed Real-Time Java
inferred← citeshttps://doi.org/10.1109/rtcsa.2012.61openalex-snapshot
Optimizing the Deployment of Distributed Real-Time Embedded Applications
inferred← citeshttps://doi.org/10.1109/rtss.2018.00042openalex-snapshot
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures
inferred← citeshttps://doi.org/10.1109/samos.2014.6893223openalex-snapshot
Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems
inferred← citeshttps://doi.org/10.1109/seaa.2015.47openalex-snapshot
Testability and Software Robustness: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/sgc49328.2019.9056613openalex-snapshot
Need-Based Communication in Fully-Distributed Secondary Control of DC Microgrids
inferred← citeshttps://doi.org/10.1109/sies.2014.6871190openalex-snapshot
Hierarchical traffic shaping and frame packing to reduce bandwidth utilization in the AFDX
inferred← citeshttps://doi.org/10.1109/sies.2014.7087455openalex-snapshot
A task model for TDMA communications
inferred← citeshttps://doi.org/10.1109/sies.2015.7185044openalex-snapshot
Real-time network traffic handling in FASA
inferred← citeshttps://doi.org/10.1109/sies.2016.7509414openalex-snapshot
EDF schedulability test for the E-TDL time-triggered framework
inferred← citeshttps://doi.org/10.1109/sysose.2010.5544004openalex-snapshot
Using design patterns to support migration between different system architectures
inferred← citeshttps://doi.org/10.1109/tac.2016.2614486openalex-snapshot
Event-Triggered Mean-Square Consensus Control for Time-Varying Stochastic Multi-Agent System With Sensor Saturations
inferred← citeshttps://doi.org/10.1109/tcst.2011.2170172openalex-snapshot
Robust Scheduling of Sampled-Data Networked Control Systems
inferred← citeshttps://doi.org/10.1109/tcyb.2016.2582081openalex-snapshot
Distributed Event-Based Set-Membership Filtering for a Class of Nonlinear Systems With Sensor Saturations Over Sensor Networks
inferred← citeshttps://doi.org/10.1109/tnnls.2023.3279890openalex-snapshot
Observer-Based Fault-Tolerant Finite-Time Control of Nonlinear Multiagent Systems
inferred← citeshttps://doi.org/10.1109/tpds.2009.95openalex-snapshot
A Synchronous Scheduling Service for Distributed Real-Time Java
inferred← citeshttps://doi.org/10.1109/tse.2003.1223648openalex-snapshot
A nonpreemptive real-time scheduler with recovery from transient faults and its implementation
inferred← citeshttps://doi.org/10.1109/tsg.2023.3270421openalex-snapshot
Event-Triggered Distribution System State Estimation: Sparse Kalman Filtering With Reinforced Coupling
inferred← citeshttps://doi.org/10.1109/tsmc.2022.3190091openalex-snapshot
Adaptive Fuzzy Output Feedback Tracking Control for Uncertain Nonstrict Feedback Systems With Variable Disturbances via Event-Triggered Mechanism
inferred← citeshttps://doi.org/10.1109/vetecf.2008.441openalex-snapshot
Towards Advanced Information Fusion for Driver Assistant Systems of Modern Vehicles
inferred← citeshttps://doi.org/10.1145/1850771.1850778openalex-snapshot
Asynchronous event handling and safety critical Java
inferred← citeshttps://doi.org/10.1145/2000799.2000800openalex-snapshot
Runtime Verification for LTL and TLTL
inferred← citeshttps://doi.org/10.1145/216633.216670openalex-snapshot
The cluster compiler—a tool for the design of time-triggered real-time systems
inferred← citeshttps://doi.org/10.1145/2744196openalex-snapshot
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints
inferred← citeshttps://doi.org/10.1145/2851613.2851978openalex-snapshot
Testability and software performance
inferred← citeshttps://doi.org/10.1145/2933575.2934555openalex-snapshot
Differential Refinement Logic
inferred← citeshttps://doi.org/10.1145/330560.330566openalex-snapshot
Off-line scheduling of a real-time system
inferred← citeshttps://doi.org/10.1145/3371708openalex-snapshot
Traffic-type Assignment for TSN-based Mixed-criticality Cyber-physical Systems
inferred← citeshttps://doi.org/10.1145/3501294openalex-snapshot
Constructive or Optimized: An Overview of Strategies to Design Networks for Time-Critical Applications
inferred← citeshttps://doi.org/10.1184/r1/6714707openalex-snapshot
An Exploration of Mechanisms and Policies for Gateways in Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.1201/9781420036336.ch46openalex-snapshot
Which Network for Which Application
inferred← citeshttps://doi.org/10.1201/9781420037821.ch19openalex-snapshot
Which Network for Which Application
inferred← citeshttps://doi.org/10.18130/v38c3qopenalex-snapshot
Safety Kernel Enforcement of Software Safety Policies
inferred← citeshttps://doi.org/10.2172/10178197openalex-snapshot
Reviewing real-time performance of nuclear reactor safety systems
inferred← citeshttps://doi.org/10.23919/date64628.2025.10992805openalex-snapshot
Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN)
inferred← citeshttps://doi.org/10.25405/ncl.34124811openalex-snapshot
Building Responsive and Reliable Distributed Services: Models and Design Options
inferred← citeshttps://doi.org/10.26190/unsworks/16384openalex-snapshot
Towards verified microkernels for real-time mixed-criticality systems
inferred← citeshttps://doi.org/10.2991/aisr.k.220201.030openalex-snapshot
Deep Learning Algorithms Enabling Event Detection: A Review
inferred← citeshttps://doi.org/10.3182/20090616-3-il-2002.00051openalex-snapshot
Controllability, Observability in Networked Control
inferred← citeshttps://doi.org/10.3390/s18113871openalex-snapshot
Specification and Performance Indicators of AeroRing—A Multiple-Ring Ethernet Network for Avionics Embedded Systems
inferred← citeshttps://doi.org/10.3745/kipsta.2011.18a.6.271openalex-snapshot
Architectural Refactoring of Real-Time Software Design for Predictable Controls of Artificial Heart
inferred← citeshttps://doi.org/10.3990/1.9789036528504openalex-snapshot
Aperiodic multiprocessor scheduling for real-time stream processing applications
inferred← citeshttps://doi.org/10.3990/1.9789036545693openalex-snapshot
Analysis and optimization techniques for real-time streaming image processing software on general purpose systems
inferred← citeshttps://doi.org/10.4018/ijsita.2019100102openalex-snapshot
A Robust IOT-Cloud IaaS for Data Availability within Minimum Latency
inferred← citeshttps://doi.org/10.4204/eptcs.257.6openalex-snapshot
Monitoring of Traffic Manoeuvres with Imprecise Information
inferred← citeshttps://doi.org/10.4230/lites-v002-i002-a001openalex-snapshot
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation
inferred← citeshttps://doi.org/10.4271/2003-01-1198openalex-snapshot
Dealing With the OEM-Supplier Relationship in the Development of Embedded Software
inferred← citeshttps://doi.org/10.4271/2005-01-4144openalex-snapshot
Analysis of Communication Requirements in Automotive Buses
inferred← citeshttps://doi.org/10.5220/0012080900003538openalex-snapshot
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH
inferred← citeshttps://doi.org/10.5402/2012/259064openalex-snapshot
Empirical Studies for the Assessment of the Effectiveness of Design Patterns in Migration between Software Architectures of Embedded Applications
inferred← citeshttps://doi.org/10.5772/38051openalex-snapshot
Ways for Implementing Highly-Predictable Embedded Systems Using Time-Triggered Co-Operative (TTC) Architectures
inferred← citeshttps://doi.org/10.5772/52348openalex-snapshot
State-of-the-art Versus Time-triggered Object Tracking in Advanced Driver Assistance Systems
inferred← citeshttps://doi.org/10.70675/01b41e5bzbbb0z4a01zb3f4z91b7e5ca16bcopenalex-snapshot
Pratiques, techniques et enjeux de l’écriture du temps dans la musique mixte
inferred← citeshttps://doi.org/10.70675/196b1a95za1f3z4349z89e3z5fdf510248a6openalex-snapshot
Parallélisation et passage à l'échelle durable d'une chaïne de traitement graphique pour l'impression professionnelle
inferred← citeshttps://doi.org/10.70675/73791f48z7c0cz405azb8b8z050de61715c0openalex-snapshot
Specification and Analysis of AeroRing - A Full Duplex Ethernet Ring Network for New Generation Avionics Systems
inferred← citeshttps://doi.org/10.70675/e76f96dfze476z4ed2za9b6z254be02eacaaopenalex-snapshot
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B
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.