Abstract is missing.
- The Road Ahead for Supervisor SynthesisMartijn A. Goorden, L. Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman. 1-16 [doi]
- Reentrancy? Yes. Reentrancy Bug? NoQinxiang Cao, Zhongye Wang. 17-34 [doi]
- Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric NetsL. Capra. 35-51 [doi]
- Modelling and Implementation of Unmanned Aircraft Collision AvoidanceWeizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li 0031. 52-69 [doi]
- Randomized Refinement Checking of Timed I/O AutomataAndrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman. 70-88 [doi]
- Computing Linear Arithmetic Representation of Reachability Relation of One-Counter AutomataXie Li, Taolue Chen, Zhilin Wu, Mingji Xia. 89-107 [doi]
- res on Finite WordsWanwei Liu, Liangze Yin, Tun Li. 108-123 [doi]
- Symbolic Model Checking with Sentential Decision DiagramsLieuwe Vinkhuijzen, Alfons Laarman. 124-142 [doi]
- Probably Approximately Correct Interpolants GenerationBai Xue 0001, Naijun Zhan. 143-159 [doi]
- Symbolic Verification of MPI Programs with Non-deterministic SynchronizationsHengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang 0001. 160-176 [doi]
- Learning Safe Neural Network Controllers with Barrier CertificatesHengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock. 177-185 [doi]
- Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network TheoryYangxi Zhou, Yan Zhu, Liangyu Chen. 186-201 [doi]