On the public citation graph
Logics and models of real time: A survey
0 signed · 522 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-16047-7_50openalex-snapshot
Examples of a real-time temporal logic specification
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-51285-3_56openalex-snapshot
A temporal-logic based compositional proof system for real-time message passing
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-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/bf01667079openalex-snapshot
Time-dependent distributed systems: proving safety, liveness and real-time properties
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
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/bfb0032007openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1007/bfb0036932openalex-snapshot
Proving precedence properties: The temporal way
inferredcites →https://doi.org/10.1016/0020-0190(92)90005-gopenalex-snapshot
Sooner is safer than later
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/b978-0-444-88074-1.50009-3openalex-snapshot
Automata on Infinite Objects
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1016/s0019-9958(83)80051-5openalex-snapshot
Temporal logic can be more expressive
inferredcites →https://doi.org/10.1109/jcit.1990.128356openalex-snapshot
An interleaving model for real-time
inferredcites →https://doi.org/10.1109/lics.1990.113763openalex-snapshot
A logic of concrete time intervals
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.1109/tse.1981.231111openalex-snapshot
Real-Time Behavior of Programs
inferredcites →https://doi.org/10.1145/1067627.806585openalex-snapshot
Proving real-time properties of programs with temporal logic
inferredcites →https://doi.org/10.1145/112600.112613openalex-snapshot
The benefits of relaxing punctuality
inferredcites →https://doi.org/10.1145/360248.360251openalex-snapshot
Formal verification of parallel programs
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1145/567446.567462openalex-snapshot
On the temporal analysis of fairness
inferredcites →https://doi.org/10.1145/567532.567551openalex-snapshot
The temporal logic of branching time
inferredcites →https://doi.org/10.1145/800017.800516openalex-snapshot
Temporal verification of carrier-sense local area network protocols
inferredcites →https://doi.org/10.1145/800216.806585openalex-snapshot
Proving real-time properties of programs with temporal logic
inferredcites →https://doi.org/10.1145/800221.806721openalex-snapshot
Real-time programming and asynchronous message passing
inferredcites →https://doi.org/10.1145/93385.93428openalex-snapshot
Using mappings to prove timing properties
inferredcites →https://doi.org/10.1145/93385.93429openalex-snapshot
Half-order modal logic: how to prove real-time properties
inferredcites →https://doi.org/10.1145/99583.99629openalex-snapshot
Temporal proof methodologies for real-time systems
inferredcites →https://doi.org/10.21236/ada326062openalex-snapshot
An Interleaving Model for Real Time,
inferredcites →https://doi.org/10.2307/2316720openalex-snapshot
Theory of Recursive Functions and Effective Computability.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1520-684x(199702)28:2<11::aid-scj2>3.0.co;2-uopenalex-snapshot
A method for the specification and verification of distributed systems by a timed automaton
inferred← citeshttps://doi.org/10.1002/1520-684x(200012)31:14<47::aid-scj6>3.0.co;2-qopenalex-snapshot
Descriptions of timing in requirements for reactive systems
inferred← citeshttps://doi.org/10.1002/malq.200310096openalex-snapshot
An infinitary variant of Metric Temporal Logic over dense time domains
inferred← citeshttps://doi.org/10.1002/stvr.1622openalex-snapshot
A simplification of a real‐time verification problem
inferred← citeshttps://doi.org/10.1006/inco.1993.1024openalex-snapshot
Model-Checking in Dense Real-Time
inferred← citeshttps://doi.org/10.1006/inco.1993.1025openalex-snapshot
Real-Time Logics: Complexity and Expressiveness
inferred← citeshttps://doi.org/10.1006/inco.1994.1060openalex-snapshot
Temporal Proof Methodologies for Timed Transition-Systems
inferred← citeshttps://doi.org/10.1006/jvlc.2001.0214openalex-snapshot
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic
inferred← citeshttps://doi.org/10.1007/1-4020-4223-x_6openalex-snapshot
Formal Methods for Specifying and Analyzing Complex Software Systems
inferred← citeshttps://doi.org/10.1007/10720123_8openalex-snapshot
Patterns for Embedded Systems Design
inferred← citeshttps://doi.org/10.1007/11505877_24openalex-snapshot
On Timed Automata with Discrete Time – Structural and Language Theoretical Characterization
inferred← citeshttps://doi.org/10.1007/11535294_2openalex-snapshot
Timed Equivalences for Timed Event Structures
inferred← citeshttps://doi.org/10.1007/11539452_12openalex-snapshot
A New Modality for Almost Everywhere Properties in Timed Automata
inferred← citeshttps://doi.org/10.1007/11590156_35openalex-snapshot
On the Expressiveness of TPTL and MTL
inferred← citeshttps://doi.org/10.1007/11603009_2openalex-snapshot
Real Time Temporal Logic: Past, Present, Future
inferred← citeshttps://doi.org/10.1007/11690634_15openalex-snapshot
On Metric Temporal Logic and Faulty Turing Machines
inferred← citeshttps://doi.org/10.1007/11753728_23openalex-snapshot
Expressiveness of Metric Modalities for Continuous Time
inferred← citeshttps://doi.org/10.1007/11821069_43openalex-snapshot
An Expressive Temporal Logic for Real Time
inferred← citeshttps://doi.org/10.1007/11901914_26openalex-snapshot
Timed Temporal Logics for Abstracting Transient States
inferred← citeshttps://doi.org/10.1007/3-540-45023-8_46openalex-snapshot
Formal Modeling of Dynamic Environments for Real-Time Agents
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_1openalex-snapshot
Model Checking: A Tutorial Overview
inferred← citeshttps://doi.org/10.1007/3-540-45575-2_21openalex-snapshot
Observational Semantics for Timed Event Structures
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_13openalex-snapshot
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-45740-2_8openalex-snapshot
Condensed State Spaces for Timed Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-45931-6_19openalex-snapshot
On Model Checking Durational Kripke Structures
inferred← citeshttps://doi.org/10.1007/3-540-46002-0_21openalex-snapshot
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_30openalex-snapshot
Hybrid Systems Verification by Location Elimination
inferred← citeshttps://doi.org/10.1007/3-540-46691-6_5openalex-snapshot
Product Interval Automata: A Subclass of Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-47853-1_6openalex-snapshot
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_18openalex-snapshot
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
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-48224-5_2openalex-snapshot
Automata, Circuits, and Hybrids: Facets of Continuous Time
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_4openalex-snapshot
Automata and their interaction: Definitional suggestions
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_39openalex-snapshot
A Framework for Decidable Metrical Logics
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-56496-9_2openalex-snapshot
Modular abstractions for verifying real-time distributed systems
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-57318-6_24openalex-snapshot
Towards refining temporal specifications into hybrid systems
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-58043-3_19openalex-snapshot
Verification tools for finite-state concurrent 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-58468-4_170openalex-snapshot
Activation-oriented specification of real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_173openalex-snapshot
Verification methods for the divergent runs of clock 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_191openalex-snapshot
Specifying timed state sequences in powerful decidable logics and timed automata
inferred← citeshttps://doi.org/10.1007/3-540-58759-4_33openalex-snapshot
A formal description technique supporting expression of quality of service and media synchronization
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-60084-1_93openalex-snapshot
The expressive power of clocks
inferred← citeshttps://doi.org/10.1007/3-540-60222-4_111openalex-snapshot
COVERS — A tool for the design of real-time concurrent 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-61377-3_52openalex-snapshot
Some extensions to propositional mean-value calculus: Expressiveness and decidability
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_73openalex-snapshot
A space-efficient on-the-fly algorithm for real-time model checking
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_39openalex-snapshot
Weak chop inverses and liveness in Mean-Value Calculus
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_12openalex-snapshot
Formal specification and verification method of concurrent and distributed systems by restricted timed automata
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-63533-5_10openalex-snapshot
Reconciling real-time with asynchronous message passing
inferred← citeshttps://doi.org/10.1007/3-540-65193-4_18openalex-snapshot
Verification of clocked and 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-0-387-21798-7_16openalex-snapshot
Automated verification using deduction, exploration, and abstraction
inferred← citeshttps://doi.org/10.1007/978-0-387-34867-4_7openalex-snapshot
Protocol Conformance Test Case Verification Using Timed-Transitions
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_2openalex-snapshot
Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_3openalex-snapshot
A temporal reachability analysis
inferred← citeshttps://doi.org/10.1007/978-0-85729-277-3_7openalex-snapshot
Extended Finite State Machine
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-4614-3879-3_1openalex-snapshot
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_25openalex-snapshot
Formal Verification of the Sequential Part of PLC Programs
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5openalex-snapshot
Logics for Databases and Information Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_3openalex-snapshot
Temporal Logic in Information Systems
inferred← citeshttps://doi.org/10.1007/978-1-4757-3281-8_17openalex-snapshot
A mixed event-value based specification model for reactive systems
inferred← citeshttps://doi.org/10.1007/978-3-030-00151-3_4openalex-snapshot
Monitoring Temporal Logic with Clock Variables
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_25openalex-snapshot
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-31784-3_23openalex-snapshot
Reactive Synthesis of Graphical User Interface Glue Code
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_6openalex-snapshot
Stream-Based Monitors for Real-Time Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-48006-6_16openalex-snapshot
The Expressive Power of Temporal and First-Order Metric Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_9openalex-snapshot
Runtime Verification of Autonomous Driving Systems in CARLA
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_5openalex-snapshot
On the Specification and Monitoring of Timed Normative Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_14openalex-snapshot
On the Complexity of Verification of Time-Sensitive Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-35257-7_6openalex-snapshot
Verifying Refinement of Probabilistic Contracts Using Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-032-22752-2_24openalex-snapshot
MightyPPL: Model Checking MITL with Past and Pnueli Modalities
inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_2openalex-snapshot
A Compositional Monitoring Framework for Hard Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_9openalex-snapshot
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_20openalex-snapshot
On Unary Fragments of MTL and TPTL over Timed Words
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_4openalex-snapshot
Scalable Offline Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-319-23820-3_11openalex-snapshot
Monitoring for a Decidable Fragment of MTL- $$\int $$
inferred← citeshttps://doi.org/10.1007/978-3-319-25252-0_22openalex-snapshot
Model Checking Based Query and Retrieval in OpenStreetMap
inferred← citeshttps://doi.org/10.1007/978-3-319-44878-7_14openalex-snapshot
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-63387-9_18openalex-snapshot
Runtime Verification of Temporal Properties over Out-of-Order Data Streams
inferred← citeshttps://doi.org/10.1007/978-3-319-94764-8_6openalex-snapshot
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_9openalex-snapshot
The Compound Interest in Relaxing Punctuality
inferred← citeshttps://doi.org/10.1007/978-3-540-24756-2_21openalex-snapshot
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
inferred← citeshttps://doi.org/10.1007/978-3-540-25938-1_4openalex-snapshot
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_25openalex-snapshot
Model Checking Timed Automata with One or Two Clocks
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_12openalex-snapshot
Monitoring Temporal Properties of Continuous Signals
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_30openalex-snapshot
An Algebraic Approach for Codesign
inferred← citeshttps://doi.org/10.1007/978-3-540-39979-7_21openalex-snapshot
QoS Functional Testing for Multi-media Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-40018-9_21openalex-snapshot
Translating a Continuous-Time Temporal Logic into Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-70583-3_11openalex-snapshot
On Expressiveness and Complexity in Real-Time Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-73940-1_4openalex-snapshot
A Categorical Observation of Timed Testing Equivalence
inferred← citeshttps://doi.org/10.1007/978-3-540-74835-9_25openalex-snapshot
Obligations and Their Interaction with Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-75454-1_13openalex-snapshot
On the Expressiveness of MTL Variants over Dense Time
inferred← citeshttps://doi.org/10.1007/978-3-540-78127-1_26openalex-snapshot
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5openalex-snapshot
Formal Modeling and Analysis of Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_1openalex-snapshot
Some Recent Results in Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_11openalex-snapshot
On Scheduling Policies for Streams of Structured Jobs
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_8openalex-snapshot
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_19openalex-snapshot
Practical Automated Partial Verification of Multi-paradigm Real-Time Models
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_11openalex-snapshot
An Object-Oriented Component Model for Heterogeneous Nets
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-04081-8_33openalex-snapshot
Time-Bounded Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_12openalex-snapshot
Realizability of Real-Time Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-13089-2_45openalex-snapshot
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
inferred← citeshttps://doi.org/10.1007/978-3-642-14162-1_3openalex-snapshot
Towards a Theory of Time-Bounded Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_1openalex-snapshot
Policy Monitoring in First-Order Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-15297-9_13openalex-snapshot
From Mtl to Deterministic Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-15297-9_14openalex-snapshot
Unambiguity in Timed Regular Languages: Automata and Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-22256-6_23openalex-snapshot
Distributed Event Clock Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_12openalex-snapshot
Crossing the Bridge between Similar Games
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_16openalex-snapshot
On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections
inferred← citeshttps://doi.org/10.1007/978-3-642-28641-4_17openalex-snapshot
Enforceable Security Policies Revisited
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_20openalex-snapshot
Algorithms for Monitoring Real-Time Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-31915-0_7openalex-snapshot
MAS: Qualitative and Quantitative Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_3openalex-snapshot
Dimensions of the Time Modeling Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_7openalex-snapshot
Synchronous Abstract Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-33386-6openalex-snapshot
Automated Technology for Verification and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-34005-5_10openalex-snapshot
Timed CTL Model Checking in Real-Time Maude
inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_9openalex-snapshot
Agent-Time Epistemics and Coordination
inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_10openalex-snapshot
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_17openalex-snapshot
A Timed Component Algebra for Services
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-40846-5_45openalex-snapshot
Template-Based Synthesis of Plan Execution Monitors
inferred← citeshttps://doi.org/10.1007/978-3-642-45221-5_22openalex-snapshot
Verifying Temporal Properties in Real Models
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-88049-0_10openalex-snapshot
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-45391-9_41openalex-snapshot
Formal Modeling and Analysis of Home Care Plans
inferred← citeshttps://doi.org/10.1007/978-3-7091-6355-9_1openalex-snapshot
Formal Methods and Tools: Introduction and Overview
inferred← citeshttps://doi.org/10.1007/978-94-007-0002-4_1openalex-snapshot
Introduction to Hybrid Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_3openalex-snapshot
Compositional Verification of Timed Statecharts
inferred← citeshttps://doi.org/10.1007/bf01088621openalex-snapshot
Monitoring distributed real-time systems
inferred← citeshttps://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferred← citeshttps://doi.org/10.1007/bf01383942openalex-snapshot
Modular abstractions for verifying real-time distributed systems
inferred← citeshttps://doi.org/10.1007/bf02717181openalex-snapshot
Efficient algorithms for approximate time separation of events
inferred← citeshttps://doi.org/10.1007/bf03005246openalex-snapshot
Modeling and analysis of temporal constraints in communication protocols
inferred← citeshttps://doi.org/10.1007/bfb0014711openalex-snapshot
State clock logic: A decidable real-time logic
inferred← citeshttps://doi.org/10.1007/bfb0020933openalex-snapshot
Verifying clocked transition systems
inferred← citeshttps://doi.org/10.1007/bfb0030596openalex-snapshot
Generalized quantitative temporal reasoning: An automata-theoretic approach
inferred← citeshttps://doi.org/10.1007/bfb0035387openalex-snapshot
Real-time logics: Fictitious clock as an abstraction of dense time
inferred← citeshttps://doi.org/10.1007/bfb0036081openalex-snapshot
Embedded system design and hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0053504openalex-snapshot
Design and evaluation of a visual formalism for real time logics
inferred← citeshttps://doi.org/10.1007/bfb0055335openalex-snapshot
A finite-domain semantics for testing temporal logic specifications
inferred← citeshttps://doi.org/10.1007/bfb0055336openalex-snapshot
Duration Calculus of Weakly Monotonic Time
inferred← citeshttps://doi.org/10.1007/bfb0055337openalex-snapshot
Reuse in requirements engineering: Discovery and application of a real-time requirement pattern
inferred← citeshttps://doi.org/10.1007/bfb0055640openalex-snapshot
It's about time: Real-time logics reviewed
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/s00165-006-0021-4openalex-snapshot
An engineering process for the verification of real-time systems
inferred← citeshttps://doi.org/10.1007/s00236-015-0243-0openalex-snapshot
Metric temporal logic revisited
inferred← citeshttps://doi.org/10.1007/s00236-017-0295-4openalex-snapshot
Algorithms for monitoring real-time properties
inferred← citeshttps://doi.org/10.1007/s002360050177openalex-snapshot
Verification of clocked and hybrid systems
inferred← citeshttps://doi.org/10.1007/s00521-024-10365-1openalex-snapshot
A Monadic Second-Order Temporal Logic framework for hypergraphs
inferred← citeshttps://doi.org/10.1007/s10009-005-0210-0openalex-snapshot
On a time enriched OCL liveness template
inferred← citeshttps://doi.org/10.1007/s10009-010-0156-8openalex-snapshot
Oris: a tool for modeling, verification and evaluation of real-time systems
inferred← citeshttps://doi.org/10.1007/s10009-014-0312-7openalex-snapshot
Model-checking fair dense-time systems with propositions and events
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/s10207-019-00483-6openalex-snapshot
A language and a pattern system for temporal property specification: advanced metering infrastructure case study
inferred← citeshttps://doi.org/10.1007/s10270-007-0076-6openalex-snapshot
Use Case Maps as a property specification language
inferred← citeshttps://doi.org/10.1007/s10472-010-9223-9openalex-snapshot
Where logic and agents meet
inferred← citeshttps://doi.org/10.1007/s10664-012-9232-xopenalex-snapshot
An empirical study of control logic specifications for programmable logic controllers
inferred← citeshttps://doi.org/10.1007/s10703-016-0242-yopenalex-snapshot
Scalable offline monitoring of temporal specifications
inferred← citeshttps://doi.org/10.1007/s10845-011-0556-yopenalex-snapshot
RETRACTED ARTICLE: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks
inferred← citeshttps://doi.org/10.1007/s10845-013-0807-1openalex-snapshot
Retraction Note: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks
inferred← citeshttps://doi.org/10.1007/s10849-010-9127-4openalex-snapshot
Timed Modal Logics for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/s10990-007-9001-5openalex-snapshot
Semantics and pragmatics of Real-Time Maude
inferred← citeshttps://doi.org/10.1007/s11241-010-9103-8openalex-snapshot
SetExp: a method of transformation of timed automata into finite state automata
inferred← citeshttps://doi.org/10.1007/s11704-013-2195-2openalex-snapshot
A survey on temporal logics for specifying and verifying real-time systems
inferred← citeshttps://doi.org/10.1007/s12652-013-0209-4openalex-snapshot
Design-time formal verification for smart environments: an exploratory perspective
inferred← citeshttps://doi.org/10.1016/0020-0190(92)90005-gopenalex-snapshot
Sooner is safer than later
inferred← citeshttps://doi.org/10.1016/0140-3664(96)81596-9openalex-snapshot
Formal description of distributed multimedia systems: an assessment of potential techniques
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)00151-8openalex-snapshot
Metric temporal logic with durations
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90193-7openalex-snapshot
Refinement of events in the development of real-time distributed systems
inferred← citeshttps://doi.org/10.1016/0951-8320(94)90065-5openalex-snapshot
Critical system properties: survey and taxonomy
inferred← citeshttps://doi.org/10.1016/j.compind.2009.09.004openalex-snapshot
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems
inferred← citeshttps://doi.org/10.1016/j.csi.2008.03.027openalex-snapshot
Extending fieldbus standards to food processing and packaging industry: A review
showing the first 200 of 477 · page through all 477
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.