scientific article; zbMATH DE number 176728
From MaRDI portal
Publication:4036557
Recommendations
Cited in
(only showing first 100 items - show all)- A note on the attractor-property of infinite-state Markov chains
- Using mappings to prove timing properties
- Verifying automata specification of distributed probabilistic real-time systems
- Information system design of manufacturing environments
- A theory of timed automata
- From ATP to timed graphs and hybrid systems
- Symbolic model checking for real-time systems
- A logic for reasoning about time and reliability
- An iterative approach to verification of real-time systems
- Model-checking discrete duration calculus
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
- Duration calculus: Logical foundations
- On the expressivity and complexity of quantitative branching-time temporal logics
- Verification of duration systems using an approximation approach
- PLC-automata: A new class of implementable real-time automata
- Automatic verification of real-time systems with discrete probability distributions.
- Cyber-physical systems
- On a class of timer hybrid systems reducible to finite state automata
- Model checking of systems with many identical timed processes
- Local model checking and protocol analysis
- Comparing model checking and logical reasoning for real-time systems
- Superposition as a decision procedure for timed automata
- Model checking for probabilistic timed automata
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- On the expressiveness of TPTL and MTL
- A maximal entropy stochastic process for a timed automaton
- Efficient timed model checking for discrete-time systems
- Statistical probabilistic model checking with a focus on time-bounded properties
- Probabilistic temporal logics via the modal mu-calculus
- A theory of stochastic systems. I: Stochastic automata
- On the verification of qualitative properties of probabilistic processes under fairness constraints.
- Correctness of efficient real-time model checking
- scientific article; zbMATH DE number 1696823 (Why is no real title available?)
- On-the-fly model checking for extended action-based probabilistic operators
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
- Exact acceleration of real-time model checking
- An integrated approach for the specification and analysis of stochastic real-time systems
- Network invariants for real-time systems
- Model checking functional and performability properties of stochastic fluid models
- Verifying temporal properties in real models
- On verification of linear occurrence properties of real-time systems
- Temporal specifications with accumulative values
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Model checking of probabilistic and nondeterministic systems
- Accuracy of message counting abstraction in fault-tolerant distributed algorithms
- Stochastic model checking
- Fixed-delay events in generalized semi-Markov processes revisited
- Extending CTL with Actions and Real Time
- Performance evaluation of schedulers in a probabilistic setting
- Model checking probabilistic systems
- Model Checking Real-Time Systems
- Time-Bounded Verification
- Strict Divergence for Probabilistic Timed Automata
- Calculating Probabilities of Real-Time Test Cases
- Language emptiness of continuous-time parametric timed automata
- Model Checking Temporal Metric Specifications with Trio2Promela
- A new model for model checking: cycle-weighted Kripke structure
- Faster SPDL Model Checking Through Property-Driven State Space Generation
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 177509 (Why is no real title available?)
- scientific article; zbMATH DE number 1222578 (Why is no real title available?)
- scientific article; zbMATH DE number 1107563 (Why is no real title available?)
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
- scientific article; zbMATH DE number 1956586 (Why is no real title available?)
- scientific article; zbMATH DE number 1487479 (Why is no real title available?)
- scientific article; zbMATH DE number 1507207 (Why is no real title available?)
- scientific article; zbMATH DE number 1744972 (Why is no real title available?)
- Symbolic model checking for probabilistic processes
- Deciding properties of integral relational automata
- Undecidable verification problems for programs with unreliable channels
- Automatic synthesis of real time systems
- scientific article; zbMATH DE number 2165695 (Why is no real title available?)
- scientific article; zbMATH DE number 2090522 (Why is no real title available?)
- scientific article; zbMATH DE number 2090712 (Why is no real title available?)
- scientific article; zbMATH DE number 1439078 (Why is no real title available?)
- scientific article; zbMATH DE number 1444738 (Why is no real title available?)
- Model checking probabilistic real-time properties for service-oriented systems with service level agreements
- Model-checking timed temporal logics
- Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
- Uniformity for the decidability of hybrid automata
- Temporal logics for the specification of performance and reliability
- Model-checking for real-time systems
- A menagerie of timed automata
- Stochastic model checking of the stochastic quality calculus
- Model checking real-time systems within unified approach of timed interval temporal logic
- Algebraic Methodology and Software Technology
- Validation of Stochastic Systems
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Games, Time, and Probability: Graph Models for System Design and Analysis
- Monitoring Temporal Properties of Stochastic Systems
- Probabilistic and Topological Semantics for Timed Automata
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Correct Hardware Design and Verification Methods
- VERICS 2007 -- a model checker for knowledgee and real-time
- Tools and Algorithms for the Construction and Analysis of Systems
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)
