default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st SFPVV 2024: Hiroshima, Japan
- Shaoying Liu
:
Software Fault Prevention, Verification, and Validation - First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings. Lecture Notes in Computer Science 15393, Springer 2025, ISBN 978-981-96-1620-6 - Yu Du, Shaoying Liu:
A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications. 1-14 - Canh Minh Do, Kazuhiro Ogata:
An Executable Operational Semantics of Quantum Programs and Its Application. 15-31 - Yujin Zhu, Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi:
Automated Software Test Input Generation with Diffusion Models. 32-48 - Phan Hoang Tuan Trung, Tran Dang Khoa, Nghiem Pham Thanh, Tran Ba Nam, Nguyen Thi Kim Ngan, Doan Minh Hieu, Loc Van Cao Phu:
Blockchain Solutions for Cash-on-Delivery: Utilizing Encrypted NFTs, Smart Contracts, and IPFS Technology. 49-63 - Phan Hoang Tuan Trung, Tran Dang Khoa, Nghiem Pham Thanh, Tran Ba Nam, Nguyen Thi Kim Ngan, Doan Minh Hieu, Loc Van Cao Phu:
Revolutionizing Animal Health Privacy: Blockchain and Encrypted NFTs. 64-78 - Jonas Brager Jacobsen, Jingyue Li, Mathias Lundteigen Mohus:
Improving and Evaluating Sparse Decision-Based Black-Box Attacks and Defenses. 79-96 - Jiandong Li, Shaoying Liu, Zhi Jin:
Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java Code. 97-114 - Yilongfei Xu, Zhewei Wang, Jinhao Liang, Yueling Zhang, Jincao Feng, Weikai Miao, Jiangtao Wang, Geguang Pu:
S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. 115-130 - Fumiko Nagoya:
Consistency Naming Between Requirements Analysis and Specifications. 131-140 - Jilu Zhang, Yong Cai, Weikai Miao, Zhouyang Wang:
A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics Systems. 141-157 - Ali Jannatpour, Constantinos Constantinides:
A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools. 158-176 - Xiong Deng, Shaoying Liu, Yanli Liu:
The Three-Point Optimization Algorithm: A Novel Physics-Based Metaheuristic Approach. 177-188 - Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur, Marc Pantel:
Generating Simulink Models from Hybridised Event-B Models. 189-207 - Tomoyoshi Ogura, Canh Minh Do, Kazuhiro Ogata:
Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude. 208-225 - Zhiru Hou, Huibiao Zhu:
Relational Denotational and Algebraic Semantics Based on UTP. 226-244 - Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif:
ASTD Patterns for Integrated Continuous Anomaly Detection in Data Logs. 245-262 - Felix Schaber, Atif Mashkoor, Michael Leuschel:
Towards a Novel Approach to Railway Safety Using STPA and Promise Theory. 263-279 - Zikang Wan, Zhen You, Chen Zhang, Zhengkang Zuo, Changjing Wang, Qimin Hu:
Functional Modelling of the Matroid and Application to the Knapsack Problem. 280-291
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 2025-06-21 00:33 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:
