default search action
23rd ICFEM 2022: Madrid, Spain
- Adrián Riesco
, Min Zhang
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13478, Springer 2022, ISBN 978-3-031-17243-4 - Xiaowei Huang, Wenjie Ruan, Qiyi Tang
Bridging Formal Methods and Machine Learning with Global Optimisation. 1-19 - Raúl López-Rueda
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. 20-35 - Jaime Arias
Modular Analysis of Tree-Topology Models. 36-53 - Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
Non-linear Optimization Methods for Learning Regular Distributions. 54-70 - Robert J. Colvin:
Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. 71-89 - Xavier Denis
Creusot: A Foundry for the Deductive Verification of Rust Programs. 90-105 - Giovanni Fabbretti
Generation of a Reversible Semantics for Erlang in Maude. 106-122 - Carlos Galindo
Program Slicing Techniques with Support for Unconditional Jumps. 123-139 - Imane Haur, Jean-Luc Béchennec, Olivier H. Roux:
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. 140-155 - Daisuke Ishii, Takashi Tomita
SMT-Based Model Checking of Industrial Simulink Models. 156-172 - Alex James, Alwen Tiu, Nisansala Yatapanage
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. 173-189 - Ke Jiang, Tianwei Zhang, David Sanán, Yongwang Zhao, Yang Liu
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. 190-208 - Marko Kleine Büning, Johannes Meuer, Carsten Sinz:
Refined Modularization for Bounded Model Checking Through Precondition Generation. 209-226 - Paul Kogel
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. 227-243 - Ran Li
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. 244-262 - Rubén Rubio
Theorem Proving for Maude Specifications Using Lean. 263-280 - Yuvaraj Selvaraj
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. 281-297 - Graeme Smith
Declassification Predicates for Controlled Information Release. 298-315 - Sebastian Stock
Trace Refinement in B and Event-B. 316-333 - Fabian Vu
Model Checking B Models via High-Level Code Generation. 334-351 - Hongmeng Wang, Huan Long
On Probabilistic Extension of the Interaction Theory. 352-369 - Zeming Wei, Xiyue Zhang, Meng Sun:
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. 370-385 - Matt Windsor
RoboCert: Property Specification in Robotics. 386-403 - Kangfeng Ye, Simon Foster
Formally Verified Animation for RoboChart Using Interaction Trees. 404-420 - Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan:
Machine-Checked Executable Semantics of Stateflow. 421-438
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 2024-11-04 20:31 CET 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: