default search action

combined dblp search
author search
venue search
publication search

ask others

28th FASE 2025: Hamilton, ON, Canada

> Home > Conferences and Workshops > FASE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fase/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2025
Artur Boronat, Gordon Fraser:
Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings. Lecture Notes in Computer Science 15693, Springer 2025, ISBN 978-3-031-90899-6
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Meseguer25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Meseguer25
José Meseguer:
Capturing System Designs with Formal Executable Specifications. 1-32
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LiYZSZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LiYZSZ25
Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang:
Towards Large Language Model Guided Kernel Direct Fuzzing. 33-42
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LuLHYCYZZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LuLHYCYZZ25
Junyi Lu, Xiaojia Li, Zihan Hua, Lei Yu, Shiqi Cheng, Li Yang, Fengjun Zhang, Chun Zuo:
DeepCRCEval: Revisiting the Evaluation of Code Review Comment Generation. 43-64
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChenCSWW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChenCSWW25
Jia Chen, Xiaolei Chen, Jie Shi, Peng Wang, Wei Wang:
VOCE: A Virtual On-Call Engineer for Automated Alert Incident Analysis Using a Large Language Model. 65-88
- view
  authority control:
- export record
  dblp key:
  - conf/fase/KhatchadourianVBJR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KhatchadourianVBJR25
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja:
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution. 89-100
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SamadiBH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SamadiBH25
Mahboubeh Samadi, Aryan Bastany, Hossein Hojjat:
Compositional Learning for Synchronous Parallel Automata. 101-121
- view
  authority control:
- export record
  dblp key:
  - conf/fase/GhaffariVJW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GhaffariVJW25
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski:
Symbolic State Partitioning for Reinforcement Learning. 122-144
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BaxterAKWCG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BaxterAKWCG25
James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes:
Formal Architectural Patterns for Adaptive Robotic Software. 145-165
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HendryCMC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HendryCMC25
Holly Hendry, Ana Cavalcanti, Cade McCall, Mark Chattington:
RoboScene: Notation for Formal Verification of Human-Robot Interaction. 166-187
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SchneiderMG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SchneiderMG25
Sven Schneider, Maria Maximova, Holger Giese:
Stochastic Timed Graph Transformation Systems. 188-213
- view
  authority control:
- export record
  dblp key:
  - conf/fase/FerreolCK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FerreolCK25
Axel Ferréol, Laurent Corbin, Nikolai Kosmatov:
Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor. 214-235
- view
  authority control:
- export record
  dblp key:
  - conf/fase/PaganoniF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PaganoniF25
Marco Paganoni, Carlo A. Furia:
Reasoning about Substitutability at the Level of JVM Bytecode. 236-256
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Beyer25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Beyer25
Dirk Beyer:
Advances in Automatic Software Testing: Test-Comp 2025. 257-274
- view
  authority control:
- export record
  dblp key:
  - conf/fase/JonasST25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JonasST25
Martin Jonás, Jan Strejcek, Marek Trtík:
Fizzer with Local Space Fuzzing - (Competition Contribution). 275-280
- view
  authority control:
- export record
  dblp key:
  - conf/fase/WeiWMSAGAFC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/WeiWMSAGAFC25
Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). 281-286

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.