Abstract is missing.
- VeriMon: A Formally Verified Monitoring ToolDavid A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider 0001, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg. 1-6 [doi]
- Generalized Test Tables: A Domain-Specific Specification Language for Automated Production SystemsBernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl. 7-13 [doi]
- Reachability Games and Parity GamesVolker Diekert, Manfred Kufleitner. 14-35 [doi]
- Human-Cyber-Physical Automata and Their SynthesisMiaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu 0001. 36-41 [doi]
- A PO Characterisation of ReconfigurationYehia Abd Alrahman, Mauricio Martel, Nir Piterman. 42-59 [doi]
- Structural Rules and Algebraic Properties of Intersection TypesSandra Alves, Mário Florido. 60-77 [doi]
- Quantitative Weak LinearisationSandra Alves, Daniel Ventura. 78-95 [doi]
- On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical SystemsMusab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. 96-113 [doi]
- Spatial and Timing Properties in Highway TrafficChristopher Bischopink, Ernst-Rüdiger Olderog. 114-131 [doi]
- Denotational and Algebraic Semantics for the CaIT CalculusNingning Chen, Huibiao Zhu. 132-150 [doi]
- Reconciling Communication Delays and NegationLuís Cruz-Filipe, Graça Gaspar, Isabel Nunes. 151-169 [doi]
- A Combinatorial Study of Async/Await ProcessesMatthieu Dien, Antoine Genitrini, Frédéric Peschanski. 170-187 [doi]
- Unsatisfiability of Comparison-Based Non-malleability for CommitmentsDenis Firsov, Sven Laur, Ekaterina Zhuchko. 188-194 [doi]
- Alternating Automatic Register MachinesZiyuan Gao, Sanjay Jain 0001, Zeyong Li, Ammar Fathin Sabili, Frank Stephan 0001. 195-211 [doi]
- Functional Choreographic ProgrammingLuís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti. 212-237 [doi]
- A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving SystemsZhen Huang, Bo Li, Dehui Du, Qin Li 0002. 238-254 [doi]
- Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal RewritingKentaro Kikuchi. 255-271 [doi]
- Local XOR Unification: Definitions, Algorithms and Application to CryptographyHai Lin 0005, Christopher Lynch. 272-289 [doi]
- A Matching Logic Foundation for AlkLungu Alexandru-Ioan, Dorel Lucanu. 290-304 [doi]
- A Type System with Subtyping for WebAssembly's Stack PolymorphismDylan McDermott, Yasuaki Morita, Tarmo Uustalu. 305-323 [doi]
- +-Trees in Isabelle/HOLNiels Mündler, Tobias Nipkow. 324-341 [doi]
- Active Learning for Deterministic Bottom-Up Nominal Tree AutomataRindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki. 342-359 [doi]
- Towards a User Interface Description Language Based on BigraphsNicolas Nalpon, Cyril Allignol, Célia Picard. 360-368 [doi]
- A Specification Logic for Programs in the Probabilistic Guarded Command LanguageRaúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski. 369-387 [doi]
- Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven InputsHayato Shikata, Kodai Toyoda, Daiki Miyahara, Takaaki Mizuki. 388-406 [doi]
- Runners for Interleaving Algebraic EffectsNiels F. W. Voorneveld. 407-424 [doi]
- Formal Grammars for Turn-Bounded Deterministic Context-Free LanguagesTomoyuki Yamakami. 425-441 [doi]
- Towards a Unifying Logical Framework for Neural NetworksXiyue Zhang, Xiaohong Chen, Meng Sun. 442-461 [doi]
- Type Inference for Rank-2 Intersection Types Using Set UnificationPedro Ângelo, Mário Florido. 462-480 [doi]