| 2006 | A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero |
| 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 | A PVS Based Framework for Validating Compiler Optimizations. Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
| 2006 | A Rigorous Approach to Requirements Validation. Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh |
| 2006 | A Semi-Automatic Methodology for Repairing FaultyWeb Sites. María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero |
| 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 | Composing Context Sensitive Analysis. Prahladavaradan Sampath, Shrawan Kumar |
| 2006 | Computing Complete Test Graphs for Hierarchical Systems. Deepak D'Souza, Madhu Gopinathan |
| 2006 | Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time. Yong Zhang, Tao Huang, Jun Wei |
| 2006 | Describing and Executing Random Reactive Systems. Pascal Raymond, Erwan Jahier, Yvan Roux |
| 2006 | Discern: Towards the Automatic Discovery of Software Contracts. Yishai A. Feldman, Leon Gendler |
| 2006 | Filtering Retrenchments into Refinements. Richard Banach, John Derrick |
| 2006 | Formal Modelling and Verification of an Asynchronous DLX Pipeline. Hemangee K. Kapoor |
| 2006 | Formalizing AspectJ Weaving for Static Pointcuts. Nadia Belblidia, Mourad Debbabi |
| 2006 | Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India |
| 2006 | Harnessing Disruptive Innovation in Formal Verification. John M. Rushby |
| 2006 | Integrating Object-Oriented Design and Deductive Verification of Software. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
| 2006 | Jose: Aspects for Design by Contract80-89. Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz |
| 2006 | Modeling Heterogeneous Real-time Components in BIP. Ananda Basu, Marius Bozga, Joseph Sifakis |
| 2006 | On Bisimilarities Induced by Relations on Actions. S. Arun-Kumar |
| 2006 | Product Automata and Process Algebra. Kamal Lodaya |
| 2006 | Requirements Modeling -- Experience from an Insurance Project. G. Murali Krishna |
| 2006 | Retrenchment Tutorial. Richard Banach |
| 2006 | Specifying Data-Flow Requirements for the Automated Composition of Web Services. Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2006 | Static Analysis of Programs: A Heap Centric View. Uday P. Khedker |
| 2006 | The Context of Object Computation (extended abstract). Bertrand Meyer |
| 2006 | Tutorial: Automated Formal Methods with PVS, SAL, and Yices. John M. Rushby |
| 2006 | VPA-Based Aspects: Better Support for AOP over Protocols. Dong Ha Nguyen, Mario Südholt |
| 2006 | Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. Claude Marché, Nicolas Rousset |