default search action

combined dblp search
author search
venue search
publication search

ask others

27th FASE@ETAPS 2024: Luxembourg City, Luxembourg

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2024
Dirk Beyer, Ana Cavalcanti:
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Lecture Notes in Computer Science 14573, Springer 2024, ISBN 978-3-031-57258-6
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Blazy24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Blazy24
Sandrine Blazy:
From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert. 1-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SakizloglouGL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SakizloglouGL24
Lucas Sakizloglou, Holger Giese, Leen Lambers:
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. 22-55
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FalconeSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FalconeSZ24
Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Runtime Enforcement of Executable BPMN Processes. 56-76
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/XuSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/XuSG24
He Xu, Sven Schneider, Holger Giese:
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. 77-100
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/YuCBM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/YuCBM24
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon:
Formal Specification of Trusted Execution Environment APIs. 101-121
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CaprettoCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CaprettoCS24
Margarita Capretto, Martín Ceresa, César Sánchez:
Monitoring the Future of Smart Contracts. 122-142
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BoockmannL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BoockmannL24
Jan H. Boockmann, Gerald Lüttgen:
Comprehending Object State via Dynamic Class Invariant Learning. 143-164
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChenPWFLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChenPWFLM24
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. 165-187
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LiCGZWS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LiCGZWS24
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi:
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. 188-209
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/DangLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DangLS24
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Fuzzy quantitative attack tree analysis. 210-231
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BrancasTVMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BrancasTVMM24
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins:
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. 232-254
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/AlBataineh24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AlBataineh24
Omar I. Al-Bataineh:
Invariant-based Program Repair. 255-265
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/JanssenRW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JanssenRW24
Christian Janßen, Cedric Richter, Heike Wehrheim:
Can ChatGPT support software verification? 266-279
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BernierZKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BernierZKL24
Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue:
Combining Deductive Verification with Shape Analysis. 280-289
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/OorschotHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/OorschotHS24
Dré van Oorschot, Marieke Huisman, Ömer Sakar:
First Steps towards Deductive Verification of LLVM IR. 290-303
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ZhangSMLCW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ZhangSMLCW24
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang:
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). 304-308
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/JonasSTU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JonasSTU24
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban:
Fizzer: New Gray-Box Fuzzer - (Competition Contribution). 309-313
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MisonizhnikMKKBMI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MisonizhnikMKKBMI24
Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov:
KLEEF: Symbolic Execution Engine (Competition Contribution). 314-319
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/DuttaMJGY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DuttaMJGY24
Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu:
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). 320-325
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BarthDHJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BarthDHJ24
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs:
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). 326-330

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.