1 - 3 March 2021 - Singapore
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, and Mariëlle Stoelinga | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agentSystems |
Kosei Fujishiro and Koji Hasebe | Robustness and Failure Detection in Epistemic Gossip Protocols |
Hamid Jahanian and Annabelle McIver | Reasoning with Failures |
Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, and Andrei Paskevich | Verification of Programs with Pointers in SPARK |
Yahui Song and Wei-Ngan Chin | Automated Temporal Verification of Integrated Dependent Effects |
Maribel Fernández and Ian Mackie | A Reversible Operational Semantics for Imperative Programming Languages |
Shikhar Singh and Sarfraz Khurshid | Parallel Chopped Symbolic Execution |
Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, and Naijun Zhan | PAC Learning of Deterministic One-Clock Timed Automata |
Teck Ping Khoo, Jun Sun, and Sudipta Chattopadhyay | Learning Fault Models of Cyber Physical Systems |
Chaoqun Nie, Jianqi Shi, and Yanhong Huang | VARF: Verifying and Analyzing Robustness of Random Forests |
Minh Ngo, David A. Naumann, and Tamara Rezk | Type-Based Declassification for Free |
Zhe Chen, Yunyun Chen, Robert M. Hierons, and Yifan Wu | Four-Valued Monitor ability of w-Regular Languages |
Suneel Sarswat and Abhishek Kr Singh | Formally Verified Trades in Financial Markets |
Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, and Yong Guan | Formalizing the Transaction Flow Process of Hyperledger Fabric |
Guillaume Dupont, Yamine Aït-Ameur, Neeraj K. Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, and Marc Pantel | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement (Winner of the ICFEM 2020 Best Paper Award) |
Muhammad Usama Sardar, Rasha Faqeh, and Christof Fetzer | Formal Foundations for Intel SGX Data Center Attestation Primitives |
Hao Bu and Meng Sun | Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq |
Yunjun Bai and Kaushik Mallik | Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances |
Inna Vistbakka and Elena Troubitsyna | Formalising Privacy-Preserving Constraints in Microservices Architecture |
Yoriyuki Yamagata and Yutaka Matsuno | Algebraic Approach for Confidence Evaluation of Assurance Cases |
Li Shaofeng, Qiao Lei, and Yang Mengfei | Verification of a TLSF Algorithm in Embedded System |
ICFEM'18 is an outstanding opportunity for you to reach the ‘thought leaders’ in this industry with your message, and for your Software Engineering team to network and exchange ideas with their peers in this unique and innovative forum.
Sponsors are offered the opportunity to reach over 100 software engineering experts, including researchers and industry practitioners such as developers, QA and engineering managers.
New sponsorship are welcome and any entity wishing to become an official sponsor may contact the sponsorship chair.
Jin Song Dong, NUS and Griffith University, Singapore/Australia Jim McCarthy, Defence Science and Technology, Australia
Shang-Wei Lin, Nanyang Technological University, Singapore Zhe Hou, Griffith University, Australia Brendan Mahony, Defence Science and Technology, Australia
Yang Liu, Nanyang Technological University, Singapore Jun Sun, Singapore University of Technology and Design, Singapore
Hadrien Bride, Griffith University, Australia
Lei Ma, Kyushu University, Japan Weiyi Shang, Concordia University, Canada Xiaoning Du, Nanyang Technological University, Singapore