| 2008 | A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan |
| 2008 | CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
| 2008 | Passive Testing of Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | A Direct Algorithm for Multi-valued Bounded Model Checking. | Jefferson O. Andrade, Yukiyoshi Kameyama |
| 2007 | Deciding Simulations on Probabilistic Automata. | Lijun Zhang, Holger Hermanns |
| 2007 | Policies and Proofs for Code Auditing. | Nathan Whitehead, Jordan Johnson, Martn Abadi |
| 2007 | Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. | David Walter, Scott Little, Chris J. Myers |
| 2007 | Bounded Synthesis. | Sven Schewe, Bernd Finkbeiner |
| 2007 | Distributed Synthesis for Alternating-Time Logics. | Sven Schewe, Bernd Finkbeiner |
| 2007 | Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
| 2007 | Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
| 2007 | Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. | Indranil Saha, Janardan Misra, Suman Roy |
| 2007 | Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. | Judi Romijn, Wieger Wesselink, Arjan J. Mooij |
| 2007 | A Formal Methodology to Test Complex Heterogeneous Systems. | Ismael Rodrguez, Manuel Nez |
| 2007 | Continuous Petri Nets: Expressive Power and Decidability Issues. | Laura Recalde, Serge Haddad, Manuel Silva Surez |
| 2007 | Verifying Heap-Manipulating Programs in an SMT Framework. | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
| 2007 | A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. | Sophie Pinchinat |
| 2007 | Model Checking Contracts - A Case Study. | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
| 2007 | A New Approach to Bounded Model Checking for Branching Time Logics. | Rotem Oshman, Orna Grumberg |
| 2007 | Branching vs. Linear Time: Semantical Perspective. | Sumit Nain, Moshe Y. Vardi |
| 2007 | A Brief Introduction to | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2007 | Toward Property-Driven Abstraction for Heap Manipulating Programs. | Kenneth L. McMillan |
| 2007 | Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. | Scott Little, David Walter, Kevin R. Jones, Chris J. Myers |
| 2007 | On-the-Fly Model Checking of Fair Non-repudiation Protocols. | Guoqiang Li, Mizuhito Ogawa |
| 2007 | Latticed Simulation Relations and Games. | Orna Kupferman, Yoad Lustig |