| 2016 | A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova |
| 2016 | A CEGAR Scheme for Information Flow Analysis. Manuel Töws, Heike Wehrheim |
| 2016 | A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |
| 2016 | A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns |
| 2016 | A General Lattice Model for Merging Symbolic Execution Branches. Dominic Scheurer, Reiner Hähnle, Richard Bubel |
| 2016 | A System Substitution Mechanism for Hybrid Systems in Event-B. Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel |
| 2016 | An Event-B Development Process for the Distributed BIP Framework. Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali |
| 2016 | An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. Min Zhang, Frédéric Mallet, Huibiao Zhu |
| 2016 | Automated Requirements Validation for ATP Software via Specification Review and Testing. Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong |
| 2016 | Automatic Generation of Potentially Pathological Instances for Validating Alloy Models. Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. Marco Rocchetto, Nils Ole Tippenhauer |
| 2016 | Checking SysML Models for Co-simulation. Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock |
| 2016 | Concolic Unbounded-Thread Reachability via Loop Summaries. Peizun Liu, Thomas Wahl |
| 2016 | Contextual Trace Refinement for Concurrent Objects: Safety and Progress. Brijesh Dongol, Lindsay Groves |
| 2016 | Decision Problems for Parametric Timed Automata. Étienne André, Didier Lime, Olivier H. Roux |
| 2016 | Formal Availability Analysis Using Theorem Proving. Waqar Ahmad, Osman Hasan |
| 2016 | Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings Kazuhiro Ogata, Mark Lawford, Shaoying Liu |
| 2016 | Formal Verification of the rank Algorithm for Succinct Data Structures. Akira Tanaka, Reynald Affeldt, Jacques Garrigue |
| 2016 | Local Livelock Analysis of Component-Based Models. Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti |
| 2016 | Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet |
| 2016 | Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. Richard Banach, Michael J. Butler |
| 2016 | Multi-threaded On-the-Fly Model Generation of Malware with Hash Compaction. Minh Hai Nguyen, Quan Thanh Tho, Le Duc Anh |
| 2016 | Partial Order Reduction for State/Event Systems. Shuanglong Kan, Zhiqiu Huang, Zhe Chen |
| 2016 | Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). Keijiro Araki, Taro Kurita |
| 2016 | Proving Event-B Models with Reusable Generic Lemmas. Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky |
| 2016 | Scaling BDD-based Timed Verification with Simulation Reduction. Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2016 | Service Adaptation with Probabilistic Partial Models. Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong |
| 2016 | Session-Based Compositional Analysis for Actor-Based Languages Using Futures. Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen |
| 2016 | Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi |
| 2016 | Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. Saurabh Gadia, Cyrille Artho, Gedare Bloom |