Entity usage

Showing below up to 38 results in range #1 to #38.

1. Probabilistic Robust Timed Games: Label: en
2. Synchronizing Strategies under Partial Observability: Label: en
3. Compositional Controller Synthesis for Stochastic Games: Label: en
4. Synthesis from Component Libraries with Costs: Label: en
5. Lost in Abstraction: Monotonicity in Multi-threaded Programs: Label: en
6. On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability: Label: en
7. Parameterized Model Checking of Rendezvous Systems: Label: en
8. Bisimulations Up-to: Beyond First-Order Transition Systems: Label: en
9. Trees from Functions as Processes: Label: en
10. Deadlock Analysis of Unbounded Process Networks: Label: en
11. Choreographies, Logically: Label: en
12. Generalized Bisimulation Metrics: Label: en
13. Deterministic Negotiations: Concurrency for Free: Label: en
14. The Benefits of Sometimes Not Being Discrete: Label: en
15. Tight Game Abstractions of Probabilistic Automata: Label: en
16. Adding Negative Prices to Priced Timed Games: Label: en
17. Qualitative Concurrent Parity Games: Bounded Rationality: Label: en
18. Reducing Clocks in Timed Automata while Preserving Bisimulation: Label: en
19. Verification for Timed Automata Extended with Unbounded Discrete Data Structures: Label: en
20. Ordered Navigation on Multi-attributed Data Words: Label: en
21. (Un)decidable Problems about Reachability of Quantum Systems: Label: en
22. A General Framework for Well-Structured Graph Transformation Systems: Label: en
23. Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices: Label: en
24. A Categorical Semantics of Signal Flow Graphs: Label: en
25. Timed Multiparty Session Types: Label: en
26. A Semantic Deconstruction of Session Types: Label: en
27. Using Higher-Order Contracts to Model Session Types (Extended Abstract): Label: en
28. Typing Messages for Free in Security Protocols: The Case of Equivalence Properties: Label: en
29. Bounds on Mobility: Label: en
30. A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm: Label: en
31. A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups: Label: en
32. Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking: Label: en
33. Controllers for the Verification of Communicating Multi-pushdown Systems: Label: en
34. Decidable Topologies for Communicating Automata with FIFO and Bag Channels: Label: en
35. Averaging in LTL: Label: en
36. Probabilistic Bisimulation: Naturally on Distributions: Label: en
37. Robust Synchronization in Markov Decision Processes: Label: en
38. Perturbation Analysis in Verification of Discrete-Time Markov Chains: Label: en