| 2012 | Formal Verification of Netlog Protocols. | Meixian Chen, Jean-Franois Monin |
| 2012 | Agile Services Oriented Virtualization of Web Services. | Wanghu Chen, Jing Li |
| 2012 | A Calculus of Higher Order Safe Ambients and Its Bisimulations. | Zining Cao |
| 2012 | The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. | Rodger Burmeister, Steffen Helke |
| 2012 | Frequency Linear-time Temporal Logic. | Benedikt Bollig, Normann Decker, Martin Leucker |
| 2012 | A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jir Srba, Axel Legay |
| 2012 | Moverness for Locks and Transactions. | Granville Barnett, Shengchao Qin |
| 2012 | Executing Model Checking Counterexamples in Simulink. | Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira |
| 2012 | A Native Approach to Modeling Timed Behavior in the Pi-Calculus. | Kamal Barakat, Stefan Kowalewski, Thomas Noll |
| 2012 | LBI Cut Elimination Proof with BI-MultiCut. | Ryuta Arisaka, Shengchao Qin |
| 2012 | Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
| 2011 | Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. | Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
| 2011 | An Efficient Resolution Based Algorithm for SAT. | Min Zhou, Fei He, Ming Gu |
| 2011 | A Symbolic Algorithm for Shortest EG Witness Generation. | Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo |
| 2011 | Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. | Lichen Zhang |
| 2011 | Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron. | Haibin Zhang |
| 2011 | Modeling and Prototyping Business Processes in AutoPA. | Ling Yin, Jing Liu, Zuohua Ding |
| 2011 | A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions. | Yunni Xia, Gang Dai, Fangfang Tang, Qingsheng Zhu |
| 2011 | An Automatic Reasoning Mechanism for NFR Goal Models. | Bo Wei, Zhi Jin, Didar Zowghi |
| 2011 | Modeling and Analyzing the (mu)TESLA Protocol Using CSP. | Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu |
| 2011 | A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. | Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo |
| 2011 | Program Slicing Stored XSS Bugs in Web Application. | Yi Wang, Zhoujun Li, Tao Guo |
| 2011 | Focus Game for Projection Temporal Logic. | Cong Tian, Zhenhua Duan |
| 2011 | Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. | Graeme Smith, Steffen Helke |
| 2011 | A Generative Approach to Searching Algorithmic Programs Development. | Haihe Shi, Jinyun Xue |