Abstract is missing.
- From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCertSandrine Blazy. 1-21 [doi]
- Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime ModelsLucas Sakizloglou, Holger Giese, Leen Lambers. 22-55 [doi]
- Probabilistic Runtime Enforcement of Executable BPMN ProcessesYliès Falcone, Gwen Salaün, Ahang Zuo. 56-76 [doi]
- Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation SystemsHe Xu, Sven Schneider 0001, Holger Giese. 77-100 [doi]
- Formal Specification of Trusted Execution Environment APIsGeunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon. 101-121 [doi]
- Monitoring the Future of Smart ContractsMargarita Capretto, Martín Ceresa, César Sánchez 0001. 122-142 [doi]
- Comprehending Object State via Dynamic Class Invariant LearningJan H. Boockmann, Gerald Lüttgen. 143-164 [doi]
- Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel DataLiushan Chen, Yu Pei 0001, Mingyang Wan, Zhihui Fei, Tao Liang, Guojun Ma. 165-187 [doi]
- Refinement Verification of OS Services based on a Verified Preemptive MicrokernelXimeng Li 0003, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi 0002. 188-209 [doi]
- Fuzzy quantitative attack tree analysisThi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. 210-231 [doi]
- Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and DisambiguationRicardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins. 232-254 [doi]
- Invariant-based Program RepairOmar I. Al-Bataineh. 255-265 [doi]
- Can ChatGPT support software verification?Christian Janßen, Cedric Richter, Heike Wehrheim. 266-279 [doi]
- Combining Deductive Verification with Shape AnalysisTéo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue. 280-289 [doi]
- First Steps towards Deductive Verification of LLVM IRDré van Oorschot, Marieke Huisman, Ömer Sakar. 290-303 [doi]
- FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)Guofeng Zhang 0005, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang 0001. 304-308 [doi]
- Fizzer: New Gray-Box Fuzzer - (Competition Contribution)Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban. 309-313 [doi]
- KLEEF: Symbolic Execution Engine (Competition Contribution)Aleksandr Misonizhnik, Sergey Morozov 0004, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov. 314-319 [doi]
- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao-Liang Yu. 320-325 [doi]
- Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution)Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs. 326-330 [doi]