| 2019 | A Coalgebraic Semantics Framework for Quantum Systems. Ai Liu, Meng Sun |
| 2019 | A First Step in the Translation of Alloy to Coq. Salwa Souaf, Frédéric Loulergue |
| 2019 | A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
| 2019 | A Mechanized Theory of Program Refinement. Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux |
| 2019 | A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin |
| 2019 | A Note on Failure Mode Reasoning. Hamid Jahanian |
| 2019 | A Performance-Sensitive Malware Detection System on Mobile Platform. Ruitao Feng, Yang Liu, Shangwei Lin |
| 2019 | A Relational Static Semantics for Call Graph Construction. Xilong Zhuo, Chenyi Zhang |
| 2019 | A Reo Model of Software Defined Networks. Hui Feng, Farhad Arbab, Marcello M. Bonsangue |
| 2019 | A Security Calculus for Wireless Networks of Named Data Networking. Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin |
| 2019 | An Axiomatisation of the Probabilistic \mu -Calculus. Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang |
| 2019 | Assessment of a Formal Requirements Modeling Approach on a Transportation System. Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili |
| 2019 | Automatic Modularization of Large Programs for Bounded Model Checking. Marko Kleine Büning, Carsten Sinz |
| 2019 | Automatic Verification for Node-Based Visual Script Notation Using Model Checking. Isamu Hasegawa, Tomoyuki Yokogawa |
| 2019 | Certifying Hardware Model Checking Results. Zhengqi Yu, Armin Biere, Keijo Heljanko |
| 2019 | Combining Parallel Emptiness Checks with Partial Order Reductions. Denis Poitrenaud, Etienne Renault |
| 2019 | Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. Klaus-Dieter Schewe |
| 2019 | Design Model Repair with Formal Verification. Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2019 | Design of Point-and-Click User Interfaces for Proof Assistants. Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun |
| 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek |
| 2019 | Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings Yamine Aït Ameur, Shengchao Qin |
| 2019 | Formal Specification and Verification of Smart Contracts. Jiao Jiao |
| 2019 | On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa |
| 2019 | PDNet: A Programming Language for Software-Defined Networks with VLAN. Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu |
| 2019 | Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. Yongjian Li, Bow-Yaw Wang |
| 2019 | Probably Approximate Safety Verification of Hybrid Dynamical Systems. Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran |
| 2019 | Reasoning About Universal Cubes in MCMT. Sylvain Conchon, Mattias Roux |
| 2019 | Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. Jay Hoon Jung, YoungMin Kwon |
| 2019 | SMTBCF: Efficient Backbone Computing for SMT Formulas. Yueling Zhang, Geguang Pu, Min Zhang |
| 2019 | Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. Yang Liu, Lei Ma, Jianjun Zhao |
| 2019 | Simulations for Multi-Agent Systems with Imperfect Information. Patrick Gardy, Yuxin Deng |
| 2019 | Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2019 | Spatio-Temporal Specification Language for Cyber-Physical Systems. Tengfei Li |
| 2019 | SqlSol: An accurate SQL Query Synthesizer. Lin Cheng |
| 2019 | Synthesizing Nested Ranking Functions for Loop Programs via SVM. Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang |
| 2019 | Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han |
| 2019 | Using DimSpec for Bounded and Unbounded Software Model Checking. Marko Kleine Büning, Tomás Balyo, Carsten Sinz |
| 2019 | sCompile: Critical Path Identification and Analysis for Smart Contracts. Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang |