Filter your results
- 10
- 1
- 10
- 1
- 11
- 11
- 11
- 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
|
|
|
Parameter Synthesis Algorithms for Parametric Interval Markov Chains38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.121-140, ⟨10.1007/978-3-319-92612-4_7⟩
Conference papers
hal-01824814v1
|
||
|
|
A Distributed Coordination Infrastructure for Attribute-Based Interaction38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers
hal-01824810v1
|
||
|
|
Preserving Contract Satisfiability Under Non-monotonic Composition38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.181-195, ⟨10.1007/978-3-319-92612-4_10⟩
Conference papers
hal-01824811v1
|
||
|
|
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.161-180, ⟨10.1007/978-3-319-92612-4_9⟩
Conference papers
hal-01824815v1
|
||
|
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩
Books
hal-01824818v1
|
||
|
|
A Calculus for Modeling Floating Authorizations38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.101-120, ⟨10.1007/978-3-319-92612-4_6⟩
Conference papers
hal-01824819v1
|
||
|
|
Monotonic Prefix Consistency in Distributed SystemsFORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Conference papers
hal-01824817v1
|
||
|
|
Information Flow Tracking for Side-Effectful Libraries38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.141-160, ⟨10.1007/978-3-319-92612-4_8⟩
Conference papers
hal-01824816v1
|
||
|
|
A Modest Security Analysis of Cyber-Physical Systems: A Case Study38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩
Conference papers
hal-01824813v1
|
||
|
|
Applied Choreographies38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers
hal-01824812v1
|
||
|
|
Relating Process Languages for Security and Communication Correctness (Extended Abstract)38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩
Conference papers
hal-01824820v1
|