On the public citation graph

From ATP to timed graphs and hybrid systems

https://doi.org/10.1007/bfb0032007

0 signed · 105 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.1994.1083openalex-snapshot

The Algebra of Timed Processes, ATP: Theory and Application

inferredcites →https://doi.org/10.1007/3-540-15670-4_19openalex-snapshot

The ESTEREL synchronous programming language and its mathematical semantics

inferredcites →https://doi.org/10.1007/3-540-54233-7_136openalex-snapshot

CCS + time = an interleaving model for real time systems

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

A temporal calculus of communicating systems

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

Real-time behaviour of asynchronous agents

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

Model-checking for 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.1002/9781118602638.ch4openalex-snapshot

Modeling Time

inferred← citeshttps://doi.org/10.1006/inco.1993.1024openalex-snapshot

Model-Checking in Dense Real-Time

inferred← citeshttps://doi.org/10.1006/inco.1994.1083openalex-snapshot

The Algebra of Timed Processes, ATP: Theory and Application

inferred← citeshttps://doi.org/10.1007/3-540-45828-x_1openalex-snapshot

Embedded Systems: Challenges in Specification and Verification

inferred← citeshttps://doi.org/10.1007/3-540-48320-9_16openalex-snapshot

Model Checking of Time Petri Nets Based on Partial Order Semantics

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

Modelling Timeouts without Timelocks

inferred← citeshttps://doi.org/10.1007/3-540-55179-4_36openalex-snapshot

An overview and synthesis on timed process algebras

inferred← citeshttps://doi.org/10.1007/3-540-55253-7_2openalex-snapshot

SIGNAL as a model for real-time and hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-56287-7_114openalex-snapshot

Real-time calculi and expansion theorems

inferred← citeshttps://doi.org/10.1007/3-540-56320-2_56openalex-snapshot

Time for concurrency

inferred← citeshttps://doi.org/10.1007/3-540-56496-9_24openalex-snapshot

Decidability of bisimulation equivalences for parallel timer processes

inferred← citeshttps://doi.org/10.1007/3-540-56596-5_47openalex-snapshot

Some issues in the semantics of facile distributed programming

inferred← citeshttps://doi.org/10.1007/3-540-56922-7_17openalex-snapshot

Reachability analysis of planar multi-linear systems

inferred← citeshttps://doi.org/10.1007/3-540-56922-7_21openalex-snapshot

Timed modal specification — Theory and tools

inferred← citeshttps://doi.org/10.1007/3-540-56922-7_29openalex-snapshot

Verifying quantitative real-time properties of synchronous programs

inferred← citeshttps://doi.org/10.1007/3-540-56922-7_35openalex-snapshot

Verifying timed behavior automata with input/output critical races

inferred← citeshttps://doi.org/10.1007/3-540-57182-5_61openalex-snapshot

Deciding testing equivalence for real-time processes with dense time

inferred← citeshttps://doi.org/10.1007/3-540-57318-6_24openalex-snapshot

Towards refining temporal specifications into hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-57318-6_28openalex-snapshot

An approach to the description and analysis of hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-57318-6_29openalex-snapshot

Integration Graphs: A class of decidable hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-57318-6_30openalex-snapshot

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-57318-6_31openalex-snapshot

Hybrid Systems: the SIGNAL approach

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

An asynchronous process algebra with multiple clocks

inferred← citeshttps://doi.org/10.1007/3-540-58027-1_8openalex-snapshot

Time abstracted bisimulation: Implicit specifications and decidability

inferred← citeshttps://doi.org/10.1007/3-540-58179-0_45openalex-snapshot

Using abstractions for the verification of linear hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_157openalex-snapshot

Hybrid verification by exploiting the environment

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_160openalex-snapshot

Development of hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_166openalex-snapshot

Verifying invariance properties of timed systems with duration variables

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_168openalex-snapshot

Designing and implementing correct real-time systems

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_177openalex-snapshot

Proving safety properties of hybrid systems

inferred← citeshttps://doi.org/10.1007/3-540-58468-4_186openalex-snapshot

Specification and transformation of reactive systems with time restrictions and concurrency

inferred← citeshttps://doi.org/10.1007/3-540-58715-2_129openalex-snapshot

Decidability of timed language-inclusion for networks of real-time communicating sequential processes

inferred← citeshttps://doi.org/10.1007/3-540-60084-1_103openalex-snapshot

Automatic synthesis of real time systems

inferred← citeshttps://doi.org/10.1007/3-540-60472-3_12openalex-snapshot

Programming in hybrid constraint languages

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

On the automatic verification of systems with continuous variables and unbounded discrete data structures

inferred← citeshttps://doi.org/10.1007/3-540-60922-9_22openalex-snapshot

On the power of non-observable actions in timed automata

inferred← citeshttps://doi.org/10.1007/3-540-61474-5_74openalex-snapshot

Selective quantitative analysis and interval model checking: Verifying different facets of a system

inferred← citeshttps://doi.org/10.1007/3-540-61648-9_54openalex-snapshot

Compositionality in real-time shared variable concurrency

inferred← citeshttps://doi.org/10.1007/3-540-63010-4_22openalex-snapshot

High-level execution time analysis

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

Verification of clocked and hybrid systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_3openalex-snapshot

Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications

inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_1openalex-snapshot

Real-Time Calculi and Expansion Theorems

inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_14openalex-snapshot

The Total Order Assumption

inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_23openalex-snapshot

Specification of Hybrid Systems in CRP

inferred← citeshttps://doi.org/10.1007/978-1-4471-3229-5_9openalex-snapshot

A Timed Specification Language for Concurrent Reactive Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_16openalex-snapshot

The Observational Power of Clocks

inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_23openalex-snapshot

Modeling and Analysis of Hybrid Control Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-85165-0_20openalex-snapshot

The Tick-Tock Case Study for the Assessment of Timed FDTs

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

Models for reactivity

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

Model-checking discrete duration calculus

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

Coalgebraic specifications and models of deterministic hybrid systems

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

Control synthesis for a class of hybrid systems subject to configuration-based safety constraints

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

Verifying clocked transition systems

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

Logics vs. automata: The hybrid case

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

Synthesis of minimally restrictive legal controllers for a class of hybrid systems

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

Logics and models of real time: A survey

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

Forward and backward simulations for timing-based systems

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

Prom timed to hybrid systems

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

An overview and synthesis on timed process algebras

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

Predicative specification of timed processes

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

Synchronizing clocked transition systems

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

Minimization of timed transition systems

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

Using CSP to verify a timed protocol over a fair medium

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

Action transducers and timed automata

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

Transformational design of real-time systems Part I: From requirements to program specifications

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

Verification of clocked and hybrid systems

inferred← citeshttps://doi.org/10.1016/0005-1098(96)00008-8openalex-snapshot

Impulsive-smooth behavior in multimode systems part I: State-space and polynomial representations

inferred← citeshttps://doi.org/10.1016/0020-0190(93)90197-hopenalex-snapshot

Congruent weak bisimulation with dense real-time

inferred← citeshttps://doi.org/10.1016/0304-3975(94)00149-dopenalex-snapshot

Constraint nets: a semantic model for hybrid dynamic systems

inferred← citeshttps://doi.org/10.1016/0304-3975(94)00205-wopenalex-snapshot

A theory of processes with durational actions

inferred← citeshttps://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot

A theory of timed automata

inferred← citeshttps://doi.org/10.1016/b978-0-444-89402-1.50025-4openalex-snapshot

An upward compatible timed extension to LOTOS

inferred← citeshttps://doi.org/10.1016/s0016-0032(96)00126-3openalex-snapshot

A theory of discontinuities in physical system models

inferred← citeshttps://doi.org/10.1016/s0303-2647(99)00087-8openalex-snapshot

A logic for biological systems

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

Object-oriented hybrid systems of coalgebras plus monoid actions

inferred← citeshttps://doi.org/10.1016/s1474-6670(17)38327-1openalex-snapshot

Modeling and Simulation Semantics for Hybrid Dynamic Physical Systems

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

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems

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

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

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

Modelling and analysis of broadcasting embedded control systems

inferred← citeshttps://doi.org/10.1080/00207540600988113openalex-snapshot

Modelling hybrid production systems through the ACD specification: a case study in the fibre-glass industry

inferred← citeshttps://doi.org/10.1080/09537280600683099openalex-snapshot

Linking hybrid systems to ACD models: a case study in the fibre-glass industry

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

Compiling real-time specifications into extended automata

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

Specifying and verifying requirements of real-time systems

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

Analysis of preemptive periodic real-time systems using the (max, plus) algebra with applications in robotics

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

Continuous Real Time Models in Practice

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

XTG-an engineering approach to modelling and analysis of real-time systems

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

Hybrid systems: the SIGNAL approach

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

Symbolic model checking for real-time systems

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

On model checking for real-time properties with durations

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

Automatic symbolic verification of embedded systems

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

Back to the future: towards a theory of timed regular languages

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

A verification system for interval-based specification languages

inferred← citeshttps://doi.org/10.14236/ewic/fa1996.16openalex-snapshot

Transformation of MTCCS into an Extension of Timed Automata

inferred← citeshttps://doi.org/10.3233/fi-1998-36233openalex-snapshot

Characterization of the Expressive Power of Silent Transitions in Timed Automata

inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot

Quantitative and Qualitative Extensions of Event Structures

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

Assessing and improving the quality of model transformations

inferred← citeshttps://doi.org/10.7146/brics.v1i45.21597openalex-snapshot

Automatic Synthesis of Real Time Systems

inferred← citeshttps://doi.org/10.7146/brics.v4i11.18802openalex-snapshot

Timed Modal Specification —Theory and Tools

inferred← citeshttps://doi.org/10.7146/brics.v5i4.19277openalex-snapshot

Timed Bisimulation and Open Maps

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.