Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #101 to #150.

Improved Single Pass Algorithms for Resolution Proof Reduction: Label: en
On Temporal Logic and Signal Processing: Label: en
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints: Label: en
Rabinizer: Small Deterministic Automata for LTL(F,G): Label: en
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations: Label: en
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata: Label: en
Approximating Deterministic Lattice Automata: Label: en
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics: Label: en
State Space Reduction of Linear Processes Using Control Flow Reconstruction: Label: en
Exploring the Scope for Partial Order Reduction: Label: en
Local Search in Model Checking: Label: en
On Detecting Regular Predicates in Distributed Systems: Label: en
LTL Model Checking for Recursive Programs: Label: en
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation: Label: en
Dynamic Observers for the Synthesis of Opaque Systems: Label: en
Formal Verification for High-Assurance Behavioral Synthesis: Label: en
Synthesis of Fault-Tolerant Distributed Systems: Label: en
Logahedra: A New Weakly Relational Domain: Label: en
Don’t Know for Multi-valued Systems: Label: en
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement: Label: en
Incremental False Path Elimination for Static Software Analysis: Label: en
Specification Languages for Stutter-Invariant Regular Properties: Label: en
On Minimal Odd Rankings for Büchi Complementation: Label: en
On-the-fly Emptiness Check of Transition-Based Streett Automata: Label: en
Solving Parity Games in Practice: Label: en
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems: Label: en
Quantitative Analysis under Fairness Constraints: Label: en
Statistical Model Checking Using Perfect Simulation: Label: en
LTL Model Checking of Time-Inhomogeneous Markov Chains: Label: en
A Data Symmetry Reduction Technique for Temporal-epistemic Logic: Label: en
Passive Testing of Timed Systems: Label: en
Practical Efficient Modular Linear-Time Model-Checking: Label: en
Run-Time Monitoring of Electronic Contracts: Label: en
Impartial Anticipation in Runtime-Verification: Label: en
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol: Label: en
Deciding Bisimilarity of Full BPA Processes Locally: Label: en
Tree Pattern Rewriting Systems: Label: en
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic: Label: en
Model Based Importance Analysis for Minimal Cut Sets: Label: en
On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies: Label: en
Decidable Compositions of O-Minimal Automata: Label: en
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions: Label: en
Controllable Test Cases for the Distributed Test Architecture: Label: en
SMELS: Satisfiability Modulo Equality with Lazy Superposition: Label: en
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems: Label: en
Interpolants for Linear Arithmetic in SMT: Label: en
Automating Algebraic Specifications of Non-freely Generated Data Types: Label: en
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions: Label: en
Loop Summarization Using Abstract Transformers: Label: en
Model Checking Recursive Programs with Exact Predicate Abstraction: Label: en