| 2008 | Efficient Automatic STE Refinement Using Responsibility. | Hana Chockler, Orna Grumberg, Avi Yadgar |
| 2008 | Accelerating Interpolation-Based Model-Checking. | Nicolas Caniart, Emmanuel Fleury, Jrme Leroux, Marc Zeitoun |
| 2008 | SDSIrep: A Reputation System Based on SDSI. | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth |
| 2008 | RWset: Attacking Path Explosion in Constraint-Based Test Generation. | Peter Boonstoppel, Cristian Cadar, Dawson R. Engler |
| 2008 | Scoot: A Tool for the Analysis of SystemC Models. | Nicolas Blanc, Daniel Kroening, Natasha Sharygina |
| 2008 | A SAT-Based Approach to Size Change Termination with Global Ranking Functions. | Amir M. Ben-Amram, Michael Codish |
| 2008 | Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. | Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber |
| 2008 | Analyzing Stripped Device-Driver Executables. | Gogul Balakrishnan, Thomas W. Reps |
| 2008 | On-the-Fly Techniques for Game-Based Software Model Checking. | Adam Bakewell, Dan R. Ghica |
| 2008 | Conditional Probabilities over Probabilistic and Nondeterministic Systems. | Miguel E. Andrs, Peter van Rossum |
| 2008 | Demand-Driven Compositional Symbolic Execution. | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
| 2008 | Formal Pervasive Verification of a Paging Mechanism. | Eyad Alkassar, Norbert Schirmer, Artem Starostin |
| 2008 | Computing Simulations over Tree Automata. | Parosh Aziz Abdulla, Ahmed Bouajjani, Luks Holk, Lisa Kaati, Toms Vojnar |
| 2007 | Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
| 2007 | Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. | Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lttgen |
| 2007 | PReMo : An Analyzer for P robabilistic Re cursive Mo dels. | Dominik Wojtczak, Kousha Etessami |
| 2007 | GOAL: A Graphical Tool for Manipulating Bchi Automata and Temporal Formulae. | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan |
| 2007 | Kodkod: A Relational Model Finder. | Emina Torlak, Daniel Jackson |
| 2007 | Adaptor Synthesis for Real-Time Components. | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gler |
| 2007 | Property-Driven Partitioning for Abstraction Refinement. | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
| 2007 | Complexity in Simplicity: Flexible Agent-Based State Space Exploration. | Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen |
| 2007 | On Sampling Abstraction of Continuous Time Logic with Durations. | Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya |
| 2007 | Hoare Logic for Realistically Modelled Machine Code. | Magnus O. Myreen, Michael J. C. Gordon |
| 2007 | The Heterogeneous Tool Set, Hets. | Till Mossakowski, Christian Maeder, Klaus Lttich |
| 2007 | Checking Pedigree Consistency with PCS. | Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls |