default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID36th 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, Michele Loreti:
On the Power of Attribute-Based Communication. 1-18 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu:
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, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto:
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, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster:
A Type Theory for Robust Failure Handling in Distributed Systems. 96-113 - Luís Cruz-Filipe, Fabrizio Montesi:
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, Jeroen J. A. Keiren, Tim A. C. Willemse:
Branching Bisimulation Games. 142-157 - Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik:
A Configurable CEGAR Framework with Interpolation-Based Refinements. 158-174 - Ludovic Henrio, Eric Madelaine, Min Zhang:
A Theory for the Composition of Concurrent Processes. 175-194 - Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
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, Omer Nguena-Timo, S. Ramesh:
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, Nedra Ebdelli, Samir Ben Ahmed:
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 2025-11-18 22: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:
