E-Books durchsuchen
Formal Techniques for Distributed Objects, Components, and Systems [2019]
- 1
-
Psi-Calculi Revisited: Connectivity and Compositionality
- 2
-
Squeezing Streams and Composition of Self-stabilizing Algorithms
- 3
-
Parametric Updates in Parametric Timed Automata
- 4
-
Parametric Statistical Model Checking of UAV Flight Plan
- 5
-
Only Connect, Securely
- 6
-
Output-Sensitive Information Flow Analysis
- 7
-
Component-aware Input-Output Conformance
- 8
-
Declarative Choreographies and Liveness
- 9
-
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes
- 10
-
Causal-Consistent Replay Debugging for Message Passing Programs
- 11
-
Correct and Efficient Antichain Algorithms for Refinement Checking
- 12
-
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification
- 13
-
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
- 14
-
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
- 15
-
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
- 16
-
On Certifying Distributed Algorithms: Problem of Local Correctness
- 17
-
On a Higher-Order Calculus of Computational Fields
- 18
-
Semantically Sound Analysis of Content Security Policies