Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking  + (5. März 2025, 13:42:41)
• Design and Verification of Systems with Exogenous Coordination Using Vereofy  + (5. März 2025, 13:42:41)
• Maximizing the Conditional Expected Reward for Reaching the Goal  + (5. März 2025, 13:42:44)
• Locks: Picking key methods for a scalable quantitative analysis  + (5. März 2025, 13:42:44)
• Probabilistic Model Checking for Feature-oriented Systems  + (5. März 2025, 13:42:44)
• Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification  + (5. März 2025, 13:42:44)
• Approximate Symbolic Model Checking of Continuous-Time Markov Chains  + (5. März 2025, 13:42:52)
• Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo  + (5. März 2025, 13:42:52)
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic  + (5. März 2025, 13:42:52)
• Compositional Semantics of an Actor-Based Language Using Constraint Automata  + (5. März 2025, 13:42:53)
• Model Checking Markov Chains with Actions and State Labels  + (5. März 2025, 13:42:53)
• CPrAA -- A Checker for Probabilistic Abstract Argumentation  + (5. März 2025, 13:42:54)
• Simulation for Continuous-Time Markov Chains  + (5. März 2025, 13:43:03)
• Model-Checking Algorithms for Continuous-Time Markov Chains  + (5. März 2025, 13:43:04)
• Metric completion versus ideal completion  + (5. März 2025, 13:43:04)
• Witnessing Subsystems for Probabilistic Systems with Low Tree Width  + (5. März 2025, 13:43:04)
• Checking Equivalence for Reo Networks  + (5. März 2025, 13:43:04)
• Models and Temporal Logics for Timed Component Connectors  + (5. März 2025, 13:43:04)
• On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints  + (5. März 2025, 13:43:07)
• Partial Order Reduction for Markov Decision Processes: A Survey  + (5. März 2025, 13:43:15)
• Metric Semantics for True Concurrent Real Time  + (5. März 2025, 13:43:15)
• Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications  + (5. März 2025, 13:43:15)
• Waiting for Locks: How Long Does It Usually Take?  + (5. März 2025, 13:43:15)
• More for Less: Safe Policy Improvement with Stronger Performance Guarantees  + (5. März 2025, 13:43:16)
• Energy-Utility Quantiles  + (5. März 2025, 13:43:16)
• On Skolem-Hardness and Saturation Points in Markov Decision Processes  + (5. März 2025, 13:43:22)
• Synthesis of Reo Connectors for Strategies and Controllers  + (5. März 2025, 13:43:26)

• Domain equations for probabilistic processes  + (5. März 2025, 13:43:27)
• Modeling and Verification of Components and Connectors  + (5. März 2025, 13:43:27)
• On Decision Problems for Probabilistic Büchi Automata  + (5. März 2025, 13:43:27)
• The effect of tossing coins in omega-automata  + (5. März 2025, 13:43:27)

• A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select  + (5. März 2025, 13:43:38)
• Generic Emptiness Check for Fun and Profit  + (5. März 2025, 13:43:38)
• Minimal witnesses for probabilistic timed automata  + (5. März 2025, 13:43:38)
• On the Semantic Foundations of Probabilistic Synchronous Reactive Programs  + (5. März 2025, 13:43:43)
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems  + (5. März 2025, 13:43:43)
• Recognizing $ømega$-regular Languages with Probabilistic Automata  + (5. März 2025, 13:43:44)
• Symbolic model checking for channel-based component connectors  + (5. März 2025, 13:43:47)
• On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems  + (5. März 2025, 13:43:47)
• Performability assessment by model checking of Markov reward models  + (5. März 2025, 13:43:47)
• Patrick Wienhöft  + (5. März 2025, 13:43:48)
• CPEC  + (5. März 2025, 13:43:48)
• A note on the attractor-property of infinite-state Markov chains  + (5. März 2025, 13:43:49)
• Performance evaluation and model checking join forces  + (5. März 2025, 13:43:49)
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access  + (5. März 2025, 13:43:49)
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints  + (5. März 2025, 13:43:49)
• Responsibility Attribution in Parameterized Markovian Models  + (5. März 2025, 13:43:49)
• On the probabilistic bisimulation spectrum with silent moves  + (5. März 2025, 13:43:50)
• Lab Course “Modeling and Automated Verification”  + (5. März 2025, 13:43:50)
• Reachability in Dynamical Systems with Rounding  + (5. März 2025, 13:43:51)
• Advances in Symbolic Probabilistic Model Checking with PRISM  + (5. März 2025, 13:43:51)
• Partial Order Reduction for Probabilistic Branching Time  + (5. März 2025, 13:43:52)
• Deciding Bisimilarity and Similarity for Probabilistic Processes  + (5. März 2025, 13:43:53)
• Norm Functions for Probabilistic Bisimulations with Delays  + (5. März 2025, 13:43:54)