ICFEM

Keyphrases

Publications

2023

Sebastian Stock
Early and Systematic Validation of Formal Models. ICFEM (2023)
Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen
Dynamic Extrapolation in Extended Timed Automata. ICFEM (2023)
Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. ICFEM (2023)
Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning. ICFEM (2023)
Quelen Cartellier, Marc Frappier, Amel Mammar
Proving Local Invariants in ASTDs. ICFEM (2023)
Zhongkui Ma
Verifying Neural Networks by Approximating Convex Hulls. ICFEM (2023)
Feng Xu
Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision. ICFEM (2023)
Yilin Yang
IoT Software Vulnerability Detection Techniques through Large Language Model. ICFEM (2023)
Huan Wu, Fei Xie, Zhenkun Yang
Certifying Sequential Consistency of Machine Learning Accelerators. ICFEM (2023)
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)
Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
An Idealist's Approach for Smart Contract Correctness. ICFEM (2023)
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
Active Inference of EFSMs Without Reset. ICFEM (2023)
Irfan Sljivo, Ewen Denney, Jonathan Menzies
Guided Integration of Formal Verification in Assurance Cases. ICFEM (2023)
Xiaoyong Xue, Meng Sun
Branch and Bound for Sigmoid-Like Neural Network Verification. ICFEM (2023)
Max Blankestijn, Alfons Laarman
Incremental Property Directed Reachability. ICFEM (2023)
Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes
Trace Models of Concurrent Valuation Algebras. ICFEM (2023)
Toby Murray, Pengbo Yan, Gidon Ernst
Compositional Vulnerability Detection with Insecurity Separation Logic. ICFEM (2023)
Paul Kogel, Verena Klös, Sabine Glesner
Learning Mealy Machines with Local Timers. ICFEM (2023)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Validation-Driven Development. ICFEM (2023)
Xiao Cheng
Vulnerability Detection via Typestate-Guided Code Representation Learning. ICFEM (2023)
Ian J. Hayes, Mark Utting, Brae J. Webb
Verifying Compiler Optimisations - (Invited Paper). ICFEM (2023)
Guanqin Zhang
Eager to Stop: Efficient Falsification of Deep Neural Networks. ICFEM (2023)

volume 14308, 2023

Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings ICFEM 14308 (2023)

2022

volume 13478, 2022

Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings ICFEM 13478 (2022)

volume 12531, 2020

Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings ICFEM 12531 (2020)