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
Feedback