| 2016 | Performance Evaluation of Concurrent Data Structures. | Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen |
| 2016 | Semipositivity in Separation Logic with Two Variables. | Zhilin Wu |
| 2016 | Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems. | Qiang Wang |
| 2016 | Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems. | Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose |
| 2016 | GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. | Andrzej Mizera, Jun Pang, Qixia Yuan |
| 2016 | Failure Estimation of Behavioral Specifications. | Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey |
| 2016 | Computing Specification-Sensitive Abstractions for Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri |
| 2016 | An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. | Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang |
| 2016 | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2016 | A Complete Approximation Theory for Weighted Transition Systems. | Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue |
| 2016 | A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. | Ernst Moritz Hahn, Arnd Hartmanns |
| 2016 | Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. | Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai |
| 2016 | Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. | Wenjie Du, Yuxin Deng, Daniel Gebler |
| 2016 | Place Bisimulation and Liveness for Open Petri Nets. | Xiaoju Dong, Yuxi Fu, Daniele Varacca |
| 2016 | Distributed Computation of Fixed Points on Dependency Graphs. | Andreas Engelbredt Dalsgaard, Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2016 | Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. | Waqar Ahmad, Osman Hasan |
| 2016 | Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. | Erika brahm, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro |
| 2016 | Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. | Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto |
| 2015 | PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation. | Junxian Zhang, Zhoujun Li, Xianchen Zheng |
| 2015 | Assertion-Directed Precondition Synthesis for Loops over Data Structures. | Juan Zhai, Hanfei Wang, Jianhua Zhao |
| 2015 | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2015 | Generating Specifications for Recursive Methods by Abstracting Program States. | Nathan Wasser |
| 2015 | Automatic Fault Localization for BIP. | Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao |
| 2015 | Extending Hybrid CSP with Probability and Stochasticity. | Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang |
| 2015 | Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |