logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
S

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025

IF
Papers16
Citations
Journal Papers 16
Publication Date
delete
Resilience of Systems Under Maximum Component Deviations
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHammer, Abigail; Zhang, Changjian; Dini, Vick; Wagner, Ryan; Schmerl, Bradley; Kang, Eunsuk; Garlan, David
deleteShare
deleteSave
Reachability Analysis of Upper-Stack Manipulating Binary Code
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLin, Shijie; Touili, Tayssir
deleteShare
deleteSave
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFranceschi, Andrea; Galletta, Letterio; Degano, Pierpaolo
deleteShare
deleteSave
On the Comparison of Learned Classifiers
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSoaibuzzaman; Doering, Jenny; Kasi, Srinivasulu; Ringert, Jan Oliver
deleteShare
deleteSave
ProbTest: Unit Testing for Probabilistic Programs
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChristensen, Katrine; Varshosaz, Mahsa; Pardo, Raul
deleteShare
deleteSave
Observable Semantics for Characterising Consistency Between Heterogeneous Models
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFarber, Henriette; Pascual, Romain; Stubinger, Terru; Ulbrich, Mattias
deleteShare
deleteSave
Are Users More Willing to Use Formally Verified Password Managers?
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCarreira, Carolina; Ferreira, Joao F.; Mendes, Alexandra; Christin, Nicolas
deleteShare
deleteSave
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlbert, Elvira; Genaim, Samir; Gordillo, Pablo; Hernandez-Cerezo, Alejandro; Martin Martin, Enrique; Rubio, Albert
deleteShare
deleteSave
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCarreira, Carolina; Silva, Alvaro; Abreu, Alexandre; Mendes, Alexandra
deleteShare
deleteSave
On the Generation of Invalid Objects for Inferring More Precise Class Invariants
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBoockmann, Jan H.; Jacob, Kerstin; Luettgen, Gerald
deleteShare
deleteSave
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFigge, Julius; Knuplesch, David; Maletti, Andreas; Zuvic, Dragan
deleteShare
deleteSave
Axiomatisation of Solidity Memory and Storage
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteda Silva, Guilherme Horta Alvares; Ahrendt, Wolfgang; Bubel, Richard
deleteShare
deleteSave
Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWu, Valentina; Mendes, Alexandra; Abreu, Alexandre
deleteShare
deleteSave
A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCartellier, Quelen; Frappier, Marc; Mammar, Amel
deleteShare
deleteSave
Certificates and Witnesses for Multi-objective.-Regular Queries in Markov Decision Processes
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaier, Christel; Chau, Calvin; Drobitko, Volodymyr; Jantsch, Simon; Klueppelholz, Sascha
deleteShare
deleteSave
Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAxelsen, Magnus Kallestrup; Kristjansen, Martin; Larsen, Kim Guldstrand; Lauritsen, Thomas Grubbe Sandborg
deleteShare
deleteSave