default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th ICFEM 2024: Hiroshima, Japan
- Kazuhiro Ogata
, Dominique Méry, Meng Sun, Shaoying Liu:
Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings. Lecture Notes in Computer Science 15394, Springer 2024, ISBN 978-981-96-0616-0 - Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang:
NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. 1-17 - Tsutomu Kobayashi, Fuyuki Ishikawa:
Repairing Event-B Models Through Quantifier Elimination. 18-36 - Étienne André:
Tuning Trains Speed in Railway Scheduling. 37-50 - Étienne André, Sarah Dépernet, Engel Lefaucheux:
The Bright Side of Timed Opacity. 51-69 - Jeremy Sproston:
Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. 70-84 - Julian Klein, Paul Kogel, Sabine Glesner:
Efficient State Estimation of Discrete-Timed Automata. 85-105 - Yuxiang Shang, Shaoying Liu:
LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. 106-124 - Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan:
Quantitative Symbolic Robustness Verification for Quantized Neural Networks. 125-145 - Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin:
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. 146-161 - Kubra Aksoy, Adnan Rashid, Sofiène Tahar:
Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. 162-180 - Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau:
Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. 181-198 - Chen-Kai Lin, Bow-Yaw Wang:
Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. 199-215 - Otto Brechelmacher, Dejan Nickovic, Tobias Nießen, Sarah Sallinger, Georg Weissenbacher:
Differential Property Monitoring for Backdoor Detection. 216-236 - Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin:
MemSpate: Memory Usage Protocol Guided Fuzzing. 237-256 - Guowei Dou, Si Chen, Wensheng Yu, Ru Zhang:
The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters - A Coq Formal Verification. 257-277 - Guisen Wu, Zhiming Liu, Jun Pang:
Observability of Boolean Control Networks: New Definition and Verification Algorithm. 278-296 - Elif Deniz, Sofiène Tahar:
Formalizing Potential Flows Using the HOL Light Theorem Prover. 297-313 - Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont:
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. 314-331 - Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque:
Efficient SMT-Based Model Checking for HyperTWTL. 332-352 - Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata:
A Tableau-Based Approach to Model Checking Linear Temporal Properties. 353-374 - David Doose, Julien Brunel:
Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. 375-390 - Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong:
Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. 391-407
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.
last updated on 2026-04-23 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
