Abstract is missing.
- A Flight Rule Checker for the LADEE Lunar SpacecraftElif Kürklü, Klaus Havelund. 3-20 [doi]
- Proof-Theoretic Conservative Extension of HOL with Ad-hoc OverloadingArve Gengelbach, Tjark Weber. 23-42 [doi]
- A Myhill-Nerode Theorem for Register Automata and Symbolic Trace LanguagesFrits W. Vaandrager, Abhisek Midya. 43-63 [doi]
- CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ SpecificationsAdrián Riesco 0001, Kazuhiro Ogata 0001. 64-82 [doi]
- Statistical Analysis of Non-deterministic Fork-Join ProcessesAntoine Genitrini, Martin Pépin, Frédéric Peschanski. 83-102 [doi]
- On Two Characterizations of Feature ModelsFerruccio Damiani, Michael Lienhardt, Luca Paolini. 103-122 [doi]
- The Complexity of Boolean State SeparationRonny Tredup, Evgeny Erofeev. 123-142 [doi]
- Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter AlgorithmEvgeny Erofeev, Ronny Tredup. 143-160 [doi]
- Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free LanguagesDino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi. 161-180 [doi]
- Formal Verification of Parallel Stream Compaction and Summed-Area Table AlgorithmsMohsen Safari, Marieke Huisman. 181-199 [doi]
- Compositionality of Safe Communication in Systems of Team AutomataMaurice H. ter Beek, Rolf Hennicker, Jetty Kleijn. 200-220 [doi]
- Analysis of Bayesian Networks via Prob-Solvable LoopsEzio Bartocci, Laura Kovács, Miroslav Stankovic. 221-241 [doi]
- Semantics of a Relational λ-CalculusPablo Barenbaum, Federico Lochbaum, Mariana Milicich. 242-261 [doi]
- Implementing Hybrid Semantics: From Functional to ImperativeSergey Goncharov 0001, Renato Neves, José Proença. 262-282 [doi]
- Implementation Correctness for Replicated Data Types, CategoricallyFabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino. 283-303 [doi]
- Qsimulation V2.0: An Optimized Quantum SimulatorHua Wu, Yuxin Deng, Ming Xu, Wenjie Du. 307-316 [doi]