| 2007 | Automatic Analysis of the Security of XOR-Based Key Management Schemes. | Vronique Cortier, Gavin Keighren, Graham Steel |
| 2007 | A Grbner Basis Approach to CNF-Formulae Preprocessing. | Christopher Condrat, Priyank Kalla |
| 2007 | THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. | Rance Cleaveland |
| 2007 | Syntactic Optimizations for PSL Verification. | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
| 2007 | A Reachability Predicate for Analyzing Low-Level Software. | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
| 2007 | Assume-Guarantee Synthesis. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2007 | Optimized L*-Based Assume-Guarantee Reasoning. | Sagar Chaki, Ofer Strichman |
| 2007 | Deciding Bit-Vector Arithmetic with Abstraction. | Randal E. Bryant, Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
| 2007 | A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
| 2007 | Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2007 | motor: The modestTool Environment. | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
| 2007 | Distributed Analysis with | Stefan Blom, Jens R. Calam, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs |
| 2007 | Model Checking Liveness Properties of Genetic Regulatory Networks. | Grgory Batt, Calin Belta, Ron Weiss |
| 2007 | Abstraction Refinement of Linear Programs with Arrays. | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
| 2007 | JPF-SE: A Symbolic Execution Extension to Java PathFinder. | Saswat Anand, Corina S. Pasareanu, Willem Visser |
| 2007 | Type-Dependence Analysis and Program Transformation for Symbolic Execution. | Saswat Anand, Alessandro Orso, Mary Jean Harrold |
| 2007 | Combining Abstraction Refinement and SAT-Based Model Checking. | Nina Amla, Kenneth L. McMillan |
| 2007 | Model Checking on Trees with Path Equivalences. | Rajeev Alur, Pavol Cern, Swarat Chaudhuri |
| 2007 | Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
| 2006 | Parameterized Verification of pi-Calculus Systems. | Ping Yang, Samik Basu, C. R. Ramakrishnan |
| 2006 | Efficient Guided Symbolic Reachability Using Reachability Expressions. | Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
| 2006 | Simulation-Based Graph Similarity. | Oleg Sokolsky, Sampath Kannan, Insup Lee |
| 2006 | New Metrics for Static Variable Ordering in Decision Diagrams. | Radu Siminiceanu, Gianfranco Ciardo |
| 2006 | Model-Checking Markov Chains in the Presence of Uncertainties. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2006 | Safety Metric Temporal Logic Is Fully Decidable. | Jol Ouaknine, James Worrell |