scientific article; zbMATH DE number 176728
From MaRDI portal
Publication:4036557
Recommendations
Cited in
(only showing first 100 items - show all)- Stochastic model checking of the stochastic quality calculus
- Using mappings to prove timing properties
- Model-checking in dense real-time
- Checking timed Büchi automata emptiness efficiently
- Model checking probabilistic systems
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
- Model-checking timed temporal logics
- A survey of timed automata for the development of real-time systems
- Validation of Stochastic Systems
- scientific article; zbMATH DE number 2090712 (Why is no real title available?)
- Minimum and maximum delay problems in real-time systems
- Verifying temporal properties in real models
- Correct Hardware Design and Verification Methods
- A note on the attractor-property of infinite-state Markov chains
- Verification of continuous dynamical systems by timed automata
- Stochastic model checking
- Model Checking Real-Time Systems
- Symbolic model checking for real-time systems
- A logic for reasoning about time and reliability
- scientific article; zbMATH DE number 177509 (Why is no real title available?)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Undecidable verification problems for programs with unreliable channels
- Temporal logics for the specification of performance and reliability
- Strict Divergence for Probabilistic Timed Automata
- Temporal specifications with accumulative values
- Tools and Algorithms for the Construction and Analysis of Systems
- From ATP to timed graphs and hybrid systems
- A new model for model checking: cycle-weighted Kripke structure
- Model checking probabilistic real-time properties for service-oriented systems with service level agreements
- Deciding properties of integral relational automata
- Modular abstractions for verifying real-time distributed systems
- Specification and automatic verification of self-timed queues
- Duration calculus: Logical foundations
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- Time-Bounded Verification
- On the expressivity and complexity of quantitative branching-time temporal logics
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Local model checking and protocol analysis
- Model-checking for real-time systems
- On the verification of qualitative properties of probabilistic processes under fairness constraints.
- Model Checking Software
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- Automatic synthesis of real time systems
- VERICS 2007 -- a model checker for knowledgee and real-time
- Extending CTL with Actions and Real Time
- Monitoring Temporal Properties of Stochastic Systems
- Model Checking Temporal Metric Specifications with Trio2Promela
- Foundations of Software Science and Computational Structures
- Network invariants for real-time systems
- Algebraic Methodology and Software Technology
- Symbolic model checking for probabilistic processes
- Efficient timed model checking for discrete-time systems
- Probabilistic and Topological Semantics for Timed Automata
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Model-checking discrete duration calculus
- A theory of stochastic systems. I: Stochastic automata
- Model checking of systems with many identical timed processes
- Formal Modeling and Analysis of Timed Systems
- Ensuring completeness of symbolic verification methods for infinite-state systems
- Automatic verification of real-time systems with discrete probability distributions.
- scientific article; zbMATH DE number 1956586 (Why is no real title available?)
- Language emptiness of continuous-time parametric timed automata
- On the expressiveness of TPTL and MTL
- An iterative approach to verification of real-time systems
- Uniformity for the decidability of hybrid automata
- Model checking for probabilistic timed automata
- A theory of timed automata
- Model checking of probabilistic and nondeterministic systems
- On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions
- PLC-automata: A new class of implementable real-time automata
- Verifying automata specification of distributed probabilistic real-time systems
- Statistical probabilistic model checking with a focus on time-bounded properties
- Information system design of manufacturing environments
- Accuracy of message counting abstraction in fault-tolerant distributed algorithms
- On impulsive boundary value problems of fractional differential equations with irregular boundary conditions
- Exact acceleration of real-time model checking
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- Model checking functional and performability properties of stochastic fluid models
- scientific article; zbMATH DE number 2165695 (Why is no real title available?)
- Performance evaluation of schedulers in a probabilistic setting
- On a class of timer hybrid systems reducible to finite state automata
- scientific article; zbMATH DE number 1444738 (Why is no real title available?)
- Games, Time, and Probability: Graph Models for System Design and Analysis
- Model checking real-time systems within unified approach of timed interval temporal logic
- Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.
- Model checking conformance with scenario-based specifications .
- Cyber-physical systems
- Calculating Probabilities of Real-Time Test Cases
- Verification of duration systems using an approximation approach
- Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic
- Minimum and maximum delay problems in realtime systems
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
- Hybrid Systems: Computation and Control
- A maximal entropy stochastic process for a timed automaton
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
- Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete
- Correctness of efficient real-time model checking
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
- Superposition as a decision procedure for timed automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036557)
