- Nicolaj Ø. Jensen, Peter Gjøl Jensen
, Kim G. Larsen:
Dynamic Extrapolation in Extended Timed Automata. ICFEM 2023: 83-99 - Paul Kogel, Verena Klös, Sabine Glesner:
Learning Mealy Machines with Local Timers. ICFEM 2023: 47-64 - Zhongkui Ma:
Verifying Neural Networks by Approximating Convex Hulls. ICFEM 2023: 261-266 - Zhongkui Ma, Xinguo Feng, Zihan Wang, Shuofeng Liu, Mengyao Ma, Hao Guan, Mark Huasong Meng:
Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models. ICFEM 2023: 100-117 - Toby Murray, Pengbo Yan, Gidon Ernst:
Compositional Vulnerability Detection with Insecurity Separation Logic. ICFEM 2023: 65-82 - Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le:
An Idealist's Approach for Smart Contract Correctness. ICFEM 2023: 11-28 - Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy:
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. ICFEM 2023: 249-254 - Irfan Sljivo, Ewen Denney, Jonathan Menzies:
Guided Integration of Formal Verification in Assurance Cases. ICFEM 2023: 172-190 - Sebastian Stock:
Early and Systematic Validation of Formal Models. ICFEM 2023: 255-260 - Sebastian Stock, Atif Mashkoor, Alexander Egyed:
Validation-Driven Development. ICFEM 2023: 191-207 - Huan Wu, Fei Xie, Zhenkun Yang:
Certifying Sequential Consistency of Machine Learning Accelerators. ICFEM 2023: 156-171 - Feng Xu:
Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision. ICFEM 2023: 279-284 - Xiaoyong Xue, Meng Sun:
Branch and Bound for Sigmoid-Like Neural Network Verification. ICFEM 2023: 137-155 - Yilin Yang:
IoT Software Vulnerability Detection Techniques through Large Language Model. ICFEM 2023: 285-290 - Guanqin Zhang:
Eager to Stop: Efficient Falsification of Deep Neural Networks. ICFEM 2023: 267-272 - Yi Li, Sofiène Tahar:
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. Lecture Notes in Computer Science 14308, Springer 2023, ISBN 978-981-99-7583-9 [contents] - 2022
- Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci:
Modular Analysis of Tree-Topology Models. ICFEM 2022: 36-53 - Marko Kleine Büning, Johannes Meuer, Carsten Sinz:
Refined Modularization for Bounded Model Checking Through Precondition Generation. ICFEM 2022: 209-226 - Wenjing Chu, Shuo Chen, Marcello M. Bonsangue:
Non-linear Optimization Methods for Learning Regular Distributions. ICFEM 2022: 54-70 - Robert J. Colvin:
Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. ICFEM 2022: 71-89 - Xavier Denis, Jacques-Henri Jourdan, Claude Marché:
Creusot: A Foundry for the Deductive Verification of Rust Programs. ICFEM 2022: 90-105 - Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Generation of a Reversible Semantics for Erlang in Maude. ICFEM 2022: 106-122 - Carlos Galindo, Sergio Pérez, Josep Silva:
Program Slicing Techniques with Support for Unconditional Jumps. ICFEM 2022: 123-139 - Imane Haur, Jean-Luc Béchennec, Olivier H. Roux:
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. ICFEM 2022: 140-155 - Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao:
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM 2022: 1-19 - Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai:
SMT-Based Model Checking of Industrial Simulink Models. ICFEM 2022: 156-172 - Alex James, Alwen Tiu, Nisansala Yatapanage:
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. ICFEM 2022: 173-189 - Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu:
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. ICFEM 2022: 190-208 - Paul Kogel, Verena Klös, Sabine Glesner:
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM 2022: 227-243 - Ran Li, Huibiao Zhu, Richard Banach:
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM 2022: 244-262
