| 2023 | Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. | Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler |
| 2023 | Denotational Semantics for Symbolic Execution. | Erik Voogd, smund Aqissiaq Arild Klvstad, Einar Broch Johnsen |
| 2023 | Interactive Matching Logic Proofs in Coq. | Jan Tusil, Pter Bereczky, Dniel Horpcsi |
| 2023 | Algorithms for Checking Intersection Non-emptiness of Regular Expressions. | Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen |
| 2023 | Simplifying Process Parameters by Unfolding Algebraic Data Types. | Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele |
| 2023 | The Landscape of Computing Symmetric n-Variable Functions with 2n Cards. | Suthee Ruangwises |
| 2023 | A Dynamic Temporal Logic for Quality of Service in Choreographic Models. | Carlos Gustavo Lpez Pombo, Agustn E. Martinez Su, Emilio Tuosto |
| 2023 | A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2023 | Modular Soundness Checking of Feature Model Evolution Plans. | Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
| 2023 | On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. | Stepan L. Kuznetsov |
| 2023 | Synchronous Agents, Verification, and Blame - A Deontic View. | Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker |
| 2023 | Store Locally, Prove Globally. | Nadine Karsten, Uwe Nestmann |
| 2023 | Without Loss of Satisfaction. | Marijn J. H. Heule |
| 2023 | A Categorical Approach to Synthetic Chemistry. | Ella Gale, Leo Lobski, Fabio Zanasi |
| 2023 | An Autonomous Data Language. | Tom T. P. Franken, Thomas Neele, Jan Friso Groote |
| 2023 | Learning Attack Trees by Genetic Algorithms. | Florian Dorfhuber, Julia Eisentraut, Jan Kretnsk |
| 2023 | Optimal Route Synthesis in Space DTN Using Markov Decision Processes. | Pedro R. D'Argenio |
| 2023 | Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. | Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
| 2023 | Towards the Complexity Analysis of Programming Language Proof Methods. | Matteo Cimini |
| 2023 | Efficient Reactive Synthesis Using Mode Decomposition. | Matas Brizzio, Csar Snchez |
| 2023 | TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. | Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz |
| 2023 | Realisability of Global Models of Interaction. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2023 | Modelling and Verifying Robotic Software that Uses Neural Networks. | Ziggy Attala, Ana Cavalcanti, Jim Woodcock |
| 2023 | Closure and Decision Properties for Higher-Dimensional Automata. | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski |
| 2023 | Strong Call-by-Value and Multi Types. | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |