| 2006 | Model Checking Duration Calculus: A Practical Approach. | Roland Meyer, Johannes Faber, Andrey Rybalchenko |
| 2006 | Quantitative -Calculus Analysis of Power Management in Wireless Networks. | Annabelle McIver |
| 2006 | Thread-Modular Verification Is Cartesian Abstract Interpretation. | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
| 2006 | Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2006 | Stronger Reduction Criteria for Local First Search. | Marcos E. Kurbn, Peter Niebert, Hongyang Qu, Walter Vogler |
| 2006 | Interesting Properties of the Real-Time Conformance Relation. | Moez Krichen, Stavros Tripakis |
| 2006 | Prime Decomposition Problem for Several Kinds of Regular Codes. | Kieu Van Hung, Do Long Van |
| 2006 | Capture-Avoiding Substitution as a Nominal Algebra. | Murdoch Gabbay, Aad Mathijssen |
| 2006 | A Petri Net Translation of | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2006 | Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. | Giorgio Delzanno, Roberto Montagna |
| 2006 | Decision Procedures for the Formal Analysis of Software. | David Dharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen |
| 2006 | A Topological Approach of the Web Classification. | Gabriel Ciobanu, Danut Rusu |
| 2006 | Tutorial on Formal Methods for Distributed and Cooperative Systems. | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
| 2006 | Proof-Producing Program Analysis. | Amine Chaieb |
| 2006 | Verification Constraint Problems with Strengthening. | Aaron R. Bradley, Zohar Manna |
| 2006 | Handling Algebraic Properties in Automatic Analysis of Security Protocols. | Yohan Boichut, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2006 | Bisimulation Congruences in the Calculus of Looping Sequences. | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
| 2005 | Generating C Code from LOGS Specifications. | Jianguo Zhou, Yifeng Chen |
| 2005 | Representation and Reasoning on RBAC: A Description Logic Approach. | Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin |
| 2005 | Compositionality of Fixpoint Logic with Chop. | Naijun Zhan, Jinzhao Wu |
| 2005 | Implementing Application-Specific Object-Oriented Theories in HOL. | Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
| 2005 | Symbolic Model Checking of Finite Precision Timed Automata. | Rongjie Yan, Guangyuan Li, Zhisong Tang |
| 2005 | Codes and Length-Increasing Transitive Binary Relations. | Do Long Van, Kieu Van Hung, Phan Trung Huy |
| 2005 | Finding Resource Bounds in the Presence of Explicit Deallocation. | Hoang Truong, Marc Bezem |
| 2005 | Constructing Open Systems via Consistent Components. | Nguyen Truong Thang, Takuya Katayama |