![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
22nd ICFEM 2020: Singapore
- Shang-Wei Lin
, Zhe Hou
, Brendan P. Mahony:
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
, Carlos E. Budde
, Wojciech Penczek
, Laure Petrucci
, Teofil Sidoruk
, Mariëlle Stoelinga
:
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
, Annabelle McIver
:
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
, Ian Mackie:
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
, Jie An
, Bohua Zhan
, Miaomiao Zhang, Bai Xue
, Naijun Zhan
:
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
, David A. Naumann
, Tamara Rezk:
Type-Based Declassification for Free. 181-197 - Zhe Chen, Yunyun Chen, Robert M. Hierons
, Yifan Wu:
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
, Yutaka Matsuno:
Algebraic Approach for Confidence Evaluation of Assurance Cases. 318-327
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.