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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jorge A. Pérez, Nobuko Yoshida, editors, 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. Volume 11535 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Conference: forte2019

Abstract is missing.

Psi-Calculi Revisited: Connectivity and CompositionalityJohannes Åman Pohjola. 3-20 [doi]

Squeezing Streams and Composition of Self-stabilizing AlgorithmsKarine Altisen, Pierre Corbineau, Stéphane Devismes. 21-38 [doi]

Parametric Updates in Parametric Timed AutomataÉtienne André, Didier Lime, Mathias Ramparison. 39-56 [doi]

Parametric Statistical Model Checking of UAV Flight PlanRan Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime. 57-74 [doi]

Only Connect, SecurelyChandrika Bhardwaj, Sanjiva Prasad. 75-92 [doi]

Output-Sensitive Information Flow AnalysisCristian Ene, Laurent Mounier, Marie-Laure Potet. 93-110 [doi]

Component-aware Input-Output ConformanceAlexander Graf-Brill, Holger Hermanns. 111-128 [doi]

Declarative Choreographies and LivenessThomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone. 129-147 [doi]

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex PolytopesJannik Hüls, Anne Remke. 148-166 [doi]

Causal-Consistent Replay Debugging for Message Passing ProgramsIvan Lanese, Adrián Palacios, Germán Vidal. 167-184 [doi]

Correct and Efficient Antichain Algorithms for Refinement CheckingMaurice Laveaux, Jan Friso Groote, Tim A. C. Willemse. 185-203 [doi]

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture VerificationDiego Marmsoler. 204-223 [doi]

Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed ProgramsThe Anh Pham, Thierry Jéron, Martin Quinson. 224-241 [doi]

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell FrameworkJean-Bernard Stefani, Martin Vassor. 242-260 [doi]

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical SystemsHoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson. 261-277 [doi]

On Certifying Distributed Algorithms: Problem of Local CorrectnessKim Völlinger. 281-288 [doi]

On a Higher-Order Calculus of Computational FieldsGiorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal. 289-292 [doi]

Semantically Sound Analysis of Content Security PoliciesStefano Calzavara, Alvise Rabitti, Michele Bugliesi. 293-297 [doi]

runs on WebDSL