| 2019 | Combining Parallel Emptiness Checks with Partial Order Reductions. | Denis Poitrenaud, Etienne Renault |
| 2019 | Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. | Yongjian Li, Bow-Yaw Wang |
| 2019 | A Coalgebraic Semantics Framework for Quantum Systems. | Ai Liu, Meng Sun |
| 2019 | Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. | Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han |
| 2019 | Synthesizing Nested Ranking Functions for Loop Programs via SVM. | Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang |
| 2019 | Spatio-Temporal Specification Language for Cyber-Physical Systems. | Tengfei Li |
| 2019 | Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. | Jay Hoon Jung, YoungMin Kwon |
| 2019 | Formal Specification and Verification of Smart Contracts. | Jiao Jiao |
| 2019 | A Note on Failure Mode Reasoning. | Hamid Jahanian |
| 2019 | Automatic Verification for Node-Based Visual Script Notation Using Model Checking. | Isamu Hasegawa, Tomoyuki Yokogawa |
| 2019 | On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. | Leandro Gomes, Alexandre Madeira, Manisha Jain, Lus Soares Barbosa |
| 2019 | Simulations for Multi-Agent Systems with Imperfect Information. | Patrick Gardy, Yuxin Deng |
| 2019 | Assessment of a Formal Requirements Modeling Approach on a Transportation System. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili |
| 2019 | A Reo Model of Software Defined Networks. | Hui Feng, Farhad Arbab, Marcello M. Bonsangue |
| 2019 | A Performance-Sensitive Malware Detection System on Mobile Platform. | Ruitao Feng, Yang Liu, Shangwei Lin |
| 2019 | A Security Calculus for Wireless Networks of Named Data Networking. | Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin |
| 2019 | A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. | Yassmeen Elderhalli, Osman Hasan, Sofine Tahar |
| 2019 | Reasoning About Universal Cubes in MCMT. | Sylvain Conchon, Mattias Roux |
| 2019 | SqlSol: An accurate SQL Query Synthesizer. | Lin Cheng |
| 2019 | sCompile: Critical Path Identification and Analysis for Smart Contracts. | Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang |
| 2019 | Design Model Repair with Formal Verification. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2019 | Automatic Modularization of Large Programs for Bounded Model Checking. | Marko Kleine Bning, Carsten Sinz |
| 2019 | Using DimSpec for Bounded and Unbounded Software Model Checking. | Marko Kleine Bning, Toms Balyo, Carsten Sinz |
| 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. | Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polcek, David Safrnek |
| 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 |