CSDL - Proceedings S

Committees (PDF)

pp. ix-x

Reviewers (PDF)

pp. xi

Invited Papers

Modeling Heterogeneous Real-time Components in BIP (Abstract)

Ananda Basu, Verimag, France

Marius Bozga, Verimag, France

Joseph Sifakis, Verimag, France

pp. 3-12

PDF

The Context of Object Computation (extended abstract) (Abstract)

Bertrand Meyer, ETH, Zurich & Eiffel Software, California, USA

pp. 13-17

PDF

Automatic Property Checking for Software: Past, Present and Future (Abstract)

Sriram K. Rajamani, Microsoft Research India

pp. 18-20

PDF

Harnessing Disruptive Innovation in Formal Verification (Abstract)

John Rushby, SRI International, USA

pp. 21-30

PDF

Contributed Papers

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (Abstract)

Maria Alpuente, Universidad Politecnica de Valencia, Spain

Demis Ballis, uniud.it

Moreno Falaschi, unisi, it

Daniel Romero, Universidad Politecnica de Valencia, Spain

pp. 31-40

PDF

S. Arun-Kumar, Indian Institute of Technology, Delhi, India

pp. 41-49

PDF

Formalizing AspectJ Weaving for Static Pointcuts (Abstract)

Nadia Belblidia, Concordia University, Canada

Mourad Debbabi, Concordia University, Canada

pp. 50-59

PDF

Filtering Retrenchments into Refinements (Abstract)

Richard Banach, University of Manchester, UK

John Derrick, University of Sheffield, UK

pp. 60-69

PDF

Computing Complete Test Graphs for Hierarchical Systems (Abstract)

Deepak D?Souza, Indian Institute of Science, India

Madhu Gopinatha, Indian Institute of Science, India

pp. 70-79

PDF

Jose: Aspects for Design by Contract80-89 (Abstract)

Yishai A. Feldman, The Interdisciplinary Center, Israel

Ohad Barzilay, Tel Aviv University, Israel

Shmuel Tyszberowicz, The Academic College The Academic College, Israel

pp. 80-89

PDF

Discern: Towards the Automatic Discovery of Software Contracts (Abstract)

Yishai A. Feldman, The Interdisciplinary Center, Israel

Leon Gendler, Tel Aviv University, Israel

pp. 90-99

PDF

A Model for Temporal relations between Object Roles (Abstract)

G. Naresh, Motilal Nehru National Institute of Technology, India

B. D. Chaudhary, Motilal Nehru National Institute of Technology, India

pp. 100-107

PDF

A PVS Based Framework for Validating Compiler Optimizations (Abstract)

Aditya Kanade, IIT Bombay. India

Amitabha Sanyal, IIT Bombay. India

Uday Khedker, IIT Bombay. India

pp. 108-117

PDF

Formal Modelling and Verification of an Asynchronous DLX Pipeline (Abstract)

Hemangee K. Kapoor, Dhirubhai Ambani Institute of Information and Communication Technology, India

pp. 118-127

PDF

Product Automata and Process Algebra (Abstract)

Kamal Lodaya, The Institute of Mathematical Sciences, India

pp. 128-136

PDF

Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (Abstract)

Claude Marche, INRIA Futurs - Universit?e Paris 11, France

Nicolas Rousset, Axalto S.A., France

pp. 137-146

PDF

Specifying Data-Flow Requirements for the Automated Composition of Web Services (Abstract)

Annapaola Marconi, ITC-lrst - Trento, ltaly

Marco Pistore, University of Trento, Italy

Paolo Traverso, ITC-Irst - Trento, Italy

pp. 147-156

PDF

Requirements Modeling -- Experience from an Insurance Project (Abstract)

G. Murali Krishna, Tata Research Development and Design Centre, India

pp. 157-166

PDF

VPA-Based Aspects: Better Support for AOP over Protocols (Abstract)

Dong Ha Nguyen, Ecole des Mines de Nantes, France

Mario Sudholt, Ecole des Mines de Nantes, France

pp. 167-176

PDF

A Formal Model of Context-Awareness and Context-Dependency (Abstract)

Mats Neovius, ?bo Akademi University, Finland

Kaisa Sere, ?bo Akademi University, Finland

Lu Yan, ?bo Akademi University, Finland

M. Satpathy, ?bo Akademi University, Finland

pp. 177-185

PDF

Composing Context Sensitive Analysis (Abstract)

Prahladavaradan Sampath, GM India Science Lab, India

Shrawan Kumar, TRDDC, India

pp. 186-195

PDF

ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols (Abstract)

Pemadeep Ramsokul, UNSW Sydney, Australia

Arcot Sowmya, UNSW Sydney, Australia

pp. 196-205

PDF

A Theory of Singly-Linked Lists and its Extensible Decision Procedure (Abstract)

Silvio Ranise, LORIA-INRIA - Lorraine

Calogero Zarba, Universitat der Saarlandes

pp. 206-215

PDF

Describing and Executing Random Reactive Systems (Abstract)

Pascal Raymond, VERIMAG, France

Erwan Jahier, VERIMAG, France

Yvan Roux, VERIMAG, France

pp. 216-225

PDF

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids (Abstract)

C?assio L. Rodrigues, Universidade Federal de Campina Grande, Brazil

Paulo E. S. Barbosa, Universidade Federal de Campina Grande, Brazil

Jairson M. Cabral, Universidade Federal de Campina Grande, Brazil

Jorge C. A. de Figueiredo, Universidade Federal de Campina Grande, Brazil

Dalton D. S. Guerrero, Universidade Federal de Campina Grande, Brazil

pp. 226-235

PDF

A Rigorous Approach to Requirements Validation (Abstract)

Srihari Sukumaran, Philips Research - India, India

Ashok Sreenivas, University of Pune, India

R. Venkatesh, TRDDC, India

pp. 236-245

PDF

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time (Abstract)

Yong Zhang, Chinese Academy of Sciences, China

Tao Huang, Chinese Academy of Sciences, China

Jun Wei, Chinese Academy of Sciences, China

pp. 246-258

PDF

Tutorials

Retrenchment Tutorial (PDF)

Richard Banach, University of Manchester, UK

pp. 259

Integrating Object-Oriented Design and Deductive Verification of Software (PDF)

Bernhard Beckert, Key-project.org

Reiner Hahnle, Key-project.org

Peter H. Schmitt, Key-project.org

pp. 260

Static Analysis of Programs: A Heap Centric View (PDF)

Uday Khedker, IIT Bombay, India

pp. 261

Tutorial: Automated Formal Methods with PVS, SAL, and Yices (PDF)

John Rushby, SRI International, USA

pp. 262

Author Index

Author Index (PDF)

pp. 263