Filter your results
- 18
- 1
- 18
- 18
- 18
- 18
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Component-aware Input-Output Conformance39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.111-128, ⟨10.1007/978-3-030-21759-4_7⟩
Conference papers
hal-02313733v1
|
||
|
Output-sensitive Information flow analysis39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers
hal-02303984v1
|
||
|
Declarative Choreographies and Liveness39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.129-147, ⟨10.1007/978-3-030-21759-4_8⟩
Conference papers
hal-02313738v1
|
||
|
Causal-Consistent Replay Debugging for Message Passing ProgramsFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers
hal-02313745v1
|
||
|
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.261-277, ⟨10.1007/978-3-030-21759-4_15⟩
Conference papers
hal-02313744v1
|
||
|
On a Higher-Order Calculus of Computational Fields39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.289-292, ⟨10.1007/978-3-030-21759-4_17⟩
Conference papers
hal-02313736v1
|
||
|
Only Connect, Securely39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.75-92, ⟨10.1007/978-3-030-21759-4_5⟩
Conference papers
hal-02313753v1
|
||
|
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.148-166, ⟨10.1007/978-3-030-21759-4_9⟩
Conference papers
hal-02313740v1
|
||
|
Psi-Calculi Revisited: Connectivity and Compositionality39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers
hal-02313748v1
|
||
|
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed ProgramsFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
Conference papers
hal-02109769v1
|
||
|
On Certifying Distributed Algorithms: Problem of Local Correctness39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.281-288, ⟨10.1007/978-3-030-21759-4_16⟩
Conference papers
hal-02313747v1
|
||
|
Correct and Efficient Antichain Algorithms for Refinement Checking39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.185-203, ⟨10.1007/978-3-030-21759-4_11⟩
Conference papers
hal-02313731v1
|
||
|
Parametric updates in parametric timed automata39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers
hal-02153238v1
|
||
|
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell FrameworkFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers
hal-02313751v1
|
||
|
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.204-223, ⟨10.1007/978-3-030-21759-4_12⟩
Conference papers
hal-02313742v1
|
||
|
Squeezing Streams and Composition of Self-stabilizing Algorithms39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Conference papers
hal-02313746v1
|
||
|
Semantically Sound Analysis of Content Security Policies39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.293-297, ⟨10.1007/978-3-030-21759-4_18⟩
Conference papers
hal-02313752v1
|
||
|
Parametric Statistical Model Checking of UAV Flight Plan39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
Conference papers
hal-02313737v1
|