| 2007 | Unified Modeling and Analysis based on Petri nets and Pi calculus. | Fei Xu, Li Zhang |
| 2007 | A Workflow Verification Method Based on Calculus. | Fei Xu, Zhiwei Yu |
| 2007 | Evaluation of SAT-based Bounded Model Checking of ACTL Properties. | Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang |
| 2007 | An Object Type Graph System. | Cong-Cong Xing |
| 2007 | Queuing analysis and performance evaluation of workflow through WFQN. | Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu |
| 2007 | Multi-Valued Model Checking via Groebner Basis Approach. | Jinzhao Wu, Lin Zhao |
| 2007 | Software Security. | Jeannette M. Wing |
| 2007 | Resource-Constrained Workflow Modeling. | Jiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai |
| 2007 | Realizing Live Sequence Charts in SystemVerilog. | Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong |
| 2007 | Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. | Shengyuan Wang, Yuan Dong |
| 2007 | A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. | Phan Cong Vinh, Jonathan P. Bowen |
| 2007 | Symmetry Reduced Model Checking for B. | Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler |
| 2007 | A Software Process for Modeling Complex Systems with UML-RT. | Yifeng Sun, David Levy |
| 2007 | Dynamics of Control. | Jeff W. Sanders, Matteo Turilli |
| 2007 | Partition Refinement in Abstract Model Checking. | Fei Pu, Wenhui Zhang |
| 2007 | Automating Language Evolution. | Markus Pizka, Elmar Jrgens |
| 2007 | Self-adaptive Intrusion Detection System for Computational Grid. | Jiancheng Ni, Zhishu Li, Jirong Sun, Jianchuan Xing |
| 2007 | Generation of optimal finite test suites for timed systems. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2007 | QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. | Sun Meng |
| 2007 | An Interpreter for Framed Tempura and Its Application. | Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang |
| 2007 | Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency. | Tun Lu, Ning Gu |
| 2007 | Conformance Validation between Choreography and Orchestration. | Jing Li, Huibiao Zhu, Geguang Pu |
| 2007 | Foundational Typed Assembly Language with Certified Garbage Collection. | Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo |
| 2007 | QoS-Driven Service Composition Modeling with Extended Hierarchical CPN. | Wenjun Li, Xiao-jun Liang, Hua-mei Song, Xiaocong Zhou |
| 2007 | Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. | Hung Ledang, Dang Van Hung |