| 2022 | Branch-Well-Structured Transition Systems and Extensions. Benedikt Bollig, Alain Finkel, Amrita Suresh |
| 2022 | Co-engineering Safety-Security Using Statistical Model Checking. Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela |
| 2022 | Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. Germán Vidal |
| 2022 | Effective Reductions of Mealy Machines. Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet |
| 2022 | Encodability Criteria for Quantum Based Systems. Anna Schmitt, Kirstin Peters, Yuxin Deng |
| 2022 | Fault-Tolerant Multiparty Session Types. Kirstin Peters, Uwe Nestmann, Christoph Wagner |
| 2022 | Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings Mohammad Reza Mousavi, Anna Philippou |
| 2022 | LTL Under Reductions with Weaker Conditions Than Stutter Invariance. Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg |
| 2022 | Monitoring Hyperproperties with Circuits. Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
| 2022 | Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. Bineet Ghosh, Étienne André |
| 2022 | Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
| 2022 | The Reversible Temporal Process Language. Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
| 2022 | Traits: Correctness-by-Construction for Free. Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer |