| 2007 | Formalising Design Patterns in Predicate Logic. | Ian Bayley |
| 2007 | Retrenchment and the Atomicity Pattern. | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
| 2007 | Proving Termination by Divergence. | Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook |
| 2007 | An AOP Extended Lambda-Calculus. | Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya |
| 2007 | Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. | Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
| 2006 | Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time. | Yong Zhang, Tao Huang, Jun Wei |
| 2006 | A Rigorous Approach to Requirements Validation. | Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh |
| 2006 | Composing Context Sensitive Analysis. | Prahladavaradan Sampath, Shrawan Kumar |
| 2006 | Tutorial: Automated Formal Methods with PVS, SAL, and Yices. | John M. Rushby |
| 2006 | Harnessing Disruptive Innovation in Formal Verification. | John M. Rushby |
| 2006 | A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. | Cssio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero |
| 2006 | Describing and Executing Random Reactive Systems. | Pascal Raymond, Erwan Jahier, Yvan Roux |
| 2006 | A Theory of Singly-Linked Lists and its Extensible Decision Procedure. | Silvio Ranise, Calogero G. Zarba |
| 2006 | ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols. | Pemadeep Ramsokul, Arcot Sowmya |
| 2006 | Automatic Property Checking for Software: Past, Present and Future. | Sriram K. Rajamani |
| 2006 | VPA-Based Aspects: Better Support for AOP over Protocols. | Dong Ha Nguyen, Mario Sdholt |
| 2006 | A Formal Model of Context-Awareness and Context-Dependency. | Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy |
| 2006 | A Model for Temporal relations between Object Roles. | G. Naresh, B. D. Chaudhary |
| 2006 | The Context of Object Computation (extended abstract). | Bertrand Meyer |
| 2006 | Specifying Data-Flow Requirements for the Automated Composition of Web Services. | Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2006 | Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. | Claude March, Nicolas Rousset |
| 2006 | Product Automata and Process Algebra. | Kamal Lodaya |
| 2006 | Requirements Modeling -- Experience from an Insurance Project. | G. Murali Krishna |
| 2006 | Static Analysis of Programs: A Heap Centric View. | Uday P. Khedker |
| 2006 | Formal Modelling and Verification of an Asynchronous DLX Pipeline. | Hemangee K. Kapoor |