On the public citation graph

A Programming Model for Time-Synchronized Distributed Real-Time Systems

https://doi.org/10.1109/rtas.2007.5

0 signed · 172 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/0-8176-4404-0_4openalex-snapshot

Discrete-Event Systems

inferredcites →https://doi.org/10.1007/1-4020-3532-2_3openalex-snapshot

Interface-Based Design

inferredcites →https://doi.org/10.1007/3-540-45449-7_12openalex-snapshot

Giotto: A Time-Triggered Language for Embedded Programming

inferredcites →https://doi.org/10.1007/978-1-4757-3552-9openalex-snapshot

Discrete-Event Simulation

inferredcites →https://doi.org/10.1007/978-3-540-45212-6_9openalex-snapshot

Resource Interfaces

inferredcites →https://doi.org/10.1007/978-3-540-71156-8_1openalex-snapshot

Reinventing Computing for Real Time

inferredcites →https://doi.org/10.1007/978-3-642-59615-5_13openalex-snapshot

The Theory of Hybrid Automata

inferredcites →https://doi.org/10.1007/bf01516012openalex-snapshot

Discrete event systems: Modeling and performance analysis

inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot

A theory of timed automata

inferredcites →https://doi.org/10.1016/b978-155860702-6/50016-8openalex-snapshot

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

inferredcites →https://doi.org/10.1016/c2016-0-03987-6openalex-snapshot

Theory of Modeling and Simulation

inferredcites →https://doi.org/10.1016/s0140-3664(97)00165-5openalex-snapshot

The design of the TAO real-time object request broker

inferredcites →https://doi.org/10.1016/s0898-1221(97)90277-7openalex-snapshot

Real-time systems: Design principles for distributed embedded applications

inferredcites →https://doi.org/10.1023/a:1018998524196openalex-snapshot

Modeling concurrent real-time processes using discrete events

inferredcites →https://doi.org/10.1057/jors.1994.15openalex-snapshot

Synchronization and Linearity: An Algebra for Discrete Event Systems

inferredcites →https://doi.org/10.1109/5.97297openalex-snapshot

The synchronous approach to reactive and real-time systems

inferredcites →https://doi.org/10.1109/etfa.2006.355187openalex-snapshot

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

inferredcites →https://doi.org/10.1109/isorc.2001.922846openalex-snapshot

A CORBA-based middleware solution for UAVs

inferredcites →https://doi.org/10.1109/jproc.2002.805825openalex-snapshot

Giotto: a time-triggered language for embedded programming

inferredcites →https://doi.org/10.1109/mcs.2003.1172830openalex-snapshot

Timed multitasking for real-time embedded software

inferredcites →https://doi.org/10.1109/mcs.2004.1275432openalex-snapshot

Time synchronization in a local area network

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.43openalex-snapshot

Trading End-to-End Latency for Composability

inferredcites →https://doi.org/10.1109/tse.1979.230182openalex-snapshot

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

inferredcites →https://doi.org/10.1109/wsc.2001.977259openalex-snapshot

Parallel and distributed simulation systems

inferredcites →https://doi.org/10.1145/1060289.1060304openalex-snapshot

Fine-grained network time synchronization using reference broadcasts

inferredcites →https://doi.org/10.1145/1065910.1065914openalex-snapshot

Composable code generation for distributed giotto

inferredcites →https://doi.org/10.1145/1176887.1176907openalex-snapshot

A hierarchical coordination language for interacting real-time tasks

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/359545.359563openalex-snapshot

Time, clocks, and the ordering of events in a distributed system

inferredcites →https://doi.org/10.1145/3916.3988openalex-snapshot

Virtual time

inferredcites →https://doi.org/10.1145/844128.844143openalex-snapshot

Fine-grained network time synchronization using reference broadcasts

inferredcites →https://doi.org/10.1145/956981.956983openalex-snapshot

A brief history of NTP time

inferredcites →https://doi.org/10.2172/1049360openalex-snapshot

Theory Modeling and Simulation [Slides]

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/cpe.4850openalex-snapshot

A comprehensive survey on modeling of cyber‐physical systems

inferred← citeshttps://doi.org/10.1002/nem.1942openalex-snapshot

ReversePTP: A clock synchronization scheme for software‐defined networks

inferred← citeshttps://doi.org/10.1002/smr.2179openalex-snapshot

Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report

inferred← citeshttps://doi.org/10.1007/978-1-4614-7336-7_8openalex-snapshot

Axiomatic Design Theory for Cyber-Physical System

inferred← citeshttps://doi.org/10.1007/978-3-030-00151-3_2openalex-snapshot

Models of Timed Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-16722-6_22openalex-snapshot

A Data Flow Model with Frequency Arithmetic

inferred← citeshttps://doi.org/10.1007/978-3-030-41131-2_4openalex-snapshot

Reactors: A Deterministic Model for Composable Reactive Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-67445-8_3openalex-snapshot

Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-89159-6_15openalex-snapshot

Time for All Programs, Not Just Real-Time Programs

inferred← citeshttps://doi.org/10.1007/978-3-031-15077-7_2openalex-snapshot

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks

inferred← citeshttps://doi.org/10.1007/978-3-031-22337-2_8openalex-snapshot

Generalizing Logical Execution Time

inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_4openalex-snapshot

Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic

inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_16openalex-snapshot

Logical Time in Actor Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-22969-0_2openalex-snapshot

An Interface Theory for the Internet of Things

inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_13openalex-snapshot

Local Planning of Multiparty Interactions with Bounded Horizons

inferred← citeshttps://doi.org/10.1007/978-3-319-65840-7_4openalex-snapshot

Time, Frequency and Phase Synchronisation for Multimedia—Basics, Issues, Developments and Opportunities

inferred← citeshttps://doi.org/10.1007/978-3-540-87785-1_35openalex-snapshot

On Scalable Synchronization for Distributed Embedded Real-Time Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_37openalex-snapshot

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude

inferred← citeshttps://doi.org/10.1007/978-3-642-24349-3_5openalex-snapshot

The Logical Execution Time Paradigm

inferred← citeshttps://doi.org/10.1007/978-3-642-30561-0_7openalex-snapshot

An Object-Oriented Application Framework for the Development of Real-Time Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-31069-0_6openalex-snapshot

A Model for Time-Awareness

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-40229-6_13openalex-snapshot

On Fixed Points of Strictly Causal Functions

inferred← citeshttps://doi.org/10.1007/978-94-007-2169-2_113openalex-snapshot

A Real-Time System Development Method Based on Aspect-Oriented

inferred← citeshttps://doi.org/10.1007/978-981-10-8276-4_5openalex-snapshot

Time Delay Modeling for Energy Efficient Thermal Comfort Control System in Smart Home Environment

inferred← citeshttps://doi.org/10.1007/978-981-15-5830-6_1openalex-snapshot

Identification of Safety and Security Vulnerabilities in Cyber Physical Systems

inferred← citeshttps://doi.org/10.1007/978-981-33-4901-8_12openalex-snapshot

Using Deterministic Theatre for Energy Management in Smart Environments

inferred← citeshttps://doi.org/10.1007/s00450-021-00428-2openalex-snapshot

Automating integration under emergent constraints for embedded systems

inferred← citeshttps://doi.org/10.1007/s10009-020-00586-9openalex-snapshot

PolyGraph: a data flow model with frequency arithmetic

inferred← citeshttps://doi.org/10.1007/s11134-013-9386-2openalex-snapshot

Clock synchronization in symmetric stochastic networks

inferred← citeshttps://doi.org/10.1016/j.infsof.2014.09.009openalex-snapshot

Testing robot controllers using constraint programming and continuous integration

inferred← citeshttps://doi.org/10.1016/j.neucom.2017.10.009openalex-snapshot

A survey on security control and attack detection for industrial cyber-physical systems

inferred← citeshttps://doi.org/10.1016/j.scico.2010.10.002openalex-snapshot

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

inferred← citeshttps://doi.org/10.1016/j.tcs.2015.01.036openalex-snapshot

The fixed-point theory of strictly causal functions

inferred← citeshttps://doi.org/10.1017/cbp.2023.1openalex-snapshot

Time-Sensitive Software

inferred← citeshttps://doi.org/10.1109/access.2020.2976879openalex-snapshot

A Real-Time Naive Bayes Classifier Accelerator on FPGA

inferred← citeshttps://doi.org/10.1109/cpsna.2013.6614244openalex-snapshot

A tool integration approach for architectural exploration of aircraft electric power systems

inferred← citeshttps://doi.org/10.1109/ds-rt.2008.51openalex-snapshot

Simulation and Implementation of the PTIDES Programming Model

inferred← citeshttps://doi.org/10.1109/ds-rt.2015.35openalex-snapshot

Power Estimation of an ECDSA Core Applied in V2X Scenarios Using Heterogeneous Distributed Simulation

inferred← citeshttps://doi.org/10.1109/ds-rt55542.2022.9932069openalex-snapshot

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software

inferred← citeshttps://doi.org/10.1109/etfa.2008.4638528openalex-snapshot

A Java based tool for distributed control systems

inferred← citeshttps://doi.org/10.1109/fdl.2019.8876922openalex-snapshot

Deterministic Actors

inferred← citeshttps://doi.org/10.1109/fdl50818.2020.9232938openalex-snapshot

The Sparse Synchronous Model

inferred← citeshttps://doi.org/10.1109/fdl50818.2020.9232939openalex-snapshot

A Language for Deterministic Coordination Across Multiple Timelines

inferred← citeshttps://doi.org/10.1109/hcmdss-mdpnp.2007.30openalex-snapshot

Cyber-Physical System Software for HCMDSS

inferred← citeshttps://doi.org/10.1109/healthcom.2017.8210772openalex-snapshot

Analyzing chronological order reconstruction problem in cyber-physical systems

inferred← citeshttps://doi.org/10.1109/hpcc.2012.261openalex-snapshot

Study on Integrated Modeling Methods toward Co-simulation of Cyber-Physical System

inferred← citeshttps://doi.org/10.1109/icccyb.2010.5491313openalex-snapshot

A simulation framework for PSoC based Cyber Physical Systems

inferred← citeshttps://doi.org/10.1109/iccd.2009.5413177openalex-snapshot

A disruptive computer design idea: Architectures with repeatable timing

inferred← citeshttps://doi.org/10.1109/iccps.2012.15openalex-snapshot

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems

inferred← citeshttps://doi.org/10.1109/icdcsw.2009.108openalex-snapshot

The Case for Timing-Centric Distributed Software Invited Paper

inferred← citeshttps://doi.org/10.1109/icii.2018.00010openalex-snapshot

Deterministic Timing for the Industrial Internet of Things

inferred← citeshttps://doi.org/10.1109/icppw.2014.66openalex-snapshot

Hierarchical Programming Language for Modal Multi-rate Real-Time Stream Processing Applications

inferred← citeshttps://doi.org/10.1109/ict49546.2020.9239539openalex-snapshot

Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach

inferred← citeshttps://doi.org/10.1109/indin.2015.7281777openalex-snapshot

Challenges and opportunities when introducing cloud computing into embedded systems

inferred← citeshttps://doi.org/10.1109/indin.2015.7281916openalex-snapshot

Time-stamped event based execution semantics for industrial cyber-physical systems

inferred← citeshttps://doi.org/10.1109/isgteurope.2011.6162820openalex-snapshot

PTIDES model on a distributed testbed emulating smart grid real-time applications

inferred← citeshttps://doi.org/10.1109/isorc.2008.25openalex-snapshot

Cyber Physical Systems: Design Challenges

inferred← citeshttps://doi.org/10.1109/isorc61049.2024.10551373openalex-snapshot

Towards Lingua Franca on the Patmos Processor

inferred← citeshttps://doi.org/10.1109/isorcw.2010.19openalex-snapshot

Proposing a Hybrid Software Execution Environment for Distributed Embedded Systems

inferred← citeshttps://doi.org/10.1109/ispcs.2007.4383774openalex-snapshot

On Determinism in Event-Triggered Distributed Systems with Time Synchronization

inferred← citeshttps://doi.org/10.1109/ispcs.2013.6644761openalex-snapshot

Using Ptides and synchronized clocks to design distributed systems with deterministic system wide timing

inferred← citeshttps://doi.org/10.1109/ispcs.2015.7324674openalex-snapshot

Timing in cyber-physical systems: The last inch problem

inferred← citeshttps://doi.org/10.1109/jas.2017.7510349openalex-snapshot

Review on cyber-physical systems

inferred← citeshttps://doi.org/10.1109/jproc.2011.2160929openalex-snapshot

Modeling Cyber–Physical Systems

inferred← citeshttps://doi.org/10.1109/jproc.2011.2161237openalex-snapshot

Distributed Real-Time Software for Cyber–Physical Systems

inferred← citeshttps://doi.org/10.1109/jproc.2018.2812598openalex-snapshot

A Component Architecture for the Internet of Things

inferred← citeshttps://doi.org/10.1109/jproc.2018.2864271openalex-snapshot

Codesign Methodologies and Tools for Cyber–Physical Systems

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/memcod.2014.6961849openalex-snapshot

TESL: A language for reconciling heterogeneous execution traces

inferred← citeshttps://doi.org/10.1109/memcod.2016.7797751openalex-snapshot

Specification of precise timing in synchronous dataflow models

inferred← citeshttps://doi.org/10.1109/nsw.2011.6004658openalex-snapshot

Network latency and packet delay variation in cyber-physical systems

inferred← citeshttps://doi.org/10.1109/rage71062.2026.00008openalex-snapshot

INVITED: Distributed Time-Sensitive Systems: Extended Abstract

inferred← citeshttps://doi.org/10.1109/rtas.2008.22openalex-snapshot

Real-Time Distributed Discrete-Event Execution with Fault Tolerance

inferred← citeshttps://doi.org/10.1109/rtas.2009.39openalex-snapshot

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems

inferred← citeshttps://doi.org/10.1109/rtas.2012.28openalex-snapshot

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems

inferred← citeshttps://doi.org/10.1109/rtcsa.2010.43openalex-snapshot

Deploying Hard Real-Time Control Software on Chip-Multiprocessors

inferred← citeshttps://doi.org/10.1109/rtss.2007.14openalex-snapshot

Verifying Linear Real-Time Logic Specifications

inferred← citeshttps://doi.org/10.1109/rtss46320.2019.00067openalex-snapshot

Work-in-Progress: Real-Time Reactors in C

inferred← citeshttps://doi.org/10.1109/saci.2012.6250034openalex-snapshot

UML profile for Cyber-Physical System wireless communication specification

inferred← citeshttps://doi.org/10.1109/tsmc.2017.2736339openalex-snapshot

Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1145/1416729.1416789openalex-snapshot

Real time data consistency in component based embedded systems

inferred← citeshttps://doi.org/10.1145/1506409.1506426openalex-snapshot

Computing needs time

inferred← citeshttps://doi.org/10.1145/1542452.1542457openalex-snapshot

PTIDES on flexible task graph

inferred← citeshttps://doi.org/10.1145/1543136.1542457openalex-snapshot

PTIDES on flexible task graph

inferred← citeshttps://doi.org/10.1145/1721695.1721699openalex-snapshot

Feasibility of semiring-based timing constraints

inferred← citeshttps://doi.org/10.1145/1837274.1837462openalex-snapshot

CPS foundations

inferred← citeshttps://doi.org/10.1145/1878961.1879019openalex-snapshot

Modeling and analyzing real-time multiprocessor systems

inferred← citeshttps://doi.org/10.1145/1879021.1879034openalex-snapshot

Online robust optimization framework for QoS guarantees in distributed soft real-time systems

inferred← citeshttps://doi.org/10.1145/1879021.1879053openalex-snapshot

Model-based specification of timing requirements

inferred← citeshttps://doi.org/10.1145/2435227.2435231openalex-snapshot

Sequential specification of time-aware stream processing applications

inferred← citeshttps://doi.org/10.1145/2656075.2656093openalex-snapshot

Metronomy

inferred← citeshttps://doi.org/10.1145/2926964openalex-snapshot

Distributed Intelligent MEMS

inferred← citeshttps://doi.org/10.1145/2968478.2968489openalex-snapshot

A refinement theory for timed-dataflow analysis with support for reordering

inferred← citeshttps://doi.org/10.1145/3127041.3127054openalex-snapshot

Efficient realization of logical execution times in legacy embedded software

inferred← citeshttps://doi.org/10.1145/3316781.3323469openalex-snapshot

Actors Revisited for Time-Critical Systems

inferred← citeshttps://doi.org/10.1145/3358209openalex-snapshot

Quality/Latency-Aware Real-time Scheduling of Distributed Streaming IoT Applications

inferred← citeshttps://doi.org/10.1145/3448128openalex-snapshot

Toward a Lingua Franca for Deterministic Concurrent Systems

inferred← citeshttps://doi.org/10.1145/3453652openalex-snapshot

Determinism

inferred← citeshttps://doi.org/10.1145/3469263.3469858openalex-snapshot

Facilitating distributed data-flow programming with Eclipse Zenoh

inferred← citeshttps://doi.org/10.1145/3572920openalex-snapshot

The Sparse Synchronous Model on Real Hardware

inferred← citeshttps://doi.org/10.1145/3576914.3587494openalex-snapshot

Logical Time for Reactive Software

inferred← citeshttps://doi.org/10.1145/3576914.3587501openalex-snapshot

Reliable Event Detection Using Time-Synchronized IoT Platforms

inferred← citeshttps://doi.org/10.1145/3610579openalex-snapshot

Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design

inferred← citeshttps://doi.org/10.1145/3610579.3611084openalex-snapshot

Timestamp Peripherals for Precise Real-Time Programming

inferred← citeshttps://doi.org/10.1145/3610579.3613219openalex-snapshot

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1145/3611390openalex-snapshot

Support of MISRA C++ Analyzer for Reliability of Embedded Systems

inferred← citeshttps://doi.org/10.1145/3615357openalex-snapshot

Deterministic Coordination across Multiple Timelines

inferred← citeshttps://doi.org/10.1145/3767727openalex-snapshot

Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca

inferred← citeshttps://doi.org/10.13140/rg.2.1.2926.2880openalex-snapshot

A Simulation Tool Chain for Investigating Future V2X-based Automotive E/E Architectures

inferred← citeshttps://doi.org/10.14257/astl.2014.51.19openalex-snapshot

Real time synchronization for a small group of wireless sensor network system implemented with a DSP

inferred← citeshttps://doi.org/10.21236/ada518665openalex-snapshot

ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models

inferred← citeshttps://doi.org/10.21236/ada518830openalex-snapshot

PTIDES: A Programming Model for Distributed Real-Time Embedded Systems

inferred← citeshttps://doi.org/10.21236/ada538747openalex-snapshot

Time-Centric Models For Designing Embedded Cyber-physical Systems

inferred← citeshttps://doi.org/10.21236/ada538841openalex-snapshot

Addressing Modeling Challenges in Cyber-Physical Systems

inferred← citeshttps://doi.org/10.21236/ada587050openalex-snapshot

Deterministic Execution of Ptides Programs

inferred← citeshttps://doi.org/10.21236/ada603562openalex-snapshot

First Draft of the act Programming Language

inferred← citeshttps://doi.org/10.21236/ada603640openalex-snapshot

Generalized Ultrametric Semilattices of Linear Signals

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.21941/kcss/2024/1openalex-snapshot

Language Design for Reactive Systems

inferred← citeshttps://doi.org/10.23919/date48585.2020.9116430openalex-snapshot

Achieving Determinism in Adaptive AUTOSAR

inferred← citeshttps://doi.org/10.3390/math8071068openalex-snapshot

Verification of Cyberphysical Systems

inferred← citeshttps://doi.org/10.3390/s150304837openalex-snapshot

The Past, Present and Future of Cyber-Physical Systems: A Focus on Models

inferred← citeshttps://doi.org/10.34133/icomputing.0013openalex-snapshot

Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems

inferred← citeshttps://doi.org/10.4018/978-1-5225-7955-7.ch004openalex-snapshot

Distributed Computing for Internet of Things (IoT)

inferred← citeshttps://doi.org/10.4018/978-1-7998-5339-8.ch091openalex-snapshot

Distributed Computing for Internet of Things (IoT)

inferred← citeshttps://doi.org/10.4204/eptcs.333.10openalex-snapshot

A Compositional Sheaf-Theoretic Framework for Event-Based Systems

inferred← citeshttps://doi.org/10.4304/jcp.4.12.1309-1321openalex-snapshot

Enabling Component-Based Design for Embedded Real-Time Software

inferred← citeshttps://doi.org/10.48550/arxiv.1303.0031openalex-snapshot

Time Scales in Probabilistic Models of Wireless Sensor Networks

inferred← citeshttps://doi.org/10.48550/arxiv.2109.07771openalex-snapshot

Quantifying and Generalizing the CAP Theorem

inferred← citeshttps://doi.org/10.6028/nist.sp.1500-203openalex-snapshot

Framework for cyber-physical systems: volume 3, timing annex

inferred← citeshttps://doi.org/10.6028/nist.tn.1867openalex-snapshot

Time-Aware Applications, Computers, and Communication Systems (TAACCS)

inferred← citeshttps://doi.org/10.70675/30d91309ze1cdz4801zab1fz7e7cd534a455openalex-snapshot

Contribution à l'analyse, validation et développement de systèmes embarqués

inferred← citeshttps://doi.org/10.7146/ece.v3i21.21235openalex-snapshot

Enhanced Modelling and Efficient Realisation of Cyber- Physical Systems

inferred← citeshttps://doi.org/10.7916/d8vh5wtcopenalex-snapshot

Reconciling Repeatable Timing with Pipelining and Memory Hierarchy

inferred← citeshttps://doi.org/10.7936/k7ng4nvjopenalex-snapshot

Verification of Component-based Distributed Real-time Systems

inferred← citeshttps://doi.org/10.7936/k7s75djtopenalex-snapshot

Modeling Timed Component-Based 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.