4. SEFM 2006:
Pune,
India
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India.
IEEE Computer Society 2006, ISBN 0-7695-2678-0 BibTeX
Invited Papers
Contributed Papers
- María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
31-40
Electronic Edition (link) BibTeX
- S. Arun-Kumar:
On Bisimilarities Induced by Relations on Actions.
41-49
Electronic Edition (link) BibTeX
- Nadia Belblidia, Mourad Debbabi:
Formalizing AspectJ Weaving for Static Pointcuts.
50-59
Electronic Edition (link) BibTeX
- Richard Banach, John Derrick:
Filtering Retrenchments into Refinements.
60-69
Electronic Edition (link) BibTeX
- Deepak D'Souza, Madhu Gopinathan:
Computing Complete Test Graphs for Hierarchical Systems.
70-79
Electronic Edition (link) BibTeX
- Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz:
Jose: Aspects for Design by Contract80-89.
80-89
Electronic Edition (link) BibTeX
- Yishai A. Feldman, Leon Gendler:
Discern: Towards the Automatic Discovery of Software Contracts.
90-99
Electronic Edition (link) BibTeX
- G. Naresh, B. D. Chaudhary:
A Model for Temporal relations between Object Roles.
100-107
Electronic Edition (link) BibTeX
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker:
A PVS Based Framework for Validating Compiler Optimizations.
108-117
Electronic Edition (link) BibTeX
- Hemangee K. Kapoor:
Formal Modelling and Verification of an Asynchronous DLX Pipeline.
118-127
Electronic Edition (link) BibTeX
- Kamal Lodaya:
Product Automata and Process Algebra.
128-136
Electronic Edition (link) BibTeX
- Claude Marché, Nicolas Rousset:
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.
137-146
Electronic Edition (link) BibTeX
- Annapaola Marconi, Marco Pistore, Paolo Traverso:
Specifying Data-Flow Requirements for the Automated Composition of Web Services.
147-156
Electronic Edition (link) BibTeX
- G. Murali Krishna:
Requirements Modeling -- Experience from an Insurance Project.
157-166
Electronic Edition (link) BibTeX
- Dong Ha Nguyen, Mario Südholt:
VPA-Based Aspects: Better Support for AOP over Protocols.
167-176
Electronic Edition (link) BibTeX
- Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy:
A Formal Model of Context-Awareness and Context-Dependency.
177-185
Electronic Edition (link) BibTeX
- Prahladavaradan Sampath, Shrawan Kumar:
Composing Context Sensitive Analysis.
186-195
Electronic Edition (link) BibTeX
- Pemadeep Ramsokul, Arcot Sowmya:
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols.
196-205
Electronic Edition (link) BibTeX
- Silvio Ranise, Calogero G. Zarba:
A Theory of Singly-Linked Lists and its Extensible Decision Procedure.
206-215
Electronic Edition (link) BibTeX
- Pascal Raymond, Erwan Jahier, Yvan Roux:
Describing and Executing Random Reactive Systems.
216-225
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh:
A Rigorous Approach to Requirements Validation.
236-245
Electronic Edition (link) BibTeX
- Yong Zhang, Tao Huang, Jun Wei:
Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.
246-258
Electronic Edition (link) BibTeX
Tutorials
Copyright © Fri Oct 3 22:39:49 2008
by Michael Ley (ley@uni-trier.de)
