| 2019 | Causal-Consistent Replay Debugging for Message Passing Programs. Ivan Lanese, Adrián Palacios, Germán Vidal |
| 2019 | Component-aware Input-Output Conformance. Alexander Graf-Brill, Holger Hermanns |
| 2019 | Correct and Efficient Antichain Algorithms for Refinement Checking. Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse |
| 2019 | Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson |
| 2019 | Declarative Choreographies and Liveness. Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone |
| 2019 | Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. Jean-Bernard Stefani, Martin Vassor |
| 2019 | 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 Jorge A. Pérez, Nobuko Yoshida |
| 2019 | Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. Jannik Hüls, Anne Remke |
| 2019 | On Certifying Distributed Algorithms: Problem of Local Correctness. Kim Völlinger |
| 2019 | On a Higher-Order Calculus of Computational Fields. Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal |
| 2019 | Only Connect, Securely. Chandrika Bhardwaj, Sanjiva Prasad |
| 2019 | Output-Sensitive Information Flow Analysis. Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2019 | Parametric Statistical Model Checking of UAV Flight Plan. Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime |
| 2019 | Parametric Updates in Parametric Timed Automata. Étienne André, Didier Lime, Mathias Ramparison |
| 2019 | Psi-Calculi Revisited: Connectivity and Compositionality. Johannes Åman Pohjola |
| 2019 | Semantically Sound Analysis of Content Security Policies. Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
| 2019 | Squeezing Streams and Composition of Self-stabilizing Algorithms. Karine Altisen, Pierre Corbineau, Stéphane Devismes |
| 2019 | Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. Diego Marmsoler |
| 2019 | Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. The Anh Pham, Thierry Jéron, Martin Quinson |