| 2010 | Combinatorial Testing for VDM. | Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |
| 2010 | Time and Data-Aware Analysis of Graphical Service Models in Reo. | Natallia Kokash, Christian Krause, Erik P. de Vink |
| 2010 | Assessing the Quality of B Models. | Adrien De Kermadec, Frdric Dadeau, Fabrice Bouquet |
| 2010 | User Queries for Specification Refinement Treating Shared Aspect Join Points. | Emilia Katz, Shmuel Katz |
| 2010 | temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. | Faraz Hussain, Gary T. Leavens |
| 2010 | Back-annotation of Simulation Traces with Change-Driven Model Transformations. | bel Hegeds, Gbor Bergmann, Istvn Rth, Dniel Varr |
| 2010 | TART: Timed-Automata to Real-Time Java Tool. | Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings |
| 2010 | Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. | Thomas Gthel, Sabine Glesner |
| 2010 | Refinement-Friendly Bigraphs and Spygraphs. | Michael Goldsmith, Sadie Creese |
| 2010 | "Fly Me to the Moon": Verification of Aerospace Systems. | Dimitra Giannakopoulou |
| 2010 | Adaptive Software Needs Continuous Verification. | Carlo Ghezzi |
| 2010 | Synthesize It: From Design by Contract to Meaningful Test Input Data. | Stefan J. Galler, Martin Weiglhofer, Franz Wotawa |
| 2010 | Verification of Dynamic Data Tree with mu-calculus Extended with Separation. | Mara-del-Mar Gallardo, David Sann |
| 2010 | Testing Web Service Orchestrators in Context: A Symbolic Approach. | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
| 2010 | Non-local Choice and Implied Scenarios. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2010 | Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. | Maximiliano Cristi, Pablo Albertengo, Pablo Rodrguez Monetti |
| 2010 | SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
| 2010 | Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. | Davide Benetti, Massimo Merro, Luca Vigan |
| 2010 | Static Enforcement of Service Deadlines. | Massimo Bartoletti, Roberto Zunino |
| 2010 | Assertion-based Slicing and Slice Graphs. | Jos Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2010 | Parallel Partial Order Reduction with Topological Sort Proviso. | Jiri Barnat, Lubos Brim, Petr Rockai |
| 2009 | Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. | Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen |
| 2009 | Completeness of Pointer Program Verification by Separation Logic. | Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen |
| 2009 | Using Change Impact Analysis to Select Tests for Extended Finite State Machines. | Mahadevan Subramaniam, Bo Guo, Zoltn Pap |
| 2009 | Software Verification and System Assurance. | John M. Rushby |