On the public citation graph

Timing analysis in COSPAN

https://doi.org/10.1007/bfb0020948

0 signed · 92 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.1006/inco.1993.1024openalex-snapshot

Model-Checking in Dense Real-Time

inferredcites →https://doi.org/10.1006/inco.1994.1045openalex-snapshot

Symbolic Model Checking for Real-Time Systems

inferredcites →https://doi.org/10.1006/inco.1995.1059openalex-snapshot

Timing Verification by Successive Approximation

inferredcites →https://doi.org/10.1007/3-540-52148-8_17openalex-snapshot

Timing assumptions and verification of finite-state concurrent systems

inferredcites →https://doi.org/10.1007/3-540-52148-8_28openalex-snapshot

Combining CTL, trace theory and timing models

inferredcites →https://doi.org/10.1007/3-540-55719-9_103openalex-snapshot

What good are digital clocks?

inferredcites →https://doi.org/10.1007/3-540-56496-9_13openalex-snapshot

A verification strategy for timing constrained systems

inferredcites →https://doi.org/10.1007/3-540-60472-3_18openalex-snapshot

Verification of hybrid systems using abstractions

inferredcites →https://doi.org/10.1007/978-0-387-34878-0_17openalex-snapshot

Verifying ET-LOTOS programs with KRONOS

inferredcites →https://doi.org/10.1007/978-1-4615-3190-6openalex-snapshot

Symbolic Model Checking

inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot

The algorithmic analysis of hybrid systems

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

A theory of timed automata

inferredcites →https://doi.org/10.1016/0898-1221(95)90267-8openalex-snapshot

Computer-aided verification of coordinating processes: The automata-theoretic approach

inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50009-3openalex-snapshot

Automata on Infinite Objects

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

Modeling and verification of time dependent systems using time Petri nets

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

Compositional and symbolic model-checking of real-time systems

inferredcites →https://doi.org/10.1142/9789812831583_0007openalex-snapshot

Approximations for verifying timing properties

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

A really temporal logic

inferredcites →https://doi.org/10.1515/9781400864041openalex-snapshot

Computer-Aided Verification of Coordinating Processes

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-44585-4_16openalex-snapshot

Automatic Abstraction for Verification of Timed Circuits and Systems?

inferred← citeshttps://doi.org/10.1007/3-540-45022-x_66openalex-snapshot

On the Representation of Timed Polyhedra

inferred← citeshttps://doi.org/10.1007/3-540-46002-0_4openalex-snapshot

Digitisation and Full Abstraction for Dense-Time Model Checking

inferred← citeshttps://doi.org/10.1007/3-540-48153-2openalex-snapshot

Correct Hardware Design and Verification Methods

inferred← citeshttps://doi.org/10.1007/3-540-48153-2_11openalex-snapshot

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

inferred← citeshttps://doi.org/10.1007/3-540-48387-x_20openalex-snapshot

Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool

inferred← citeshttps://doi.org/10.1007/3-540-48683-6_3openalex-snapshot

Timed Automata

inferred← citeshttps://doi.org/10.1007/3-540-61604-7_75openalex-snapshot

Verifying abstractions of timed systems

inferred← citeshttps://doi.org/10.1007/3-540-63166-6_19openalex-snapshot

Some progress in the symbolic verification of timed automata

inferred← citeshttps://doi.org/10.1007/3-540-63166-6_20openalex-snapshot

STARI: A case study in compositional and hierarchical timing verification

inferred← citeshttps://doi.org/10.1007/3-540-63166-6_48openalex-snapshot

HyTech: A model checker for hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-65193-4_20openalex-snapshot

Model checking timed automata

inferred← citeshttps://doi.org/10.1007/978-3-319-32467-8_97openalex-snapshot

Designing Schedulers for Hard Real-Time Tasks

inferred← citeshttps://doi.org/10.1007/978-3-540-27793-4_4openalex-snapshot

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_1openalex-snapshot

Decision Problems for Timed Automata: A Survey

inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_8openalex-snapshot

Decomposing Verification of Timed I/O Automata

inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4openalex-snapshot

Modeling Time in Computing

inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_12openalex-snapshot

Timed Automata

inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_13openalex-snapshot

The Theory of Hybrid Automata

inferred← citeshttps://doi.org/10.1007/bfb0014722openalex-snapshot

Using HyTech to verify an automotive control System

inferred← citeshttps://doi.org/10.1007/bfb0028762openalex-snapshot

Verification of timed systems using POSETs

inferred← citeshttps://doi.org/10.1007/bfb0031561openalex-snapshot

Agent based velocity control of highway systems

inferred← citeshttps://doi.org/10.1007/bfb0031567openalex-snapshot

Towards continuous abstractions of dynamical and control systems

inferred← citeshttps://doi.org/10.1007/bfb0031568openalex-snapshot

A totally ordered set of discrete abstractions for a given hybrid or continuous system

inferred← citeshttps://doi.org/10.1007/bfb0055349openalex-snapshot

Dynamical properties of timed automata

inferred← citeshttps://doi.org/10.1007/bfb0055359openalex-snapshot

Discrete-time Promela and Spin

inferred← citeshttps://doi.org/10.1007/s100090050007openalex-snapshot

Real-time system = discrete system + clock variables

inferred← citeshttps://doi.org/10.1016/b0-12-227410-5/00668-2openalex-snapshot

Robotics, Hybrid Systems for

inferred← citeshttps://doi.org/10.1016/j.automatica.2004.01.012openalex-snapshot

On reachability and minimum cost optimal control

inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.093openalex-snapshot

Timed CSP: A Retrospective

inferred← citeshttps://doi.org/10.1016/s0097-8493(01)00153-4openalex-snapshot

Scalable nonlinear dynamical systems for agent steering and crowd simulation

inferred← citeshttps://doi.org/10.1016/s0167-6911(98)00037-1openalex-snapshot

Straightening out rectangular differential inclusions

inferred← citeshttps://doi.org/10.1016/s0167-6911(99)00061-4openalex-snapshot

Supervisory control of hybrid systems within a behavioural framework

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00088-8openalex-snapshot

Deductive verification of real-time systems using STeP

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00089-xopenalex-snapshot

PLC-automata: a new class of implementable real-time automata

inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00173-4openalex-snapshot

Event-clock automata: a determinizable class of timed automata

inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00134-6openalex-snapshot

Testing timed automata

inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00036-xopenalex-snapshot

Automated verification of an audio-control protocol using Uppaal

inferred← citeshttps://doi.org/10.1021/ie000573kopenalex-snapshot

Dynamic Modeling and Decentralized Control of Supply Chains

inferred← citeshttps://doi.org/10.1023/a:1008387132377openalex-snapshot

Dynamical Properties of Timed Automata

inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot

Modelling and analysis of broadcasting embedded control systems

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

Automatic symbolic verification of embedded systems

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

Model checking on timed-event structures

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

Timed circuit verification using TEL structures

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

Discrete abstractions of hybrid systems

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

Logics for hybrid systems

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

A visual toolset for the design of real-time discrete-event systems

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

Impulse differential inclusions: a viability approach to hybrid systems

inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9029452openalex-snapshot

Reachable Sets from Toy Models to Controlled Markovian Quantum Systems

inferred← citeshttps://doi.org/10.1109/cise.2009.5366263openalex-snapshot

Translation Methods from Timed Automata to Time Petri Nets

inferred← citeshttps://doi.org/10.1109/dac.1997.597154openalex-snapshot

Formal Verification In A Commercial Setting

inferred← citeshttps://doi.org/10.1109/iccsn.2011.6013779openalex-snapshot

A timed automata testing model for component-based embedded real-time software

inferred← citeshttps://doi.org/10.1109/icmtma.2010.82openalex-snapshot

Comparison of the Expressiveness of Time Petri Nets and Timed Automata

inferred← citeshttps://doi.org/10.1109/isspa.2012.6310654openalex-snapshot

A model-based framework for the design of a symbolic scheduler for pre-emptive real-time tasks

inferred← citeshttps://doi.org/10.1109/lics.1996.561342openalex-snapshot

The theory of hybrid automata

inferred← citeshttps://doi.org/10.1109/lics.2003.1210059openalex-snapshot

Revisiting digitization, robustness, and decidability for timed automata

inferred← citeshttps://doi.org/10.1109/real.1998.739751openalex-snapshot

Membership questions for timed and hybrid automata

inferred← citeshttps://doi.org/10.1109/tcad.2003.816214openalex-snapshot

Modular verification of timed circuits using automatic abstraction

inferred← citeshttps://doi.org/10.1109/tcns.2016.2603008openalex-snapshot

Formal Traffic Characterization of LTI Event-Triggered Control Systems

inferred← citeshttps://doi.org/10.1109/wsc.2003.1261512openalex-snapshot

From timed automata to DEVS models

inferred← citeshttps://doi.org/10.1142/s0218127404010886openalex-snapshot

BIFURCATION ANALYSIS OF DIFFERENTIAL-DIFFERENCE-ALGEBRAIC EQUATIONS

inferred← citeshttps://doi.org/10.1142/s1230161223500051openalex-snapshot

Exploring the Limits of Controlled Markovian Quantum Dynamics with Thermal Resources

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

Symmetry in temporal logic model checking

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

Using formal specifications to support testing

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

Modeling time in computing

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

Specification and analysis of access control policies for mobile applications

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

Model-checking of real-time systems

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

Formal verification in a commercial setting

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

Composition and refinement of discrete real-time systems

inferred← citeshttps://doi.org/10.1504/ijes.2006.014854openalex-snapshot

A survey of formal verification methods and tools for embedded and real-time systems

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

Verification of Timed Automata Using Rewrite Rules and Strategies

inferred← citeshttps://doi.org/10.5555/1030818.1030939openalex-snapshot

Simulation and verification II: from timed automata to DEVS models

inferred← citeshttps://doi.org/10.6100/ir549628openalex-snapshot

Enhancing state space reduction techniques for model checking

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.