| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy |
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.  |
ICFEM  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Cheng 0002 |
Vulnerability Detection via Typestate-Guided Code Representation Learning. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanqin Zhang |
Eager to Stop: Efficient Falsification of Deep Neural Networks. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Sljivo, Ewen Denney, Jonathan Menzies |
Guided Integration of Formal Verification in Assurance Cases. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Foster 0001, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw |
Active Inference of EFSMs Without Reset. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tai D. Nguyen, Long H. Pham, Jun Sun 0001, Quang Loc Le |
An Idealist's Approach for Smart Contract Correctness. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Mark Utting, Brae J. Webb |
Verifying Compiler Optimisations - (Invited Paper). |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyong Xue, Meng Sun 0002 |
Branch and Bound for Sigmoid-Like Neural Network Verification. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Huan Wu, Fei Xie, Zhenkun Yang |
Certifying Sequential Consistency of Machine Learning Accelerators. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yilin Yang |
IoT Software Vulnerability Detection Techniques through Large Language Model. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Li 0008, Sofiène Tahar (eds.) |
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Murray, Pengbo Yan, Gidon Ernst |
Compositional Vulnerability Detection with Insecurity Separation Logic. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Stock 0002 |
Early and Systematic Validation of Formal Models. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen |
Dynamic Extrapolation in Extended Timed Automata. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes |
Trace Models of Concurrent Valuation Algebras. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Xu |
Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Blankestijn, Alfons Laarman |
Incremental Property Directed Reachability. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongkui Ma |
Verifying Neural Networks by Approximating Convex Hulls. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Quelen Cartellier, Marc Frappier, Amel Mammar |
Proving Local Invariants in ASTDs. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Kogel, Verena Klös, Sabine Glesner |
Learning Mealy Machines with Local Timers. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Stock 0002, Atif Mashkoor, Alexander Egyed |
Validation-Driven Development. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan |
Machine-Checked Executable Semantics of Stateflow. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeming Wei, Xiyue Zhang, Meng Sun 0002 |
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Kogel, Verena Klös, Sabine Glesner |
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Generation of a Reversible Semantics for Erlang in Maude. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl López-Rueda, Santiago Escobar 0001 |
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Jiang, Tianwei Zhang 0004, David Sanán, Yongwang Zhao, Yang Liu 0003 |
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Denis, Jacques-Henri Jourdan, Claude Marché |
Creusot: A Foundry for the Deductive Verification of Rust Programs. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Vu, Dominik Brandt, Michael Leuschel |
Model Checking B Models via High-Level Code Generation. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Galindo 0002, Sergio Pérez 0001, Josep Silva |
Program Slicing Techniques with Support for Unconditional Jumps. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Windsor, Ana Cavalcanti 0001 |
RoboCert: Property Specification in Robotics. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang 0001, Wenjie Ruan, Qiyi Tang 0001, Xingyu Zhao 0001 |
Bridging Formal Methods and Machine Learning with Global Optimisation. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Kleine Büning, Johannes Meuer, Carsten Sinz |
Refined Modularization for Bounded Model Checking Through Precondition Generation. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rubén Rubio, Adrián Riesco 0001 |
Theorem Proving for Maude Specifications Using Lean. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Chu, Shuo Chen 0010, Marcello M. Bonsangue |
Non-linear Optimization Methods for Learning Regular Distributions. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Li, Huibiao Zhu, Richard Banach |
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang |
On Probabilistic Extension of the Interaction Theory. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed |
Trace Refinement in B and Event-B. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001 |
Declassification Predicates for Controlled Information Release. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Min Zhang 0002 (eds.) |
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kangfeng Ye, Simon Foster 0001, Jim Woodcock 0001 |
Formally Verified Animation for RoboChart Using Interaction Trees. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Colvin |
Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, Michal Knapik, Wojciech Penczek, Laure Petrucci |
Modular Analysis of Tree-Topology Models. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Imane Haur, Jean-Luc Béchennec, Olivier H. Roux |
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex James, Alwen Tiu, Nisansala Yatapanage |
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoriyuki Yamagata, Yutaka Matsuno |
Algebraic Approach for Confidence Evaluation of Assurance Cases. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga |
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer |
Formal Foundations for Intel SGX Data Center Attestation Primitives. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaoqun Nie, Jianqi Shi, Yanhong Huang |
VARF: Verifying and Analyzing Robustness of Random Forests. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Jahanian, Annabelle McIver |
Reasoning with Failures. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosei Fujishiro, Koji Hasebe |
Robustness and Failure Detection in Epistemic Gossip Protocols. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Shen, Jie An 0001, Bohua Zhan, Miaomiao Zhang, Bai Xue 0001, Naijun Zhan |
PAC Learning of Deterministic One-Clock Timed Automata. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Chen, Ximeng Li 0003, Qianying Zhang, Zhiping Shi 0002, Yong Guan |
Formalizing the Transaction Flow Process of Hyperledger Fabric. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin 0001, Zhe Hou, Brendan P. Mahony (eds.) |
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich |
Verification of Programs with Pointers in SPARK. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Teck Ping Khoo, Jun Sun 0001, Sudipta Chattopadhyay 0001 |
Learning Fault Models of Cyber Physical Systems. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Vistbakka, Elena Troubitsyna |
Formalising Privacy-Preserving Constraints in Microservices Architecture. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yahui Song, Wei-Ngan Chin |
Automated Temporal Verification of Integrated Dependent Effects. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunjun Bai, Kaushik Mallik |
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Ngo, David A. Naumann, Tamara Rezk |
Type-Based Declassification for Free. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Chen 0011, Yunyun Chen, Robert M. Hierons, Yifan Wu |
Four-Valued Monitorability of ømega-Regular Languages. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Bu, Meng Sun 0002 |
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie |
A Reversible Operational Semantics for Imperative Programming Languages. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Suneel Sarswat, Abhishek Kr Singh |
Formally Verified Trades in Financial Markets. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikhar Singh, Sarfraz Khurshid |
Parallel Chopped Symbolic Execution. |
ICFEM |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ximeng Li 0003, Zhiping Shi 0002, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han |
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Cheng |
SqlSol: An accurate SQL Query Synthesizer. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bai Xue 0001, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran |
Probably Approximate Safety Verification of Hybrid Dynamical Systems. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili |
Assessment of a Formal Requirements Modeling Approach on a Transportation System. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Gardy, Yuxin Deng |
Simulations for Multi-Agent Systems with Imperfect Information. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun 0001, Yan Cai 0001, Zijiang Yang 0006 |
sCompile: Critical Path Identification and Analysis for Smart Contracts. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Shengchao Qin (eds.) |
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin |
A Security Calculus for Wireless Networks of Named Data Networking. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay Hoon Jung, YoungMin Kwon |
Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ai Liu, Meng Sun 0002 |
A Coalgebraic Semantics Framework for Quantum Systems. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe |
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek |
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Li, Xuechao Sun, Yong Li 0031, Andrea Turrini, Lijun Zhang 0001 |
Synthesizing Nested Ranking Functions for Loop Programs via SVM. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Li, Bow-Yaw Wang |
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Feng, Farhad Arbab, Marcello M. Bonsangue |
A Reo Model of Software Defined Networks. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tengfei Li 0002 |
Spatio-Temporal Specification Language for Cyber-Physical Systems. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux |
A Mechanized Theory of Program Refinement. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yueling Zhang, Geguang Pu, Min Zhang |
SMTBCF: Efficient Backbone Computing for SMT Formulas. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Kleine Büning, Tomás Balyo, Carsten Sinz |
Using DimSpec for Bounded and Unbounded Software Model Checking. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Gomes 0001, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa |
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiao Jiao |
Formal Specification and Verification of Smart Contracts. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongdong An, Jing Liu 0012, Xiaohong Chen 0007, Tengfei Li 0002, Ling Yin |
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruitao Feng, Yang Liu 0003, Shangwei Lin 0001 |
A Performance-Sensitive Malware Detection System on Mobile Platform. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Salwa Souaf, Frédéric Loulergue |
A First Step in the Translation of Alloy to Coq. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengqi Yu, Armin Biere, Keijo Heljanko |
Certifying Hardware Model Checking Results. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu |
PDNet: A Programming Language for Software-Defined Networks with VLAN. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Kleine Büning, Carsten Sinz |
Automatic Modularization of Large Programs for Bounded Model Checking. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Poitrenaud, Etienne Renault |
Combining Parallel Emptiness Checks with Partial Order Reductions. |
ICFEM |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license