On the public citation graph
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software
0 signed · 88 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-3-642-22110-1_30openalex-snapshot
SpaceEx: Scalable Verification of Hybrid Systems
inferredcites →https://doi.org/10.1007/s10009-012-0257-7openalex-snapshot
Component-based system design: analytic real-time interfaces for state-based component implementations
inferredcites →https://doi.org/10.1007/s10617-010-9055-1openalex-snapshot
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
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.1023/b:time.0000045315.61234.1eopenalex-snapshot
Real Time Scheduling Theory: A Historical Perspective
inferredcites →https://doi.org/10.1109/cdc.2002.1184698openalex-snapshot
JITTERBUG: a tool for analysis of real-time control performance
inferredcites →https://doi.org/10.1109/date.2012.6176523openalex-snapshot
Formal analysis of sporadic overload in real-time systems
inferredcites →https://doi.org/10.1109/jproc.2002.805825openalex-snapshot
Giotto: a time-triggered language for embedded programming
inferredcites →https://doi.org/10.1109/jproc.2006.887306openalex-snapshot
Foundations of Control and Estimation Over Lossy Networks
inferredcites →https://doi.org/10.1109/mcs.2003.1200240openalex-snapshot
How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime
inferredcites →https://doi.org/10.1109/real.1990.128748openalex-snapshot
Fixed priority scheduling of periodic task sets with arbitrary deadlines
inferredcites →https://doi.org/10.1109/rtas.2008.13openalex-snapshot
Regular Specifications of Resource Requirements for Embedded Control Software
inferredcites →https://doi.org/10.1145/1629335.1629351openalex-snapshot
Analytic real-time analysis and timed automata
inferredcites →https://doi.org/10.1145/2228360.2228484openalex-snapshot
A hybrid approach to cyber-physical systems verification
inferredcites →https://doi.org/10.1145/2461328.2461361openalex-snapshot
Flowpipe approximation and clustering in space-time
inferredcites →https://doi.org/10.1145/2502524.2502540openalex-snapshot
Cyber-physical system design contracts
inferredcites →https://doi.org/10.1145/321738.321743openalex-snapshot
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.23919/ecc.2013.6669815openalex-snapshot
Modular, hierarchical models of control systems in SpaceEx
inferredcites →https://doi.org/10.3182/20140824-6-za-1003.01213openalex-snapshot
On the stabilizability of continuous-time systems over a packet based communication system with loss and delay
inferredcites →https://doi.org/10.5555/2492708.2492836openalex-snapshot
Formal analysis of sporadic overload in real-time systems
inferredcites →https://doi.org/10.7873/date.2013.163openalex-snapshot
Formal Analysis of Sporadic Bursts in Real-Time Systems
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-030-00244-2_19openalex-snapshot
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools
inferred← citeshttps://doi.org/10.1007/978-3-030-00244-2_2openalex-snapshot
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_26openalex-snapshot
SAW: A Tool for Safety Analysis of Weakly-Hard Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_28openalex-snapshot
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_7openalex-snapshot
Checking Scheduling-Induced Violations of Control Safety Properties
inferred← citeshttps://doi.org/10.1007/978-3-319-19458-5_4openalex-snapshot
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
inferred← citeshttps://doi.org/10.1007/978-3-319-48003-9_7openalex-snapshot
Verification of Systems in Physical Contexts
inferred← citeshttps://doi.org/10.1007/978-3-319-54292-8_7openalex-snapshot
Falsification of Dynamical Systems – An Industrial Perspective
inferred← citeshttps://doi.org/10.1007/978-94-017-7267-9_24openalex-snapshot
CPA: Compositional Performance Analysis
inferred← citeshttps://doi.org/10.1007/978-94-017-7358-4_24-2openalex-snapshot
CPA – Compositional Performance Analysis
inferred← citeshttps://doi.org/10.1016/j.future.2018.03.050openalex-snapshot
Sensor attack detection using history based pairwise inconsistency
inferred← citeshttps://doi.org/10.1016/j.sysarc.2021.102150openalex-snapshot
Global emergency-based job-level scheduling for weakly-hard real-time systems
inferred← citeshttps://doi.org/10.1016/j.sysconle.2022.105142openalex-snapshot
ROTEC: Robust to early termination command governor for systems with limited computing capacity
inferred← citeshttps://doi.org/10.1109/apsec.2015.41openalex-snapshot
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow
inferred← citeshttps://doi.org/10.1109/cdc.2015.7403397openalex-snapshot
Computing maximizer trajectories of affine dynamics for reachability
inferred← citeshttps://doi.org/10.1109/dac18072.2020.9218742openalex-snapshot
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems
inferred← citeshttps://doi.org/10.1109/dsd.2018.00062openalex-snapshot
Stability Verification of Self-Timed Control Systems Using Model-Checking
inferred← citeshttps://doi.org/10.1109/dsd.2019.00090openalex-snapshot
Model-Based Processor-in-the-Loop Framework for Composable Multi-core Platforms
inferred← citeshttps://doi.org/10.1109/ecrts.2015.29openalex-snapshot
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis
inferred← citeshttps://doi.org/10.1109/emsoft.2015.7318258openalex-snapshot
Reachability of hybrid systems in space-time
inferred← citeshttps://doi.org/10.1109/etfa.2016.7733563openalex-snapshot
Zero-time communication for automotive multi-core systems under SPP scheduling
inferred← citeshttps://doi.org/10.1109/etfa.2018.8502621openalex-snapshot
Weakly-Hard Real-Time Guarantees for Weighted Round-Robin Scheduling of Real-Time Messages
inferred← citeshttps://doi.org/10.1109/iccd46524.2019.00035openalex-snapshot
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.1109/iccve45908.2019.8965169openalex-snapshot
Empirical Testing of Automotive Cyber-Physical Systems with Credible Software-in-the-Loop Environments
inferred← citeshttps://doi.org/10.1109/jiot.2021.3058215openalex-snapshot
Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach
inferred← citeshttps://doi.org/10.1109/jsyst.2015.2496293openalex-snapshot
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/mdat.2017.2746638openalex-snapshot
Exploiting Execution Dynamics in Timing Analysis Using Job Sequences
inferred← citeshttps://doi.org/10.1109/rtas.2019.00028openalex-snapshot
Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1109/rtas54340.2022.00010openalex-snapshot
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems
inferred← citeshttps://doi.org/10.1109/rtas65571.2025.00031openalex-snapshot
Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies
inferred← citeshttps://doi.org/10.1109/rtss.2015.12openalex-snapshot
Co-design of Anytime Computation and Robust Control
inferred← citeshttps://doi.org/10.1109/rtss.2015.28openalex-snapshot
Analyzing Real Time Linear Control Systems Using Software Verification
inferred← citeshttps://doi.org/10.1109/rtss.2018.00039openalex-snapshot
A Generic Coq Proof of Typical Worst-Case Analysis
inferred← citeshttps://doi.org/10.1109/tcad.2022.3199146openalex-snapshot
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
inferred← citeshttps://doi.org/10.1109/tcst.2020.2979388openalex-snapshot
Anytime Computation and Control for Autonomous Systems
inferred← citeshttps://doi.org/10.1109/tsipn.2025.3594015openalex-snapshot
Geometric Methods for Resilient Aggregation and Safe Point Computation in Adversarial Multiagent Networks With Imprecise Data
inferred← citeshttps://doi.org/10.1109/vlsid60093.2024.00052openalex-snapshot
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties
inferred← citeshttps://doi.org/10.1145/2735960.2735984openalex-snapshot
Sensor attack detection in the presence of transient faults
inferred← citeshttps://doi.org/10.1145/2744769.2747947openalex-snapshot
Timing-aware control software design for automotive systems
inferred← citeshttps://doi.org/10.1145/2834848.2834850openalex-snapshot
Mixed criticality systems with weakly-hard constraints
inferred← citeshttps://doi.org/10.1145/2834848.2834860openalex-snapshot
Worst-case performance validation of safety-critical control systems with dropped samples
inferred← citeshttps://doi.org/10.1145/3064809openalex-snapshot
Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults
inferred← citeshttps://doi.org/10.1145/3126497openalex-snapshot
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks
inferred← citeshttps://doi.org/10.1145/3264888.3264889openalex-snapshot
Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control
inferred← citeshttps://doi.org/10.1145/3302504.3311811openalex-snapshot
Formal verification of weakly-hard systems
inferred← citeshttps://doi.org/10.1145/3313151.3313165openalex-snapshot
Exploring weakly-hard paradigm for networked systems
inferred← citeshttps://doi.org/10.1145/3400302.3415717openalex-snapshot
Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees
inferred← citeshttps://doi.org/10.1145/3404888openalex-snapshot
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks
inferred← citeshttps://doi.org/10.1145/3477031openalex-snapshot
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping
inferred← citeshttps://doi.org/10.1145/3576046openalex-snapshot
Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification
inferred← citeshttps://doi.org/10.1145/3716550.3722035openalex-snapshot
Repairing Control Safety Violations via Scheduler Patch Synthesis
inferred← citeshttps://doi.org/10.22028/d291-47711openalex-snapshot
Stability of Linear Systems Under Extended Weakly-Hard Constraints
inferred← citeshttps://doi.org/10.23919/acc.2018.8431324openalex-snapshot
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
inferred← citeshttps://doi.org/10.23919/date51398.2021.9474012openalex-snapshot
Timing Debugging for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.29007/x87popenalex-snapshot
Verifying Properties of an Electro-Mechanical Braking System
inferred← citeshttps://doi.org/10.3390/designs3010010openalex-snapshot
A Lazy Bailout Approach for Dual-Criticality Systems on Uniprocessor Platforms
inferred← citeshttps://doi.org/10.3390/s23104652openalex-snapshot
Weakly Hard Real-Time Model for Control Systems: A Survey
inferred← citeshttps://doi.org/10.3990/1.9789036551991openalex-snapshot
Modeling and analysis of sampled-data cyber-physical systems: using hybrid automata with clocked linear dynamics
inferred← citeshttps://doi.org/10.46565/jreas.2018.v03i03.007openalex-snapshot
COUPLING TEMPORAL CONSTRAINTS WITHREQUIREMENTS ANALYSIS INCYBER-PHYSICAL SYSTEMS
inferred← citeshttps://doi.org/10.5555/2830865.2830870openalex-snapshot
Reachability of hybrid systems in space-time
inferred← citeshttps://doi.org/10.5753/sast.2024.3883openalex-snapshot
A Rapid Review on Advanced Software-in-the-Loop Methods for Automotive Software Verification
inferred← citeshttps://doi.org/10.70675/43adeeecz02d3z4c27zab4ez0373161078a9openalex-snapshot
Certified Tools for Schedulability Analyses
inferred← citeshttps://doi.org/10.70675/bf8d6638z66d4z454azadbaz31d14c6d7723openalex-snapshot
Guaranteed properties of dynamical systems under perturbations
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.