On the public citation graph
Prom timed to hybrid systems
0 signed · 345 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/3-540-19020-1_17openalex-snapshot
Metric spaces as models for real-time concurrency
inferredcites →https://doi.org/10.1007/3-540-50302-1_4openalex-snapshot
Applications of temporal logic to the specification of real time systems
inferredcites →https://doi.org/10.1007/3-540-54415-1_49openalex-snapshot
What is in a step: On the semantics of statecharts
inferredcites →https://doi.org/10.1007/3-540-55092-5_32openalex-snapshot
Timed and Hybrid Statecharts and their textual representation
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/bf01178579openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0013024openalex-snapshot
The anchored version of the temporal framework
inferredcites →https://doi.org/10.1007/bfb0027047openalex-snapshot
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
inferredcites →https://doi.org/10.1007/bfb0031985openalex-snapshot
An old-fashioned recipe for real time
inferredcites →https://doi.org/10.1007/bfb0032007openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1016/0167-6423(83)90017-5openalex-snapshot
Using branching time temporal logic to synthesize synchronization skeletons
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0378-4754(83)90038-1openalex-snapshot
The correctness problem in computer science
inferredcites →https://doi.org/10.1109/lics.1990.113764openalex-snapshot
Real-time logics: complexity and expressiveness
inferredcites →https://doi.org/10.1109/lics.1990.113765openalex-snapshot
Explicit clock temporal logic
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1145/123041.123051openalex-snapshot
Specifying and verifying requirements of real-time systems
inferredcites →https://doi.org/10.1145/125083.123051openalex-snapshot
Specifying and verifying requirements of real-time systems
inferredcites →https://doi.org/10.1145/186025.186058openalex-snapshot
An old-fashioned recipe for real time
inferredcites →https://doi.org/10.1145/800221.806721openalex-snapshot
Real-time programming and asynchronous message passing
inferredcites →https://doi.org/10.1145/99583.99629openalex-snapshot
Temporal proof methodologies for real-time systems
inferredcites →https://doi.org/10.21236/ada106750openalex-snapshot
Verification of Concurrent Programs. Part I. The Temporal Framework,
inferredcites →https://doi.org/10.21236/ada238877openalex-snapshot
Derivation of Sequential, Real-Time, Process-Control Programs
inferredcites →https://doi.org/10.21236/ada323441openalex-snapshot
Real-Time Logics: Complexity and Expressiveness,
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.4902openalex-snapshot
A survey of real‐time capabilities in functional languages and compilers
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2016.00195.xopenalex-snapshot
Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study
inferred← citeshttps://doi.org/10.1002/rnc.2914openalex-snapshot
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
inferred← citeshttps://doi.org/10.1006/inco.1994.1060openalex-snapshot
Temporal Proof Methodologies for Timed Transition-Systems
inferred← citeshttps://doi.org/10.1006/inco.1997.2671openalex-snapshot
Liveness in Timed and Untimed Systems
inferred← citeshttps://doi.org/10.1007/0-8176-4404-0_21openalex-snapshot
An Introduction to Hybrid Automata
inferred← citeshttps://doi.org/10.1007/11730637_35openalex-snapshot
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/11867340_2openalex-snapshot
Concurrent Semantics Without the Notions of State or State Transitions
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_38openalex-snapshot
Masaccio: A Formal Model for Embedded Components
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_33openalex-snapshot
Hybrid I/O Automata Revisited
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_7openalex-snapshot
Compositional Refinement for Hierarchical Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45352-0_21openalex-snapshot
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
inferred← citeshttps://doi.org/10.1007/3-540-45449-7_2openalex-snapshot
Hierarchical Hybrid Modeling of Embedded Systems
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_30openalex-snapshot
The d/dt Tool for Verification of Hybrid Systems
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-46430-1_5openalex-snapshot
Modular Specification of Hybrid Systems in Charon
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_13openalex-snapshot
Time-Deterministic Hybrid Transition Systems
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_14openalex-snapshot
On fault-tolerant symbolic computations
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_103openalex-snapshot
What good are digital clocks?
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_19openalex-snapshot
Verification of timing properties of VHDL
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_23openalex-snapshot
Verification of real-time systems using PVS
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-57209-0_22openalex-snapshot
Integration of structured analysis and timed statecharts for real-time and concurrency specification
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_23openalex-snapshot
An extended duration calculus for hybrid real-time systems
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_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_35openalex-snapshot
Models for hybrid systems: Automata, topologies, controllability, observability
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_39openalex-snapshot
On formal support for industrial-scale requirements analysis
inferred← citeshttps://doi.org/10.1007/3-540-57529-4_52openalex-snapshot
A real-time interval logic and its decision procedure
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-58179-0_46openalex-snapshot
Decidability of hybrid systems with rectangular differential inclusions
inferred← citeshttps://doi.org/10.1007/3-540-58179-0_48openalex-snapshot
Verification of context-free timed systems using linear hybrid observers
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_58openalex-snapshot
On some relations between dynamical systems and transition 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_165openalex-snapshot
Verification of an audio control protocol
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_180openalex-snapshot
Reasoning about durations in Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_185openalex-snapshot
From physical modelling to compositional models of hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_192openalex-snapshot
A calculus for hybrid sampled data systems
inferred← citeshttps://doi.org/10.1007/3-540-58485-4_43openalex-snapshot
Verification of linear hybrid systems by means of convex approximations
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_60openalex-snapshot
Verification in continuous time by discrete reasoning
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_51openalex-snapshot
From duration calculus to linear hybrid automata
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_68openalex-snapshot
Verifying ω-regular properties for a subclass of linear hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_21openalex-snapshot
Reachability analysis at procedure level through timing coincidence
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_20openalex-snapshot
Hybrid control of a robot — a case study
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-60973-3_114openalex-snapshot
Procedure-level verification of real-time concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_48openalex-snapshot
Models for concurrent constraint programming
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_34openalex-snapshot
Retiming techniques for Statecharts
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_3openalex-snapshot
Deductive verification of real-time systems using STeP
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_37openalex-snapshot
A logic for the specification of continuous systems
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_44openalex-snapshot
Formal verification of safety-critical hybrid systems
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-3431-2_6openalex-snapshot
Real-Time and Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-1-4612-0325-4_20openalex-snapshot
Multiple Agent Autonomous Control A Hybrid Systems Architecture
inferred← citeshttps://doi.org/10.1007/978-3-030-28042-0_2openalex-snapshot
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler
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-031-06773-0_6openalex-snapshot
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
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-66064-1_6openalex-snapshot
Provable Determinism for Software in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-73751-0_12openalex-snapshot
Reminiscences of a Real-Time Researcher
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_9openalex-snapshot
Verify Engineering Models, Not Scientific Models
inferred← citeshttps://doi.org/10.1007/978-3-319-10398-3_6openalex-snapshot
External Interactions on Hybrid Models of Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_30openalex-snapshot
Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10702-8_2openalex-snapshot
Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface
inferred← citeshttps://doi.org/10.1007/978-3-319-13206-8_4openalex-snapshot
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-14806-9_7openalex-snapshot
A Formal Model for a Hybrid Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-319-22975-1_5openalex-snapshot
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
inferred← citeshttps://doi.org/10.1007/978-3-319-47063-4_11openalex-snapshot
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
inferred← citeshttps://doi.org/10.1007/978-3-319-51046-0_7openalex-snapshot
A Hybrid Relational Modelling Language
inferred← citeshttps://doi.org/10.1007/978-3-319-66845-1_1openalex-snapshot
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-95246-8_16openalex-snapshot
If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models
inferred← citeshttps://doi.org/10.1007/978-3-322-94703-1_16openalex-snapshot
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification
inferred← citeshttps://doi.org/10.1007/978-3-540-24743-2_27openalex-snapshot
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_22openalex-snapshot
Structured Modeling of Concurrent Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_2openalex-snapshot
Integrating Variants of DC
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_2openalex-snapshot
Operational Semantics of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_22openalex-snapshot
Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO
inferred← citeshttps://doi.org/10.1007/978-3-540-70930-5_4openalex-snapshot
Generating Sound and Resource-Aware Code from Hybrid Systems Models
inferred← citeshttps://doi.org/10.1007/978-3-540-75454-1_22openalex-snapshot
AMT: A Property-Based Monitoring Tool for Analog Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-00596-1_15openalex-snapshot
Interrupt Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_17openalex-snapshot
Requirements Validation for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16277-0_1openalex-snapshot
1 Models of Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39718-9_2openalex-snapshot
A Clock-Based Framework for Construction of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39721-9_5openalex-snapshot
Formal Modelling, Analysis and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_17openalex-snapshot
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
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-3-642-59615-5_13openalex-snapshot
The Theory of Hybrid Automata
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-662-54577-5_32openalex-snapshot
Rigorous Simulation-Based Analysis of Linear Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-7091-9288-7_4openalex-snapshot
Timed Statecharts and Real Time Logic
inferred← citeshttps://doi.org/10.1007/bf00360339openalex-snapshot
Specification and verification of reactive system behaviour: The Railroad Crossing example
inferred← citeshttps://doi.org/10.1007/bf01384233openalex-snapshot
Constructing the real numbers in HOL
inferred← citeshttps://doi.org/10.1007/bf02551330openalex-snapshot
The complementary-slackness class of hybrid systems
inferred← citeshttps://doi.org/10.1007/bf02745518openalex-snapshot
A real-time interval logic and its decision procedure
inferred← citeshttps://doi.org/10.1007/bfb0014723openalex-snapshot
Safety verification for automated platoon maneuvers: A case study
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/bfb0020940openalex-snapshot
Abstract verification of structured dynamical systems
inferred← citeshttps://doi.org/10.1007/bfb0020973openalex-snapshot
Logics vs. automata: The hybrid case
inferred← citeshttps://doi.org/10.1007/bfb0020978openalex-snapshot
Specification and verification of hybrid dynamic systems with Timed ∀-automata
inferred← citeshttps://doi.org/10.1007/bfb0023456openalex-snapshot
Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
inferred← citeshttps://doi.org/10.1007/bfb0031553openalex-snapshot
A toolbox for proving and maintaining hybrid specifications
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/bfb0053571openalex-snapshot
Mode-automata: About modes and states for reactive systems
inferred← citeshttps://doi.org/10.1007/bfb0084790openalex-snapshot
How vital is liveness? Verifying timing properties of reactive and hybrid systems
inferred← citeshttps://doi.org/10.1007/pl00020897openalex-snapshot
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
inferred← citeshttps://doi.org/10.1007/s00165-004-0035-8openalex-snapshot
Completeness of a combination of neighbourhood logic and temporal logic
inferred← citeshttps://doi.org/10.1007/s00165-020-00510-7openalex-snapshot
André Platzer: Logical foundationsof cyber-physical systems
inferred← citeshttps://doi.org/10.1007/s002360050177openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1007/s100090050006openalex-snapshot
Continuous modeling of real-time and hybrid systems: from concepts to tools
inferred← citeshttps://doi.org/10.1007/s100090050007openalex-snapshot
Real-time system = discrete system + clock variables
inferred← citeshttps://doi.org/10.1007/s10270-017-0633-6openalex-snapshot
Hybrid co-simulation: it’s about time
inferred← citeshttps://doi.org/10.1007/s10472-006-9035-0openalex-snapshot
A formal mathematical framework for modeling probabilistic hybrid systems
inferred← citeshttps://doi.org/10.1007/s10626-009-0082-7openalex-snapshot
Discrete Semantics for Hybrid Automata
inferred← citeshttps://doi.org/10.1007/s10703-009-0085-xopenalex-snapshot
Analog property checkers: a DDR2 case study
inferred← citeshttps://doi.org/10.1007/s10703-011-0140-2openalex-snapshot
Interrupt Timed Automata: verification and expressiveness
inferred← citeshttps://doi.org/10.1007/s11036-015-0671-7openalex-snapshot
SMT-Based Symbolic Encoding and Formal Analysis of HML Models
inferred← citeshttps://doi.org/10.1007/s11241-016-9262-3openalex-snapshot
Timed-automata abstraction of switched dynamical systems using control invariants
inferred← citeshttps://doi.org/10.1016/0005-1098(94)00115-yopenalex-snapshot
Trajectory encoding for systems with irregular observations
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/0096-0551(96)00001-xopenalex-snapshot
An executable specification language for fast prototyping parallel responsive systems
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90045-lopenalex-snapshot
Formal methods for the specification and design of real-time safety critical systems
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)00151-8openalex-snapshot
Metric temporal logic with durations
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00228-bopenalex-snapshot
Reachability analysis of dynamical systems having piecewise-constant derivatives
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90029-9openalex-snapshot
On the effects of noise and speed on computations
inferred← citeshttps://doi.org/10.1016/1383-7621(96)00024-0openalex-snapshot
A fast prototype tool for parallel reactive systems
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2005.09.003openalex-snapshot
A new algorithm to develop hybrid systems
inferred← citeshttps://doi.org/10.1016/j.ic.2008.09.001openalex-snapshot
Inclusion dynamics hybrid automata
inferred← citeshttps://doi.org/10.1016/j.ic.2015.06.006openalex-snapshot
HRELTL: A temporal logic for hybrid systems
inferred← citeshttps://doi.org/10.1016/j.ic.2019.104502openalex-snapshot
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.08.115openalex-snapshot
The Application of the Hybrid Digital Twin for Time Characteristic Assessment of the Control System
inferred← citeshttps://doi.org/10.1016/j.ins.2004.07.012openalex-snapshot
Theorem of abstraction for equivalent controllers in hybrid systems
inferred← citeshttps://doi.org/10.1016/j.jcss.2011.08.009openalex-snapshot
Non-standard semantics of hybrid systems modelers
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.10.004openalex-snapshot
Compositional modeling and refinement for hierarchical hybrid systems
inferred← citeshttps://doi.org/10.1016/j.na.2006.02.048openalex-snapshot
Toward unified analysis and controller synthesis for a class of hybrid systems
inferred← citeshttps://doi.org/10.1016/j.pmcj.2015.07.008openalex-snapshot
Modeling and checking for Cyber–Physical System based on hybrid interface automata
inferred← citeshttps://doi.org/10.1016/j.sbspro.2013.08.278openalex-snapshot
The Analysis of Traffic Control Cyber-physical Systems
inferred← citeshttps://doi.org/10.1016/j.scico.2015.11.002openalex-snapshot
Assertion-based monitoring in practice – Checking correctness of an automotive sensor interface
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.08.044openalex-snapshot
CPO semantics of timed interactive actor networks
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.07.031openalex-snapshot
A game-theoretic approach to fault diagnosis and identification of hybrid systems
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.1016/j.tcs.2015.02.045openalex-snapshot
Unwinding biological systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(97)00006-3openalex-snapshot
Computing with continuous change
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/s0950-5849(99)00037-3openalex-snapshot
A framework for the specification of test cases for real-time distributed systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44893-2openalex-snapshot
A Superdense Duration Semantics for Hybrid Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)46360-9openalex-snapshot
From the Synchronous Approach to Hybrid Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00044-1openalex-snapshot
Specifying Real-Time Systems in Rewriting Logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)81046-6openalex-snapshot
Testing and Monitoring Model-based Generated Program
inferred← citeshttps://doi.org/10.1023/a:1005268205001openalex-snapshot
Educational Reform through an Ethic of Performativity: Introducing the Special Issue
inferred← citeshttps://doi.org/10.1023/a:1008008003332openalex-snapshot
Procedure-Level Verification of Real-time Concurrent 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:1008678014487openalex-snapshot
Verification of Real-Time Systems using Linear Relation Analysis
inferred← citeshttps://doi.org/10.1023/a:1018902408324openalex-snapshot
Elements underlying the specification of requirements
inferred← citeshttps://doi.org/10.1049/ip-sen:20000460openalex-snapshot
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems
inferred← citeshttps://doi.org/10.1049/sej.1993.0025openalex-snapshot
Safety-critical systems, formal methods and standards
inferred← citeshttps://doi.org/10.1098/rsif.2008.0546openalex-snapshot
Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology
inferred← citeshttps://doi.org/10.1109/32.210306openalex-snapshot
Specifying and verifying requirements of real-time systems
inferred← citeshttps://doi.org/10.1109/32.489079openalex-snapshot
Automatic symbolic verification of embedded systems
inferred← citeshttps://doi.org/10.1109/32.935853openalex-snapshot
Simulation-verification: biting at the state explosion problem
inferred← citeshttps://doi.org/10.1109/5.871302openalex-snapshot
High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)
inferred← citeshttps://doi.org/10.1109/5.871306openalex-snapshot
Effective synthesis of switching controllers for linear systems
inferred← citeshttps://doi.org/10.1109/acc.2001.945772openalex-snapshot
Communication and control of distributed hybrid systems
inferred← citeshttps://doi.org/10.1109/access.2014.2345759openalex-snapshot
Constructive Models of Discrete and Continuous Physical Phenomena
inferred← citeshttps://doi.org/10.1109/aim.2010.5695836openalex-snapshot
A formal framework for component-based embedded systems
inferred← citeshttps://doi.org/10.1109/apeie.2016.7806500openalex-snapshot
Specification of electric power systems in ISMA simulation environment
inferred← citeshttps://doi.org/10.1109/cadiag.2017.8075636openalex-snapshot
Modeling a system with hybrid automata and multi —models
inferred← citeshttps://doi.org/10.1109/cadiag.2017.8075674openalex-snapshot
New approach of diagnosis with hybrid automata
inferred← citeshttps://doi.org/10.1109/cdc.1997.650719openalex-snapshot
Viability of controllers for hybrid machines
inferred← citeshttps://doi.org/10.1109/cdc.2002.1184191openalex-snapshot
Analysis of Zeno behaviors in hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428739openalex-snapshot
Improving reachability analysis of hybrid automata for engine control
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582234openalex-snapshot
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
inferred← citeshttps://doi.org/10.1109/cmpsac.2003.1245390openalex-snapshot
Deductive schedulability verification methodology of real-time software using both refinement verification and hybrid automata
inferred← citeshttps://doi.org/10.1109/cnsi.2011.51openalex-snapshot
Hybrid Interface Automata for Component Interfaces
inferred← citeshttps://doi.org/10.1109/date.2011.5763168openalex-snapshot
Component-based design for the future
inferred← citeshttps://doi.org/10.1109/dsd.2012.87openalex-snapshot
Model Checking on Hybrid Automata
inferred← citeshttps://doi.org/10.1109/edm55285.2022.9855163openalex-snapshot
Computer-Aided Analysis of Hybrid Dynamical Systems in the ISMA Environment
inferred← citeshttps://doi.org/10.1109/emrts.1999.777455openalex-snapshot
Splitting reachability analysis in hybrid automata
showing the first 200 of 317 · page through all 317
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.