Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th 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
a service of 
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.
last updated on 2024-06-28 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
