![](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
39th FORTE 2019: Kongens Lyngby, Denmark
- Jorge A. Pérez, Nobuko Yoshida:
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11535, Springer 2019, ISBN 978-3-030-21758-7
Full Papers
- Johannes Åman Pohjola
:
Psi-Calculi Revisited: Connectivity and Compositionality. 3-20 - Karine Altisen, Pierre Corbineau, Stéphane Devismes
:
Squeezing Streams and Composition of Self-stabilizing Algorithms. 21-38 - Étienne André
, Didier Lime
, Mathias Ramparison
:
Parametric Updates in Parametric Timed Automata. 39-56 - Ran Bao, J. Christian Attiogbé
, Benoît Delahaye
, Paulin Fournier, Didier Lime
:
Parametric Statistical Model Checking of UAV Flight Plan. 57-74 - Chandrika Bhardwaj
, Sanjiva Prasad
:
Only Connect, Securely. 75-92 - Cristian Ene
, Laurent Mounier
, Marie-Laure Potet
:
Output-Sensitive Information Flow Analysis. 93-110 - Alexander Graf-Brill, Holger Hermanns:
Component-aware Input-Output Conformance. 111-128 - Thomas T. Hildebrandt
, Tijs Slaats
, Hugo A. López
, Søren Debois
, Marco Carbone
:
Declarative Choreographies and Liveness. 129-147 - Jannik Hüls, Anne Remke:
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. 148-166 - Ivan Lanese, Adrián Palacios, Germán Vidal
:
Causal-Consistent Replay Debugging for Message Passing Programs. 167-184 - Maurice Laveaux
, Jan Friso Groote
, Tim A. C. Willemse
:
Correct and Efficient Antichain Algorithms for Refinement Checking. 185-203 - Diego Marmsoler:
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. 204-223 - The Anh Pham
, Thierry Jéron
, Martin Quinson
:
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. 224-241 - Jean-Bernard Stefani, Martin Vassor
:
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. 242-260 - Hoang-Dung Tran, Luan Viet Nguyen
, Patrick Musau, Weiming Xiang
, Taylor T. Johnson
:
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. 261-277
Short and "Journal First" Papers
- Kim Völlinger:
On Certifying Distributed Algorithms: Problem of Local Correctness. 281-288 - Giorgio Audrito
, Mirko Viroli
, Ferruccio Damiani
, Danilo Pianini
, Jacob Beal
:
On a Higher-Order Calculus of Computational Fields. 289-292 - Stefano Calzavara
, Alvise Rabitti, Michele Bugliesi:
Semantically Sound Analysis of Content Security Policies. 293-297
![](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.