Abstract is missing.
- Monitoring Hyperproperties with CircuitsLuca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza. 1-10 [doi]
- Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse. 11-30 [doi]
- The Reversible Temporal Process LanguageLaura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen. 31-49 [doi]
- Branch-Well-Structured Transition Systems and ExtensionsBenedikt Bollig, Alain Finkel, Amrita Suresh. 50-66 [doi]
- Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical SystemsBineet Ghosh, Étienne André. 67-87 [doi]
- Co-engineering Safety-Security Using Statistical Model CheckingRajesh Kumar 0012, Siddhant Singh, Bhavesh Narra, Rohan Kela. 88-92 [doi]
- Fault-Tolerant Multiparty Session TypesKirstin Peters, Uwe Nestmann, Christoph Wagner. 93-113 [doi]
- Effective Reductions of Mealy MachinesFlorian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet. 114-130 [doi]
- Traits: Correctness-by-Construction for FreeTobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer. 131-150 [doi]
- Encodability Criteria for Quantum Based SystemsAnna Schmitt 0002, Kirstin Peters, Yuxin Deng. 151-169 [doi]
- LTL Under Reductions with Weaker Conditions Than Stutter InvarianceEmmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg. 170-187 [doi]
- Computing Race Variants in Message-Passing Concurrent Programming with Selective ReceivesGermán Vidal. 188-207 [doi]