- Omar I. Al-Bataineh:
Invariant-based Program Repair. FASE 2024: 255-265 - Max Barth
, Daniel Dietsch
, Matthias Heizmann
, Marie-Christine Jakobs
:
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE 2024: 326-330 - Téo Bernier
, Yani Ziani
, Nikolai Kosmatov
, Frédéric Loulergue
:
Combining Deductive Verification with Shape Analysis. FASE 2024: 280-289 - Sandrine Blazy
:
From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert. FASE 2024: 1-21 - Jan H. Boockmann
, Gerald Lüttgen
:
Comprehending Object State via Dynamic Class Invariant Learning. FASE 2024: 143-164 - Ricardo Brancas
, Miguel Terra-Neves
, Miguel Ventura
, Vasco M. Manquinho
, Ruben Martins
:
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. FASE 2024: 232-254 - Margarita Capretto
, Martín Ceresa
, César Sánchez
:
Monitoring the Future of Smart Contracts. FASE 2024: 122-142 - Liushan Chen, Yu Pei
, Mingyang Wan, Zhihui Fei, Tao Liang, Guojun Ma:
Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data. FASE 2024: 165-187 - Thi Kim Nhung Dang
, Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Fuzzy quantitative attack tree analysis. FASE 2024: 210-231 - Arpita Dutta
, Rasool Maghareh
, Joxan Jaffar
, Sangharatna Godboley
, Xiao Liang Yu:
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). FASE 2024: 320-325 - Yliès Falcone
, Gwen Salaün
, Ahang Zuo
:
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE 2024: 56-76 - Christian Janßen, Cedric Richter
, Heike Wehrheim
:
Can ChatGPT support software verification? FASE 2024: 266-279 - Martin Jonás
, Jan Strejcek
, Marek Trtík
, Lukás Urban
:
Fizzer: New Gray-Box Fuzzer - (Competition Contribution). FASE 2024: 309-313 - Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi:
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE 2024: 188-209 - Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov:
KLEEF: Symbolic Execution Engine (Competition Contribution). FASE 2024: 314-319 - Dré van Oorschot, Marieke Huisman
, Ömer Sakar
:
First Steps towards Deductive Verification of LLVM IR. FASE 2024: 290-303 - Lucas Sakizloglou
, Holger Giese
, Leen Lambers
:
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE 2024: 22-55 - He Xu
, Sven Schneider
, Holger Giese
:
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. FASE 2024: 77-100 - Geunyeol Yu
, Seunghyun Chae
, Kyungmin Bae
, Sungkun Moon
:
Formal Specification of Trusted Execution Environment APIs. FASE 2024: 101-121 - Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen
, Ji Wang:
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE 2024: 304-308 - Beniamino Accattoli
, Adrienne Lancelot:
Light Genericity. FoSSaCS (2) 2024: 24-46 - Shaull Almagor
, Guy Avni
, Henry Sinclair-Banks
, Asaf Yeshurun:
Dimension-Minimality and Primality of Counter Nets. FoSSaCS (2) 2024: 229-249 - Shaull Almagor
, Neta Dafni:
Determinization of Integral Discounted-Sum Automata is Decidable. FoSSaCS (1) 2024: 191-211 - Pete Austin
, Sougata Bose
, Patrick Totzke
:
Parity Games on Temporal Graphs. FoSSaCS (1) 2024: 79-98 - Patrick Baillot
, Ugo Dal Lago
, Cynthia Kop
, Deivid Vale
:
On Basic Feasible Functionals and the Interpretation Method. FoSSaCS (2) 2024: 70-91 - Fabian Birkmann
, Henning Urbat
, Stefan Milius
:
Monoidal Extended Stone Duality. FoSSaCS (1) 2024: 144-165 - Valentin Blot, Gilles Dowek
, Thomas Traversié, Théo Winterhalter
:
From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. FoSSaCS (2) 2024: 3-23 - Balder ten Cate
, Jesse Comer
:
Craig Interpolation for Decidable First-Order Fragments. FoSSaCS (2) 2024: 137-159 - Philipp Czerner
, Javier Esparza
, Valentin Krasotin
:
A Resolution-Based Interactive Proof System for UNSAT. FoSSaCS (2) 2024: 116-136 - Laurent Doyen
, Pranshu Gaba
, Shibashis Guha
:
Stochastic Window Mean-Payoff Games. FoSSaCS (1) 2024: 34-54