| 2019 | LTL to Smaller Self-Loop Alternating Automata and Back. | Frantisek Blahoudek, Juraj Major, Jan Strejcek |
| 2019 | Completeness of Abstract Domains for String Analysis of JavaScript Programs. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |
| 2019 | Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. | tienne Andr, Jawher Jerray, Sahar Mhiri |
| 2019 | Verification of Multi-agent Systems with Timeouts for Migration and Communication. | Bogdan Aman, Gabriel Ciobanu |
| 2018 | Non-preemptive Semantics for Data-Race-Free Programs. | Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng |
| 2018 | Fast Computations on Ordered Nominal Sets. | David Venhoek, Joshua Moerman, Jurriaan Rot |
| 2018 | The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers. | Hiroshi Umeo, Naoki Kamikawa, Gen Fujita |
| 2018 | Information Flow Certificates. | Manuel Tws, Heike Wehrheim |
| 2018 | LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. | Martin Sulzmann, Peter Thiemann |
| 2018 | Complexity Results on Register Context-Free Grammars and Register Tree Automata. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2018 | Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. | Mikhail N. Rybakov, Dmitry Shkatov |
| 2018 | Explicit Auditing. | Wilmer Ricciotti, James Cheney |
| 2018 | Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. | Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh |
| 2018 | Double Applicative Functors. | Hrmel Nestra |
| 2018 | Symbolic Computation via Program Transformation. | Henrich Lauko, Petr Rockai, Jiri Barnat |
| 2018 | Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. | Ruggero Lanotte, Simone Tini |
| 2018 | Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. | Martin Jons, Jan Strejcek |
| 2018 | Checking Modal Contracts for Virtually Timed Ambients. | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2018 | Spatio-Temporal Domains: An Overview. | David Janin |
| 2018 | Convex Language Semantics for Nondeterministic Probabilistic Automata. | Gerco van Heerdt, Justin Hsu, Jol Ouaknine, Alexandra Silva |
| 2018 | Generating Armstrong ABoxes for | Henriette Harmse, Katarina Britz, Aurona Gerber |
| 2018 | Layer Systems for Confluence - Formalized. | Bertram Felgenhauer, Franziska Rapp |
| 2018 | Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. | Pedro R. D'Argenio, Ral E. Monti |
| 2018 | Layer by Layer - Combining Monads. | Fredrik Dahlqvist, Louis Parlant, Alexandra Silva |
| 2018 | Monoidal Multiplexing. | Apiwat Chantawibul, Pawel Sobocinski |