On the public citation graph
Real-Time: Theory in Practice
0 signed · 340 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/bfb0032004openalex-snapshot
Coping with implementation dependencies in real-time system verification
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118558188.ch6openalex-snapshot
Tools for Model‐Checking Timed Systems
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.2000.3058openalex-snapshot
Language-based Performance Prediction for Distributed and Mobile 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/0-8176-4404-0_21openalex-snapshot
An Introduction to Hybrid Automata
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/11516798_3openalex-snapshot
Testing Mobile and Distributed Systems: Method and Experimentation
inferred← citeshttps://doi.org/10.1007/11557432_10openalex-snapshot
Computing Refactorings of Behavior Models
inferred← citeshttps://doi.org/10.1007/11560548_14openalex-snapshot
Real-Time Model Checking Is Really Simple
inferred← citeshttps://doi.org/10.1007/11603009_20openalex-snapshot
Is Timed Branching Bisimilarity an Equivalence Indeed?
inferred← citeshttps://doi.org/10.1007/11690634_15openalex-snapshot
On Metric Temporal Logic and Faulty Turing Machines
inferred← citeshttps://doi.org/10.1007/11755593_9openalex-snapshot
Temporal Logic-Based Specification and Verification of Trust Models
inferred← citeshttps://doi.org/10.1007/11768173_6openalex-snapshot
Constructing Property-Oriented Models for Verification
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-36190-1_8openalex-snapshot
Timed Verification of Asynchronous Circuits
inferred← citeshttps://doi.org/10.1007/3-540-44622-2_30openalex-snapshot
Completeness of Higher-Order Duration Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44667-2_11openalex-snapshot
General Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-44667-2_6openalex-snapshot
Verification of Randomized Distributed Algorithms
inferred← citeshttps://doi.org/10.1007/3-540-44743-1_12openalex-snapshot
Characterizing Timed Net Processes Categorically
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-45739-9_10openalex-snapshot
From the Specification to the Scheduling of Time-Dependent Systems
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-45828-x_1openalex-snapshot
Embedded Systems: Challenges in Specification and Verification
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-46002-0_35openalex-snapshot
Real-Time Systems Design with PEP
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_10openalex-snapshot
On Memory-Block Traversal Problems in Model-Checking Timed Systems
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-48068-4_11openalex-snapshot
Computing a Finite Prefix of a Time Petri Net
inferred← citeshttps://doi.org/10.1007/3-540-48092-7_9openalex-snapshot
On the Existence of Network Invariants for Verifying Parameterized Systems
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_20openalex-snapshot
Communication and synchronisation using interaction objects
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-48778-6_20openalex-snapshot
Modelling Timeouts without Timelocks
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_10openalex-snapshot
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
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-55092-5_32openalex-snapshot
Timed and Hybrid Statecharts and their textual representation
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-55719-9_103openalex-snapshot
What good are digital clocks?
inferred← citeshttps://doi.org/10.1007/3-540-56496-9_11openalex-snapshot
Verifying timed behavior automata with nonbinary delay constraints
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_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_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_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-57880-3_4openalex-snapshot
An asynchronous process algebra with multiple clocks
inferred← citeshttps://doi.org/10.1007/3-540-58043-3_23openalex-snapshot
Verification and specification of concurrent programs
inferred← citeshttps://doi.org/10.1007/3-540-58179-0_40openalex-snapshot
Real-time system verification using P/T nets
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-58201-0_58openalex-snapshot
On some relations between dynamical systems and transition systems
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_79openalex-snapshot
Reasoning about programs by exploiting the environment
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_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-59293-8_224openalex-snapshot
Describing a Signal Analyzer in the process algebra PMC — A case study
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_52openalex-snapshot
Local model checking for real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_66openalex-snapshot
Verification of real-time systems by successive over and under approximation
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_17openalex-snapshot
A compositional trace-based semantics for probabilistic automata
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-60922-9_22openalex-snapshot
On the power of non-observable actions in timed automata
inferred← citeshttps://doi.org/10.1007/3-540-60922-9_29openalex-snapshot
Compositional specification of timed 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-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_51openalex-snapshot
Graphical formalization of real-time requirements
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_26openalex-snapshot
Extending LOTOS with time: A true concurrency perspective
inferred← citeshttps://doi.org/10.1007/3-540-63141-0_6openalex-snapshot
Modularity for timed and hybrid systems
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/978-0-387-35198-8_3openalex-snapshot
Real-time TTCN for testing real-time and multimedia systems
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-2120-6_6openalex-snapshot
The ABP and the CABP — a Comparison of Performances in Real Time Process Algebra
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_2openalex-snapshot
Modal Logics in Timed Process Algebras
inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_2openalex-snapshot
Formal Semantics for Ward & Mellor’s Transformation Schemas
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_13openalex-snapshot
Case Study: A Digital and Analogue Watch
inferred← citeshttps://doi.org/10.1007/978-1-4613-9347-4_7openalex-snapshot
Modeling Real-Time Systems using Rate Automata
inferred← citeshttps://doi.org/10.1007/978-1-4615-2241-6_12openalex-snapshot
Compositional Markovian Modelling Using a Process Algebra
inferred← citeshttps://doi.org/10.1007/978-1-84882-258-0_15openalex-snapshot
Timed Systems 2: Discrete Timed CSP
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_17openalex-snapshot
Computing Bisimilarity Metrics for Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_14openalex-snapshot
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
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-319-01466-1_20openalex-snapshot
Supervisory Coordination of Timed Communicating Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_38openalex-snapshot
CELL: A Compositional Verification Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_7openalex-snapshot
An Automatic Technique for Checking the Simulation of Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07650-8_15openalex-snapshot
Communication Security Prognosis Realized as the Parallel Dynamic Auditing Intelligent System
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-10398-3_6openalex-snapshot
External Interactions on Hybrid Models of Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_8openalex-snapshot
Heterogeneous Timed Machines
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-11743-0_12openalex-snapshot
Verifying Hypermedia Applications by Using an MDE Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-12096-6_33openalex-snapshot
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems
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-19147-8_11openalex-snapshot
Some Issues on an Object-Oriented Programming Language for Physarum Machines
inferred← citeshttps://doi.org/10.1007/978-3-540-24611-4_6openalex-snapshot
Model Checking for Probabilistic Timed Systems
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-30080-9_3openalex-snapshot
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_4openalex-snapshot
Expressiveness of Timed Events and Timed Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_9openalex-snapshot
Embedded Software Analysis with MOTOR
inferred← citeshttps://doi.org/10.1007/978-3-540-30121-9_18openalex-snapshot
Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing
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-30206-3_15openalex-snapshot
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
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-30482-1_39openalex-snapshot
Timed Patterns: TCOZ to Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-39866-0_26openalex-snapshot
Open Maps and Trace Semantics for Timed Partial Order Models
inferred← citeshttps://doi.org/10.1007/978-3-540-39884-4_17openalex-snapshot
Testing Protocol Robustness
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_14openalex-snapshot
Adding Action Refinement to Stochastic True Concurrency Models
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-39979-7_23openalex-snapshot
Formal Design of Interactive Multimedia Documents
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-45236-2_19openalex-snapshot
A Semantic Foundation for TCOZ in Unifying Theories of Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-49382-2_23openalex-snapshot
Recursive Mean-Value Calculus
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-68894-5_8openalex-snapshot
Process Algebras in Systems Biology
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_11openalex-snapshot
TTCN-3 for distributed testing embedded systems
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_39openalex-snapshot
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_45openalex-snapshot
Foundations of a Compositional Interchange Format for Hybrid Systems
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-74964-6_3openalex-snapshot
A Theory of Duration Calculus with Application
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-75454-1_22openalex-snapshot
AMT: A Property-Based Monitoring Tool for Analog Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-77050-3_15openalex-snapshot
Probabilistic and Topological Semantics for Timed Automata
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-78624-5_5openalex-snapshot
Generating Macro-Temporality in Timed Transition Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-540-79980-1_21openalex-snapshot
Extending Timed Process Algebra with Discrete Stochastic Time
inferred← citeshttps://doi.org/10.1007/978-3-540-87563-5_4openalex-snapshot
On Mathematical Laws of Software
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_20openalex-snapshot
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
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-01924-1_14openalex-snapshot
Modeling AADL Data Communication with BIP
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-10238-7_2openalex-snapshot
Aspect-Oriented Formal Specification for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_1openalex-snapshot
A Bibliography of Willem-Paul de Roever
inferred← citeshttps://doi.org/10.1007/978-3-642-12029-9_12openalex-snapshot
Prescriptive Semantics for Big-Step Modelling Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-13754-9_15openalex-snapshot
What Is in a Step: New Perspectives on a Classical Question
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-15297-9_18openalex-snapshot
Layered Composition for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_15openalex-snapshot
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_37openalex-snapshot
Conditional Automata: A Tool for Safe Removal of Negligible Events
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-19811-3_4openalex-snapshot
rt-Inconsistency: A New Property for Real-Time Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_6openalex-snapshot
Semantic Quality Attributes for Big-Step Modelling Languages
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-22606-9_18openalex-snapshot
A Framework for Specification and Verification of Timeout Models of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_17openalex-snapshot
Performance Verification in Complex Enterprise-Level Component Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-29709-0_10openalex-snapshot
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
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-34005-5_10openalex-snapshot
Timed CTL Model Checking in Real-Time Maude
inferred← citeshttps://doi.org/10.1007/978-3-642-34691-0_10openalex-snapshot
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
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-39277-1_7openalex-snapshot
Model Checking C Programs with MSVL
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-40196-1_30openalex-snapshot
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_8openalex-snapshot
A Mechanized Semantic Framework for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40465-8_5openalex-snapshot
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
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-41175-5_7openalex-snapshot
Formal Evaluation Methodology of Educational Scenario in Distance Learning
inferred← citeshttps://doi.org/10.1007/978-3-642-41202-8_13openalex-snapshot
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction
inferred← citeshttps://doi.org/10.1007/978-3-642-41687-3_15openalex-snapshot
The System Conception of Investigation of the Communication Security Level in Networks
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-54848-2_12openalex-snapshot
The Unmet Challenge of Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59048-1_7openalex-snapshot
Timed Rewriting Logic for the Specification of Time-Sensitive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_10openalex-snapshot
Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-time Systems
inferred← citeshttps://doi.org/10.1007/978-3-7091-6815-8_11openalex-snapshot
Using TRIO Specifications to Generate Test Cases for an Interactive System
inferred← citeshttps://doi.org/10.1007/978-3-7091-9396-9_24openalex-snapshot
Specification and Verification of an Atomic Broadcast Protocol
inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_18openalex-snapshot
Interleaving Model and Verification of Distributed Probabilistic Real-time Systems
inferred← citeshttps://doi.org/10.1007/bf01088595openalex-snapshot
Compositional verification of a distributed real-time arbitration protocol
inferred← citeshttps://doi.org/10.1007/bf01088854openalex-snapshot
Formal specification and compositional verification of an atomic broadcast protocol
inferred← citeshttps://doi.org/10.1007/bf01211073openalex-snapshot
A comparison of simulation techniques and algebraic techniques for verifying concurrent systems
inferred← citeshttps://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferred← citeshttps://doi.org/10.1007/bf01211907openalex-snapshot
Action transducers and timed automata
inferred← citeshttps://doi.org/10.1007/bfb0014725openalex-snapshot
Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition
showing the first 200 of 339 · page through all 339
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.