default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID39th 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
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-31 21:54 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:
