| 2022 | Human-Cyber-Physical Automata and Their Synthesis. | Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu |
| 2022 | Towards a Unifying Logical Framework for Neural Networks. | Xiyue Zhang, Xiaohong Chen, Meng Sun |
| 2022 | Formal Grammars for Turn-Bounded Deterministic Context-Free Languages. | Tomoyuki Yamakami |
| 2022 | Runners for Interleaving Algebraic Effects. | Niels F. W. Voorneveld |
| 2022 | Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs. | Hayato Shikata, Kodai Toyoda, Daiki Miyahara, Takaaki Mizuki |
| 2022 | A Specification Logic for Programs in the Probabilistic Guarded Command Language. | Ral Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
| 2022 | Towards a User Interface Description Language Based on Bigraphs. | Nicolas Nalpon, Cyril Allignol, Clia Picard |
| 2022 | Active Learning for Deterministic Bottom-Up Nominal Tree Automata. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2022 | A Verified Implementation of B | Niels Mndler, Tobias Nipkow |
| 2022 | A Type System with Subtyping for WebAssembly's Stack Polymorphism. | Dylan McDermott, Yasuaki Morita, Tarmo Uustalu |
| 2022 | Local XOR Unification: Definitions, Algorithms and Application to Cryptography. | Hai Lin, Christopher Lynch |
| 2022 | Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting. | Kentaro Kikuchi |
| 2022 | A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. | Zhen Huang, Bo Li, Dehui Du, Qin Li |
| 2022 | Alternating Automatic Register Machines. | Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan |
| 2022 | Unsatisfiability of Comparison-Based Non-malleability for Commitments. | Denis Firsov, Sven Laur, Ekaterina Zhuchko |
| 2022 | A Combinatorial Study of Async/Await Processes. | Matthieu Dien, Antoine Genitrini, Frdric Peschanski |
| 2022 | Reachability Games and Parity Games. | Volker Diekert, Manfred Kufleitner |
| 2022 | Reconciling Communication Delays and Negation. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2022 | Functional Choreographic Programming. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2022 | Denotational and Algebraic Semantics for the CaIT Calculus. | Ningning Chen, Huibiao Zhu |
| 2022 | Spatial and Timing Properties in Highway Traffic. | Christopher Bischopink, Ernst-Rdiger Olderog |
| 2022 | Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2022 | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2022 | Type Inference for Rank-2 Intersection Types Using Set Unification. | Pedro ngelo, Mrio Florido |
| 2022 | Quantitative Weak Linearisation. | Sandra Alves, Daniel Ventura |