default search action
36th FORTE 2016: Heraklion, Crete, Greece
- Elvira Albert, Ivan Lanese:
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9688, Springer 2016, ISBN 978-3-319-39569-2 - Yehia Abd Alrahman
, Rocco De Nicola
On the Power of Attribute-Based Communication. 1-18 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros
Fencing Programs with Self-Invalidation and Self-Downgrade. 19-35 - Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. 36-51 - Nicola Atzei, Massimo Bartoletti
Developing Honest Java Programs with Diogenes. 52-61 - Davide Basile
Playing with Our CAT and Communication-Centric Applications. 62-73 - Luís Caires, Jorge A. Pérez
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. 74-95 - Tzu-Chun Chen
A Type Theory for Robust Failure Handling in Distributed Systems. 96-113 - Luís Cruz-Filipe
Choreographies in Practice. 114-123 - Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. 124-141 - David de Frutos-Escrig
Branching Bisimulation Games. 142-157 - Ákos Hajdu
A Configurable CEGAR Framework with Interpolation-Based Refinements. 158-174 - Ludovic Henrio, Eric Madelaine
A Theory for the Composition of Concurrent Processes. 175-194 - Hugo A. López
Enforcing Availability in Failure-Aware Communicating Systems. 195-211 - Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. 212-221 - Alexandre Petrenko
Multiple Mutation Testing from FSM. 222-238 - Jorge A. Pérez
The Challenge of Typed Expressiveness in Concurrency. 239-247 - Carlo Spaccasassi, Vasileios Koutavas:
Type-Based Analysis for Session Inference (Extended Abstract). 248-266 - Manel Tekaya, Mohamed Taha Bennani
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. 267-274
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-12-18 18:33 CET 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: