default search action
22nd ICFEM 2020: Singapore
- Shang-Wei Lin
, Zhe Hou
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Lecture Notes in Computer Science 12531, Springer 2020, ISBN 978-3-030-63405-6
Safety and Security
- Jaime Arias
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. 3-19 - Kosei Fujishiro, Koji Hasebe:
Robustness and Failure Detection in Epistemic Gossip Protocols. 20-35 - Hamid Jahanian
Reasoning with Failures. 36-52
Program Verification
- Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich:
Verification of Programs with Pointers in SPARK. 55-72 - Yahui Song, Wei-Ngan Chin:
Automated Temporal Verification of Integrated Dependent Effects. 73-90 - Maribel Fernández
A Reversible Operational Semantics for Imperative Programming Languages. 91-106 - Shikhar Singh, Sarfraz Khurshid:
Parallel Chopped Symbolic Execution. 107-125
Formal Methods and Machine Learning
- Wei Shen
PAC Learning of Deterministic One-Clock Timed Automata. 129-146 - Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay:
Learning Fault Models of Cyber Physical Systems. 147-162 - Chaoqun Nie, Jianqi Shi, Yanhong Huang:
VARF: Verifying and Analyzing Robustness of Random Forests. 163-178
Formal Languages
- Minh Ngo
Type-Based Declassification for Free. 181-197 - Zhe Chen, Yunyun Chen, Robert M. Hierons
Four-Valued Monitorability of ømega-Regular Languages. 198-214
Other Applications of Formal Methods
- Suneel Sarswat, Abhishek Kr Singh:
Formally Verified Trades in Financial Markets. 217-232 - Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan:
Formalizing the Transaction Flow Process of Hyperledger Fabric. 233-250 - Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel:
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. 251-267 - Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer:
Formal Foundations for Intel SGX Data Center Attestation Primitives. 268-283
Short Papers
- Hao Bu, Meng Sun:
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. 287-296 - Yunjun Bai, Kaushik Mallik:
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. 297-307 - Inna Vistbakka, Elena Troubitsyna:
Formalising Privacy-Preserving Constraints in Microservices Architecture. 308-317 - Yoriyuki Yamagata
Algebraic Approach for Confidence Evaluation of Assurance Cases. 318-327
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-20 21:05 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: