| 2018 | Statistical Model Checking of Response Times for Different System Deployments. | Bernhard K. Aichernig, Severin Kann, Richard Schumi |
| 2018 | Developing GUI Applications in a Verified Setting. | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
| 2018 | Robust Non-termination Analysis of Numerical Software. | Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang |
| 2017 | AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. | Zipeng Zhang, Xinyu Feng |
| 2017 | Remark on Some \pi Variants. | Jianxin Xue, Huan Long, Yuxi Fu |
| 2017 | Formalizing SPARCv8 Instruction Set Architecture in Coq. | Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng |
| 2017 | Nested Timed Automata with Invariants. | Yuwei Wang, Guoqiang Li, Shoji Yuen |
| 2017 | How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. | Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Marille Stoelinga |
| 2017 | On the Criticality of Probabilistic Worst-Case Execution Time Models. | Luca Santinelli, Zhishan Guo |
| 2017 | Construction of Abstract State Graphs for Understanding Event-B Models. | Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden |
| 2017 | A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. | Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan |
| 2017 | Computing Exact Loop Bounds for Bounded Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri |
| 2017 | Reasoning About Periodicity on Infinite Words. | Wanwei Liu, Fu Song, Ge Zhou |
| 2017 | Termination of Semi-algebraic Loop Programs. | Yi Li |
| 2017 | General Lessons from a Rely/Guarantee Development. | Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage |
| 2017 | PranCS: A Protocol and Discrete Controller Synthesis Tool. | Idress Husien, Sven Schewe, Nicolas Berthier |
| 2017 | Formal Analysis of Information Flow in HOL. | Ghassen Helali, Sofine Tahar, Osman Hasan, Tsvetan Dunchev |
| 2017 | Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. | Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni |
| 2017 | Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. | Dimitar P. Guelev, Shuling Wang, Naijun Zhan |
| 2017 | On Equivalence Checking of Nondeterministic Finite Automata. | Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang |
| 2017 | A Framework for Modeling and Verifying IoT Communication Protocols. | Maithily Diwan, Meenakshi D'Souza |
| 2017 | Multi-core Cyclic Executives for Safety-Critical Systems. | Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah |
| 2017 | Better Automated Importance Splitting for Transient Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2016 | Identifying XML Schema Constraints Using Temporal Logic. | Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu |
| 2016 | Divergence Detection for CCSL Specification via Clock Causality Chain. | Qingguo Xu, Robert de Simone, Julien DeAntoni |