4. SEFM 2006: Pune, India

Invited Papers

• Ananda Basu, Marius Bozga, Joseph Sifakis:
  Modeling Heterogeneous Real-time Components in BIP. 3-12
  
• Bertrand Meyer:
  The Context of Object Computation (extended abstract). 13-17
  
• Sriram K. Rajamani:
  Automatic Property Checking for Software: Past, Present and Future. 18-20
  
• John M. Rushby:
  Harnessing Disruptive Innovation in Formal Verification. 21-30
  

Contributed Papers

• María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero:
  A Semi-Automatic Methodology for Repairing FaultyWeb Sites. 31-40
  
• S. Arun-Kumar:
  On Bisimilarities Induced by Relations on Actions. 41-49
  
• Nadia Belblidia, Mourad Debbabi:
  Formalizing AspectJ Weaving for Static Pointcuts. 50-59
  
• Richard Banach, John Derrick:
  Filtering Retrenchments into Refinements. 60-69
  
• Deepak D'Souza, Madhu Gopinathan:
  Computing Complete Test Graphs for Hierarchical Systems. 70-79
  
• Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz:
  Jose: Aspects for Design by Contract80-89. 80-89
  
• Yishai A. Feldman, Leon Gendler:
  Discern: Towards the Automatic Discovery of Software Contracts. 90-99
  
• G. Naresh, B. D. Chaudhary:
  A Model for Temporal relations between Object Roles. 100-107
  
• Aditya Kanade, Amitabha Sanyal, Uday P. Khedker:
  A PVS Based Framework for Validating Compiler Optimizations. 108-117
  
• Hemangee K. Kapoor:
  Formal Modelling and Verification of an Asynchronous DLX Pipeline. 118-127
  
• Kamal Lodaya:
  Product Automata and Process Algebra. 128-136
  
• Claude Marché, Nicolas Rousset:
  Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. 137-146
  
• Annapaola Marconi, Marco Pistore, Paolo Traverso:
  Specifying Data-Flow Requirements for the Automated Composition of Web Services. 147-156
  
• G. Murali Krishna:
  Requirements Modeling -- Experience from an Insurance Project. 157-166
  
• Dong Ha Nguyen, Mario Südholt:
  VPA-Based Aspects: Better Support for AOP over Protocols. 167-176
  
• Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy:
  A Formal Model of Context-Awareness and Context-Dependency. 177-185
  
• Prahladavaradan Sampath, Shrawan Kumar:
  Composing Context Sensitive Analysis. 186-195
  
• Pemadeep Ramsokul, Arcot Sowmya:
  ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols. 196-205
  
• Silvio Ranise, Calogero G. Zarba:
  A Theory of Singly-Linked Lists and its Extensible Decision Procedure. 206-215
  
• Pascal Raymond, Erwan Jahier, Yvan Roux:
  Describing and Executing Random Reactive Systems. 216-225
  
• Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
  A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. 226-235
  
• Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh:
  A Rigorous Approach to Requirements Validation. 236-245
  
• Yong Zhang, Tao Huang, Jun Wei:
  Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time. 246-258
  

Tutorials

• Richard Banach:
  Retrenchment Tutorial. 259
  
• Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
  Integrating Object-Oriented Design and Deductive Verification of Software. 260
  
• Uday P. Khedker:
  Static Analysis of Programs: A Heap Centric View. 261
  
• John M. Rushby:
  Tutorial: Automated Formal Methods with PVS, SAL, and Yices. 262