default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd 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, Xingyu Zhao:
Bridging Formal Methods and Machine Learning with Global Optimisation. 1-19 - Raúl López-Rueda, Santiago Escobar:
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. 20-35 - Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci:
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, Jacques-Henri Jourdan, Claude Marché:
Creusot: A Foundry for the Deductive Verification of Rust Programs. 90-105 - Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Generation of a Reversible Semantics for Erlang in Maude. 106-122 - Carlos Galindo, Sergio Pérez, Josep Silva:
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, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai:
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, Verena Klös, Sabine Glesner:
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. 227-243 - Ran Li, Huibiao Zhu, Richard Banach:
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. 244-262 - Rubén Rubio, Adrián Riesco:
Theorem Proving for Maude Specifications Using Lean. 263-280 - Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian:
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, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace Refinement in B and Event-B. 316-333 - Fabian Vu, Dominik Brandt, Michael Leuschel:
Model Checking B Models via High-Level Code Generation. 334-351 - Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang:
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, Ana Cavalcanti:
RoboCert: Property Specification in Robotics. 386-403 - Kangfeng Ye, Simon Foster, Jim Woodcock:
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 2026-04-25 00:25 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:
