![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
35th FORTE 2015: Grenoble, France
- Susanne Graf, Mahesh Viswanathan:
Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9039, Springer 2015, ISBN 978-3-319-19194-2
Ensuring Properties of Distributed Systems
- Luca Padovani
, Luca Novara:
Types for Deadlock-Free Higher-Order Programs. 3-18 - Alex Horn, Daniel Kroening
:
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. 19-34 - Ritwika Ghosh, Sayan Mitra
:
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. 35-49 - Alex Horn, Daniel Kroening
:
Faster Linearizability Checking via P-Compositionality. 50-65 - Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier:
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. 66-80
Formal Models of Concurrent and Distributed Systems
- Youssef Arbach, David Karcher, Kirstin Peters
, Uwe Nestmann:
Dynamic Causality in Event Structures. 83-97 - Kedar S. Namjoshi, Richard J. Trefler:
Loop Freedom in AODVv2. 98-112 - Ferruccio Damiani
, Mirko Viroli, Danilo Pianini
, Jacob Beal
:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. 113-128
Real Time Systems
- Martín Abadi, Michael Isard:
Timely Dataflow: A Model. 131-145 - Weifeng Wang, Li Jiao:
Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. 146-160 - Massimo Bartoletti
, Tiziana Cimoli
, Maurizio Murgia
, Alessandro Sebastian Podda
, Livio Pompianu
:
Compliance and Subtyping in Timed Session Types. 161-177
Security
- Dimitrios Kouzapas, Anna Philippou:
Type Checking Privacy Policies in the π-calculus. 181-195 - Ala-Eddine Ben Salem:
Extending Testing Automata to All LTL. 196-210
Efficient Verification Techniques
- Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani:
Simple Isolation for an Actor Abstract Machine. 213-227 - Dirk Beyer
, Stefan Löwe, Philipp Wendler
:
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. 228-243
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.