| 2007 | Abstractions for Real Real-time Systems. | Mathai Joseph |
| 2007 | Dynamic Verifying The Properties of The Simple Subset of PSL. | Naiyong Jin, Chengjie Shen |
| 2007 | Symmetry in Process Algebra. | Jianmin Jiang, Jinzhao Wu, Hongping Shu |
| 2007 | A Semantic Preorder on Refinement and Fairness. | Xiaowei Huang, Li Jiao, Weiming Lu |
| 2007 | Streaming State Space: A Method of Distributed Model Verification. | Viliam Holub, Petr Tuma |
| 2007 | A Certified Thread Library for Multithreaded User Programs. | Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin |
| 2007 | Foundational certification of data-flow analyses. | Maria Joo Frade, Ando Saabas, Tarmo Uustalu |
| 2007 | Verification of Business Process Quality Constraints Based on Visual Process Patterns. | Alexander Frster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten |
| 2007 | Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. | Ingo Feinerer, Gernot Salzer |
| 2007 | Model Checking Software at Compile Time. | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
| 2007 | Commutability of Design Pattern Instantiation and Integration. | Jing Dong, Tu Peng, Zongyan Qiu |
| 2007 | Varieties of Static Analyzers: A Comparison with ASTREE. | Patrick Cousot, Radhia Cousot, Jrme Feret, Antoine Min, Laurent Mauborgne, David Monniaux, Xavier Rival |
| 2007 | QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. | Donghuo Chen, Guangquan Zhang, Jinzhao Wu |
| 2007 | Design of a Certifying Compiler Supporting Proof of Program Safety. | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu |
| 2007 | An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. | Zhiming Chang, XinJun Mao, Zhichang Qi |
| 2007 | Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. | Franck Cassez, Stavros Tripakis, Karine Altisen |
| 2007 | Constraint-Based Policy Negotiation and Enforcement for Telco Services. | Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari |
| 2007 | A Logical Framework for Monitoring and Evolving Software Components. | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
| 2007 | Model Checking Networked Programs in the Presence of Transmission Failures. | Cyrille Artho, Christian Sommer, Shinichi Honiden |
| 2007 | Test Selection Criteria for Modal Specifications of Reactive Systems. | Marc Aiguier, Delphine Longuet |